Synthetic topos theory

  • Taichi Uemura
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.