Reflective Subcategory: AbTorF

AbTorF is a reflective subcategory of Ab, by which we mean that AbTorF is a full subcategory whose inclusion functor has a left adjoint. The inclusion functor i is called the reflection and the left adjoint is called the reflector.

In terms of stuff, structure, and properties, objects of Ab are like objects of AbTorF but with extra stuff; this is the reflection of the fact that, because AbTorF is a full subcategory, objects of AbTorF are like objects of Ab but with extra properties.

reflective_subcategories: AbTorF, Ab

This data as json