Taichi Uemura

Introduction

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

Talks

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

Misc

Author: Taichi Uemura

Created: 2018-06-11 Mon 11:30