Category:Definitions/Subobjects

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Subobjects.
Related results can be found in Category: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$.