Local state classifier
= Local state classifier
A local state classifier of $\mathcal C$ is a colimit of the inclusion of the wide subcategory containing all objects and only monomorphisms into $\mathcal C$.
= Local state classifier
A local state classifier of $\mathcal C$ is a colimit of the inclusion of the wide subcategory containing all objects and only monomorphisms into $\mathcal C$.