Taichi Uemura


Research Interest

  • Homotopy type theory
  • Category theory
  • Realizability

Publications and Preprints

  1. Fibred Fibration Categories. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017. doi: 10.1109/LICS.2017.8005084 arxiv
  2. Homotopies for Free! Preprint, 2017. arxiv
  3. Cubical Assemblies and the Independence of the Propositional Resizing Axiom. Preprint, 2018. arxiv


  1. Fibred Fibration Categories, Workshop on Homotopy Type Theory / Univalent Foundations, June 25–26, 2016, Porto, Portugal. slide


Author: Taichi Uemura

Created: 2018-06-11 Mon 11:30