Updated on 2025/03/06

写真a

 
UEMURA Taichi
 
Organization
Graduate School of Informatics Department of Complex Systems Science 1 Designated assistant professor
Title
Designated assistant professor
 

Presentations 2

  1. An elementary definition of opetopic sets International conference

    Taichi Uemura

    Kyoto Category Theory Meeting  2025.2.12  Yuki Maehara

    　More details

    Event date： 2025.2

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Kyoto University   Country：Japan  

  2. 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

    　More details

    Event date： 2024.10 - 2024.11

    Language：English   Presentation type：Oral presentation (invited, special)  

    Venue：RIMS, Kyoto Univerisity   Country：Japan  

To the head of Presentations.▲