Definition:Full Subcategory

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf D$ be a metacategory, and let $\mathbf C$ be a subcategory of $\mathbf D$.


Then $\mathbf C$ is called a full subcategory if and only if the inclusion functor $i: \mathbf C \to \mathbf D$ is full.


Also see


Sources