I am a Ph.D student at Computer Science group, RIMS, Kyoto university.
Contact/Personal information
Keisuke /keisɯke/ Hoshino /hoɕino/ (星野 恵佑)
Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan.
Email 1: hoshinok (at) kurims.kyoto-u.ac.jp
Email 2: hoshino.keisuke.53r (at) st.kyoto-u.ac.jp
Research Interest
Category theory. More specifically, I am interested in the following topics.
formal category theory.
(virtual) double categories.
other higher categories.
weak ω-category à la Batanin and Leinster.
triple categories.
multiple categories.
On the other hand, I am also interested in computer science, including
realizability.
homotopy type theory.
Papers/Preprints
Soichiro Fujii, H., Yuki Maehara, Weakly Invertible cells in a weak ω-category arXiv:2303.14907
H., Hayato Nasu, Double categories of relations relative to factorisation systems arXiv:2310.19428