Various topos of types constructions

TL;DR

This paper compares different topos of types constructions developed by various researchers, providing insights into their similarities and differences within category theory.

Contribution

It offers a comparative analysis of multiple topos of types constructions, highlighting their unique features and relationships.

Findings

Identifies key differences between the topos constructions.

Provides a unified framework for understanding these topos.

Highlights implications for categorical logic.

Abstract

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