A sheafification theorem for doctrines
Logic
2014-09-05 v2 Category Theory
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.
Cite
@article{arxiv.1311.1424,
title = {A sheafification theorem for doctrines},
author = {Fabio Pasquali},
journal= {arXiv preprint arXiv:1311.1424},
year = {2014}
}