A sheafification theorem for doctrines

Fabio Pasquali

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to top…