From ProofWiki
Jump to navigation Jump to search

This category contains results about Subobjects.
Definitions specific to this category can be found in Definitions/Subobjects.

Let $\mathbf C$ be a metacategory.

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

A subobject of $C$ is a monomorphism $m: B \rightarrowtail C$ with codomain $C$.


This category has only the following subcategory.