You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Owen Lynch (Aug 29 2022 at 23:21):Is anyone familiar with the state of academic category theory in Japan? Are there any professors or grad students there who are working in category theory, type theory, homotopy theory, etc.?
Nathanael Arkor (Aug 29 2022 at 23:27):I know there are theoretical computer scientists who use category theory in their work in Japan, such as Makoto Hamana and Shin-ya Katsumata.
Fabrizio Genovese (Aug 29 2022 at 23:33):For what I know, Hasuo Ichiro's group also uses applied category theory (among other things). They mainly focus on systems design. https://group-mmm.org/index.html
Valeria de Paiva (Aug 29 2022 at 23:40):Personally I know Hassei http://www.kurims.kyoto-u.ac.jp/~hassei and Masaru Shirahata https://www.sci.keio.ac.jp/en/people/5807/ and Atsushi Igarashi https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en and Naoki Kobayashi https://www-kb.is.s.u-tokyo.ac.jp/~koba/.
there's plenty of excellent type theory in Japan, as you can see e.g. in the conference series APLAS https://conf.researchr.org/home/aplas-2022
Bryce Clarke (Aug 30 2022 at 07:49):Yuki Maehara is also working on infinity categories as a postdoc in Japan. https://yukimaehara.github.io
JS PL (he/him) (Aug 30 2022 at 07:53):Hi! I'm a postdoc in Japan, working at kyoto university with Hassei. (https://sites.google.com/view/jspl-personal-webpage/) I do wide range of category theory, mostly differential categories, but also linear logic, quantum, commutative algebra, some theoretical science etc.
JS PL (he/him) (Aug 30 2022 at 07:54):At kyoto; Hassei also has a large group of students doing a variety of (higher) category theory with various applications in theoretical computer science
Nathaniel Virgo (Aug 30 2022 at 08:44):I'm in Tokyo and interested in applied category theory (including applications to thermodynamics). Haven't published much yet though, apart from this conference paper on Bayesian agents.
Zhen Lin Low (Aug 30 2022 at 09:16):I'm not in academia anymore but I live/work in Tokyo.