Definition:Category of Subobject Classes

Definition
Let $\mathbf C$ be a metacategory.

Let $C$ be an object of $\mathbf C$.

Let $\map {\mathbf{Sub}_{\mathbf C} } C$ be the category of subobjects of $C$.

The category of subobject classes of $C$, denoted $\map {\overline {\mathbf{Sub}}_{\mathbf C} } C$, is defined as follows:

Also denoted as
Most authors don't care to distinguish the category of subobject classes symbolically from the category of subobjects $\map {\mathbf{Sub}_{\mathbf C} } C$.

Also see

 * Category of Subobject Classes is Category
 * Category of Subobject Classes is Order Category
 * Category of Subobjects