Taichi Uemura
TweetCurrently I am a PhD candidate at University of Amsterdam.
Introduction
 Ph.D student at Research Institute for Mathematical Sciences, Kyoto University
 RIMS Computer Science Group
 email:
uemura \at kurims.kyotou.ac.jp
Research Interest
 Homotopy type theory
 Category theory
 Higher category theory
Publications and Preprints
 Fibred Fibration Categories. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017. doi:10.1109/LICS.2017.8005084 arxiv
 Homotopies for Free!, Preprint, 2017. arxiv
Talks
 Fibred Fibration Categories, Workshop on Homotopy Type Theory / Univalent Foundations, June 25–26, 2016, Porto, Portugal. slide
Notes
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.

An introduction to Homotopy Type Theory in Japanese.