# 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

## Talks

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

## Notes

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

2. An introduction to Homotopy Type Theory in Japanese.

## Misc

Created: 2018-03-11 Sun 14:59