Triposes, q-toposes and toposes

DOI10.1016/J.APAL.2014.10.005MaRDI QIDQ476121zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3904807
• scientific article; zbMATH DE number 2222246
• scientific article; zbMATH DE number 3946418
• A characterization of quasi-toposes
• The topos of triads
• Quasitopoi, logic and Heyting-valued models
• Topological groupoid quantales
• Logical quantization of topos theory
• A study on the quasi topos
• Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness

Cites work

• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 3621971 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1171024 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Dualizations and antipodes
• Enhanced 2-categories and limits for lax morphisms
• Enriched categories, internal categories and change of base
• Formal category theory: Adjointness for 2-categories
• Framed bicategories and monoidal fibrations
• La logique des topos
• Quotient completion for the foundation of constructive mathematics
• Realizability. An introduction to its categorical side
• Tripos theory
• Tripos theory in retrospect
• Two-dimensional monad theory

Cited in

(8)

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• Triposes as a generalization of localic geometric morphisms
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• On a generalization of equilogical spaces
• Categories of partial equivalence relations as localizations
• Tripos theory in retrospect
• Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
• Fibered universal algebra for first-order logics

This page was built for publication: Triposes, q-toposes and toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q476121)