A sheafification theorem for doctrines
From MaRDI portal
Abstract: 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 topos construction are instances of categories of sheaves for a suitable doctrine.
This page was built for publication: A sheafification theorem for doctrines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6246250)
