UEMURA Taichi
Organization
Graduate School of Informatics Department of Complex Systems Science 1 Designated assistant professor
Title
Designated assistant professor
Presentations 2
-
An elementary definition of opetopic sets International conference
Taichi Uemura
Kyoto Category Theory Meeting 2025.2.12 Yuki Maehara
-
Higher inductive types in (∞,1)-categories Invited International conference
Taichi Uemura
Workshop on Categorical Structures and Computer Science (2024 Edition) 2024.11.1 Masahito Hasegawa, Hayato Nasu