Taichi Uemura

Tweet

Currently I am a PhD candidate at University of Amsterdam.

Introduction

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

Talks

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

Notes

  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.

Misc

Author: Taichi Uemura

Created: 2018-03-11 Sun 14:59