Synthetic topos theory
2023-10-31
© 2023 Taichi Uemura
This work is licensed under a Creative Commons Attribution 4.0 International License.
Repository: https://github.com/uemurax/synthetic-topos-theory
Abstract: We propose a type theory in which topos theory is developed synthetically.