Triposes, q-toposes and toposes

DOI10.1016/J.APAL.2014.10.005zbMATH Open1371.03102OpenAlexW2082627770MaRDI QIDQ476121FDOQ476121

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

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

zbMATH Keywords

proarrow equipmentquasitopostripos-to-topos construction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Cites Work

• Tripos theory in retrospect
• Title not available (Why is that?)
• Quotient completion for the foundation of constructive mathematics
• Tripos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two-dimensional monad theory
• Enriched categories, internal categories and change of base
• La logique des topos
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enhanced 2-categories and limits for lax morphisms
• Realizability. An introduction to its categorical side
• Framed bicategories and monoidal fibrations
• Formal category theory: Adjointness for 2-categories
• Dualizations and antipodes
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

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

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)