A subcategory $\mathcal{A}$ of a category $\mathcal{C}$ is strictly full if it satisfies the following conditions:

  1. Fullness. The subcategory $\mathcal{A}$ is full.
  2. Closedness Under Isomorphisms. The class $\text{Obj}\webleft (\mathcal{A}\webright )$ is closed under isomorphisms.[1]


Footnotes

[1] That is, given $A\in \text{Obj}\webleft (\mathcal{A}\webright )$ and $C\in \text{Obj}\webleft (\mathcal{C}\webright )$, if $C\cong A$, then $C\in \text{Obj}\webleft (\mathcal{A}\webright )$.

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: