Various topos of types constructions
arXiv:2501.14429
Abstract
We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.
arXiv:2501.14429
We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.