A sheafification theorem for doctrines

Fabio Pasquali

Research output: Working paperPreprintProfessional

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.
Original languageEnglish
PublisherarXiv
Number of pages11
DOIs
Publication statusPublished - 4 Feb 2014

Fingerprint

Dive into the research topics of 'A sheafification theorem for doctrines'. Together they form a unique fingerprint.

Cite this