Taichi Uemura

Introduction

Research Interest

  • Homotopy type theory
  • Category theory
  • Realizability

Publications and Preprints

  1. Cubical Assemblies and the Independence of the Propositional Resizing Axiom. Preprint, 2018. arxiv
  2. Fibred Fibration Categories. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017. doi: 10.1109/LICS.2017.8005084 arxiv
  3. Homotopies for Free! Preprint, 2017. arxiv

Talks

  1. Cubical Assemblies and the Independence of the Propositional Resizing Axiom. Workshop on Homotopy Type Theory/ Univalent Foundations, July 7-8, 2018, Oxford, United Kingdom. slide
  2. Cubical Assemblies and the Independence of the Propositional Resizing Axiom. 24th International Conference on Types for Proofs and Programs (TYPES 2018), June 18-21, 2018, Braga, Portugal. slide
  3. Fibred Fibration Categories. Workshop on Homotopy Type Theory / Univalent Foundations, June 25–26, 2016, Porto, Portugal. slide

Misc

Author: Taichi Uemura

Created: 2018-07-15 Sun 13:48