Taichi Uemura

Introduction

Research Interests

  • Categorical semantics of type theory
  • Homotopy type theory
  • Category theory

Publications and Preprints

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

Talks

  1. Cubical Assembly Models of Homotopy Type Theory. HoTT-UF, June 13, 2019, Oslo, Norway.
  2. A General Framework for the Semantics of Type Theory. 25th International Conference on Types for Proofs and Programs (TYPES 2019), June 11, 2019, Oslo, Norway.
  3. 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
  4. 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
  5. Fibred Fibration Categories. Workshop on Homotopy Type Theory / Univalent Foundations, June 25–26, 2016, Porto, Portugal. slide

Misc

Author: Taichi Uemura

Created: 2019-06-02 Sun 19:46