Wide Subcategory

A wide subcategory of a Category $\mathcal{C}$ is a Subcategory that contains all of the objects of $\mathcal{C}$. This may seemingly violate the Principle of Equivalence, but is best viewed as an algebraic structure in its own right, much like a Displayed Category.