I am a researcher at Computer Science group, RIMS, Kyoto university.
I am a researcher at Computer Science group, RIMS, Kyoto university.
Keisuke /keːsɯ̥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: hosiksk215 (at) gmail.com
Email 3: catkekke18635 (at) gmail.com
orcid:https://orcid.org/0009-0007-7287-7572
Category theory. More specifically, I am interested in the following topics.
(virtual) double categories and formal category theory.
weak ω-category à la Batanin and Leinster and Grothendieck's homotopy hypothesis.
triple categories and multiple categories.
On the other hand, I am also interested in computer science, including
realizability.
homotopy type theory.
algebraic effects and their handlers.
Soichiro Fujii, H., Yuki Maehara, Weakly Invertible cells in a weak ω-category arXiv:2303.14907
In: High. Struct. 8.2 (2024), pp. 386-415. ISSN: 2209-0606. DOI: 10.21136/HS.2024.14
H., Hayato Nasu, Double categories of relations relative to factorisation systems arXiv:2310.19428
In: Appl. Categ. Structures 33.2 (2025), Paper No. 11, 70. ISSN: 0927-2852,1572-9095. DOI: 10.1007/s10485-025-09799-y.
Soichiro Fujii, H., Yuki Maehara, ω-weak equivalences between weak ω-categories arXiv:2406.13240
In: Adv. Math. 480 (2025), Paper No. 110490. ISSN: 0001-8708,1090-2082. DOI: 10.1016/j.aim.2025.110490.
Soichiro Fujii, H., Yuki Maehara, ω-equifibrations between strict and weak ω-categories arXiv:2511.09849
Takahiro Sanada, H., Kenshin Hirai, Shin-ya Katsumata, Programming Backpropagation with Reverse Handlers for Arrows arXiv:2602.18090
CSCAT2026, Strong subgenericity and the Structure-Semantics adjunction for T-operads. AOSSA, Fukui. 17th Mar 2026. slides
Categories in Tokyo, 代数的入射性とcellular replacement comonad, National Institute of Informatics. 8th Feb 2026. slides
CSCAT2025, Bivirtual double categories and localisation of composing cells. Sojo university. 10th Mar 2025. slides
Computer Science Theory Seminar, Factorisation systems and (virtual) equipments. Logic and Semantics group in TTÜ, Tallinn. 12th Dec 2024. slides
Second Virtual Workshop on Double Categoires, Double categories of relations relative to factorisation systems. Online. 30th Oct 2024
AustMS 2023, Double categories of relations relative to factorisation systems. University of Queensland. 6th Dec 2023
Australian Category Seminar, Factorisation systems and equipments. Macquarie University. 29th Nov 2023
A general method to prove properties on a concept defined (co)inductively ((Co)inductive に定義された概念の性質を調べる一般的な方法) (partly in Japanese, but the main content is in English)
Note on Lemma 5.5.16 of "Higher Categories and Homotopical Algebra"
When a complex is constructed from non-degenerate cells (in a sense) (partly in Japanese)