A co-free construction for elementary doctrines

DOI10.1007/S10485-013-9358-ZzbMath1305.03064arXiv1211.1891OpenAlexW2036588712MaRDI QIDQ2254598

Fabio Pasquali

Publication date: 5 February 2015

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.1891

zbMATH Keywords

hyperdoctrinesquotient completion

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (4)

On a generalization of equilogical spaces ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Elementary doctrines as coalgebras ⋮ Unifying exact completions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Realizability. An introduction to its categorical side
• A minimalist two-level foundation for constructive mathematics
• Categorical logic and type theory
• Facets of descent. I
• Facets of descent. II
• Regular and exact completions
• Facets of descent. III: Monadic descent for rings and algebras
• A characterization of the left exact categories whose exact completions are toposes
• Elementary quotient completion
• Tripos theory in retrospect
• La logique des topos
• Tripos theory
• Adjointness in Foundations

This page was built for publication: A co-free construction for elementary doctrines