Activities

Jun/ I will visit the Queen Mary University of London.

Jun/ I will attend  CT2024 at Santiago de Compostela.

Jul/ I will attend TACL2024 at Barcelona.

Jan/ I submitted my master thesis on Quotient toposes.

Feb/ I passed the entrance exam for the Dr course.

Mar/ I talked about recursive coalgebras at CSCAT2024.

Mar/ I gave an introductory talk on topos theory at 代数トポロジー若手の会.

Mar/ Joint work with Yuhi Kamio, Quotient toposes of discrete dynamical systesms is accepted by Journal of Pure and Applied Algebra.  doi

Apr/  My paper on local state classifier is accepted.

Apr/ At the AFSA Colloquium, I gave an outreach talk on category theory for researchers outside of mathematics.

May/ I've organized the 0th conference of Categories in Tokyo.

Feb/ FoPM symposium

Feb/ I uploaded my paper on arXiv

Mar/ I talked about Applied Category Theory at FoPM seminar

Mar/ CSCAT

Apr/ AusCatSeminar

May/ JCGTW

May/ I talked about Applied Category Theory at a bookstore talk event (!?)

Jun/ EmCat meeting for CT2023

Jul/ CT2023

Jul/ I talked about Joyal's species at "Math space topos"

Aug/ Speaker and Organizer at JCGTW

Aug/ Staff and Participant at ICIAM

Sep/ 数物セミナーadv at Okayama

Sep/ Discussion with Prof. Ivan Tomasic at Kyoto and Tokyo

Sep/ My friend's paper has been uploaded on arXiv, which I was a little involved 

Sep/ I Attended The last seminar on the book of the notion of abduction at NII.

Sep/ I Talked about Joyal's species on my friend's YouTube channel 数理物理ラジオ (in Japanese). The  archive is available here.

Oct/ I uploaded our new paper with Yuhi Kamio

Oct/ Visit in Kyoto (RIMS and AFSA colloquium)

Oct/ A paper on combinatorial game theory in which I am acknowledged has been uploaded to arXiv.

Dec/  I talked about logical aspects of topoi at 数学基礎論若手の会2023