Yuki Maehara(前原 悠究)
日本語版はこちらからどうぞ
email: XY@tmu.ac.jp
where X = [the first letter of my first name] and Y = [my last name with its last letter removed]
I am an assistant professor at Tokyo Metropolitan University. (This position doesn't allow me to take students.)
Before that, I was a postdoc at Research Institute for Mathematical Sciences, Kyoto University.
Before that, I was a postdoc was at Institute of Mathematics for Industry, Kyushu University.
Before that, I was a PhD student of Dominic Verity and Ross Street at Macquarie University in Sydney, Australia.
I am interested in (higher) category theory.
Here (no. 8) is my 5 minute self-introduction from the Higher Categories and Categorificaction program at the MSRI in spring 2020.
I organised Kyoto Category Theory Meeting in February 2025, and Categories in Tokyo in February 2026.
Publications and preprints
Category theory
- ω-equifibrations between strict and weak ω-categories
joint with Soichiro Fujii and Keisuke Hoshino
arxiv:2511.09849
- Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
joint with Ryuya Hora and Yuhi Kamio
arxiv:2503.03439
- ω-weak equivalences between weak ω-categories
joint with Soichiro Fujii and Keisuke Hoshino
arxiv:2406.13240
DOI:10.1016/j.aim.2025.110490
- A model-independent Gray tensor product for (∞,2)-categories
joint with Tim Campion
arXiv:2304.05965
- Weakly invertible cells in a weak ω-category
joint with Soichiro Fujii and Keisuke Hoshino
arXiv:2303.14907
DOI:10.21136/HS.2024.14
- Equivalence of cubical and simplicial approaches to (∞,n)-categories
joint with Brandon Doherty and Chris Kapulkin
arXiv:2106.09428
DOI:10.1016/j.aim.2023.108902
- Orientals as free weak ω-categories
arXiv:2102.09736
DOI:10.1016/j.jpaa.2022.107230
- A cubical model for (∞,n)-categories.
joint with Tim Campion and Chris Kapulkin
arxiv:2005.07603
DOI:10.2140/gt.2025.29.1115
- The Gray tensor product for 2-quasi-categories
arXiv:2003.11757
DOI:10.1016/j.aim.2020.107461
- Inner horns for 2-quasi-categories
arXiv:1902.08720
DOI:10.1016/j.aim.2020.107003
Mahavier limits/generalised inverse limits
Other material
Selected talks
Research talks
- Upgrading equivalences in a weak ω-category to coherent ones
- Jul. 2025: Category Theory (Masaryk University; slides)
- Weak equivalences between algebraic weak ω-categories
- Jun. 2024: Category Theory (University of Santiago de Compostela; slides)
- Equivalences in and between algebraic weak ω-categories
- Apr. 2024: (∞,n)-Categories and their applications (Utrecht University; slides)
- Coinductive equivalences in algebraic weak ω-categories
- Jul. 2023: Category Theory (Université catholique de Louvain)
- Dec. 2022: Annual Meeting of the Australian Mathematical Society (University of New South Wales; slides)
- Equivalence of cubical and simplicial approaches to weak ω-categories
- Sep. 2021: Seminar on Algebra, Logic and Geometry in Informatics (online; slides)
- Orientals as free weak ω-categories
- Sep. 2021: Category Theory (University of Genoa; online; slides)
- A cubical model for weak ω-categories
- Oct. 2020: Homotopy Type Theory Electronic Seminar Talks (online; video, slides)
- Jul. 2020: Geometric and Categorical Structures in Computation and Deduction (Satellite Workshop of Formal Structures for Computation and Deduction; online)
- May 2020: Mathematical Sciences Research Institute, cubical sets seminar (online; video)
- The Gray tensor product for 2-quasi-categories
- Dec. 2020: Annual Meeting of the Australian Mathematical Society (University of New England; slides)
- Jul. 2019: Category Theory (University of Edinburgh)
- Inner horns for 2-quasi-categories
- Dec. 2018: Annual Meeting of the Australian Mathematical Society (University of Adelaide; slides)
Expository talks
- I have recorded short expository talks on complicial sets and related topics.
- Making sense of ∞-categories
- Oct.-Nov. 2024: A seminar series at Kyoto University (videos in Japanese; notes in English)
- A friendly introduction to ∞-categories
- Introduction to ∞-categories in general and quasi-categories in particular
- May 2021: Thursday Seminar (Kyoto University; online; slides)
- I (re)started the Junior Category Theory Seminar (to which no "grown-ups" beyond postdocs are invited) at Macquarie University and spoke about various topics in 2018-2019.