Soichiro Fujii

Category theory and its applications to mathematical logic, computer science, etc.

• Higher dimensional categories: induction on extensivity. (With Thomas Cottrell and John Power) Proceedings of 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), Electronic Notes in Theoretical Computer Science 341, pp. 73-90, 2018. [Paper page]
• Enriched and internal categories: an extensive relationship. (With Thomas Cottrell and John Power) Tbilisi Mathematical Journal, 10(3), pp. 239-254, 2017. [Paper page]
• Towards a Formal Theory of Graded Monads. (With Shin-ya Katsumata and Paul-André Melliès) Proceedings of 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016). Lecture Notes in Computer Science, vol 9634, pp. 513-530, 2016. [Paper page]

• Enriched categories and tropical mathematics. Submitted. [arXiv:1909.07620]
• A unified framework for notions of algebraic theory. Submitted. [arXiv:1904.08541]

• Foundations of Algebraic Theories and Higher Dimensional Categories. PhD thesis, University of Tokyo, 2018. [arXiv:1903.07030]
• A 2-Categorical Study of Graded and Indexed Monads. Master's thesis, University of Tokyo, 2016. [arXiv:1904.08083]
• A Categorical Approach to L-Convexity. Bachelor's thesis, University of Tokyo, 2014. [arXiv:1904.08413]

Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan

Email: s.fujii.math [at] gmail.com