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