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