Taichi Uemura

MaRDI QIDQ2078409zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Homotopy type theory as a language for diagrams of -logoses Logical Methods in Computer Science	2026-03-23	Paper
A direct-categorical approach to opetopic sets and opetopes Theory and Applications of Categories	2026-02-09	Paper
-type theories Higher Structures	2026-01-06	Paper
Homotopy type theory as internal languages of diagrams of -logoses	2024-10-21	Paper
A general framework for the semantics of type theory Mathematical Structures in Computer Science	2024-03-05	Paper
Normalization and coherence for \infty-type theories	2022-12-22	Paper
On Church’s thesis in cubical assemblies Mathematical Structures in Computer Science	2022-12-09	Paper
scientific article; zbMATH DE number 7561492 (Why is no real title available?) (available as arXiv preprint)	2022-07-21	Paper
\infty-type theories	2022-05-02	Paper
The universal exponentiable arrow Journal of Pure and Applied Algebra	2022-02-28	Paper
Fibred fibration categories	2021-01-19	Paper
Fibred fibration categories (available as arXiv preprint)	2021-01-19	Paper
The Universal Exponentiable Arrow (available as arXiv preprint)	2020-01-27	Paper
On Church's Thesis in Cubical Assemblies (available as arXiv preprint)	2019-05-08	Paper
W-Types in Categories of Coalgebras	2019-01-19	Paper
Homotopies for Free!	2017-01-26	Paper
Homotopy type theory as internal languages of diagrams of \infty-logoses (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Taichi Uemura