Taichi Uemura


Currently I am a PhD candidate at University of Amsterdam.


Research Interest

  • Homotopy type theory
  • Category theory
  • Higher category theory

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


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


  1. Functor Categories of a Locally Cartesian Closed Category.

    We show that the functor category from a finite category to a locally cartesian closed category is locally cartesian closed.

  2. Homotopy Type Theory 入門

    An introduction to Homotopy Type Theory in Japanese.


Author: Taichi Uemura

Created: 2018-03-11 Sun 14:59