Triposes, q-toposes and toposes

DOI10.1016/j.apal.2014.10.005zbMath1371.03102OpenAlexW2082627770MaRDI QIDQ476121

Jonas Frey

Publication date: 28 November 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2014.10.005

zbMATH Keywords

proarrow equipmentquasitopostripos-to-topos construction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items

On a generalization of equilogical spaces, Fibered universal algebra for first-order logics, Categories of partial equivalence relations as localizations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Enhanced 2-categories and limits for lax morphisms
• Realizability. An introduction to its categorical side
• Two-dimensional monad theory
• Dualizations and antipodes
• Formal category theory: Adjointness for 2-categories
• Tripos theory in retrospect
• La logique des topos
• Framed bicategories and monoidal fibrations
• Tripos theory