Definition:Subobject

From ProofWiki
Jump to navigation Jump to search

Definition

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$.


Also see

  • Results about subobjects can be found here.


Sources