Various topos of types constructions

2025/01/24 by Kristóf Kanalas, Kanalas, Kristóf
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.2501.14429

openalex publication_date 2025/01/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.

Related

• An informal introduction to topos theory
• Toward the effective 2-topos
• A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)
• Representing the language of a topos as quotient of the category of spans
• Predicative toposes