2-classifiers via dense generators and Hofmann-Streicher universe in stacks

Luca Mesiti

We expand the theory of 2-classifiers, that are a 2-categorical generalization of subobject classifiers introduced by Weber. The idea is to upgrade monomorphisms to discrete opfibr…