A sheafification theorem for doctrines

TL;DR

This paper introduces a sheafification concept for doctrines, proves an associated sheaf functor theorem, and demonstrates that certain toposes are instances of sheaves for specific doctrines.

Contribution

It extends sheaf theory to doctrines, providing a new framework and showing how toposes relate to sheaves in this context.

Findings

Proved the associate sheaf functor theorem.

Identified toposes as categories of sheaves for doctrines.

Unified sheaf concepts across different topos constructions.

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.