Taichi Uemura


Research Interests

  • Categorical semantics of type theory
  • Homotopy type theory
  • Category theory

Publications and Preprints

  1. The Universal Exponentiable Arrow. Preprint, 2020. arXiv:2001.09940
  2. On Church's Thesis in Cubical Assemblies. with Andrew Swan. Preprint, 2019. arXiv:1905.03014
  3. A General Framework for the Semantics of Type Theory. Preprint, 2019. arXiv:1904.04097
  4. Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 2019. doi: 10.4230/LIPICS.TYPES.2018.7 arXiv:1803.06649
  5. Fibred Fibration Categories. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017. doi: 10.1109/LICS.2017.8005084 arXiv:1602.08206
  6. Homotopies for Free! Preprint, 2017. arXiv:1701.07937





Author: Taichi Uemura

Created: 2021-03-10 Wed 19:47