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. 
    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.
  Publications and preprints
  Category theory
  
    - 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
  
  Talks
  Research talks
  
    - 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)
- Mar. 2023: Workshop on Computer Science and Category Theory (Kyoto University)
- Dec. 2022: Annual Meeting of the Australian Mathematical Society (University of New South Wales; slides)
- Nov. 2022: Australian Category Seminar (Macquarie University)
 
- 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)
- Mar. 2021: Workshop on Computer Science and Category Theory (online)
- Feb. 2021: E8 Sporadic Mathematical Online Lecture Series (online)
- Feb. 2021: Australian Category Seminar (Macquarie University; online)
 
- Triangulating weak ω-categories into weak ω-categories
      
        - Oct. 2020: Geometry and topology seminar (University of Western Ontario; online)
 
- Augmented simplicial sets as M-sets
      
        - Jul. 2020: Australian Category Seminar (Macquarie University; online)
 
- A cubical model for weak ω-categories
      
        - Oct. 2020: Homotopy Type Theory Electronic Seminar Talks (online; video, slides)
- Jul. 2020: AG-Seminar (Universität Regensburg; online)
- Jul. 2020: Geometric and Categorical Structures in Computation and Deduction (Satellite Workshop of Formal Structures for Computation and Deduction; online)
- Jun. 2020: Australian Category Seminar (Macquarie University; online)
- May 2020: Mathematical Sciences Research Institute, cubical sets seminar (online; video)
 
- Towards the formal theory of homotopy coherent monads
      
        - Feb. 2020: Australian Category Seminar (Macquarie University)
 
- The Gray tensor product for 2-quasi-categories
  		
        - Dec. 2020: Annual Meeting of the Australian Mathematical Society (University of New England; slides)
- Feb. 2020: Mathematical Sciences Research Institute, (∞,2)-categories working group
- Nov. 2019: Australian Category Seminar (Macquarie University)
- Jul. 2019: Category Theory (University of Edinburgh)
 
- Inner horns for 2-quasi-categories
  		
  			- Mar. 2019: Australian Category Seminar (Macquarie University)
- Dec. 2018: Annual Meeting of the Australian Mathematical Society (University of Adelaide; slides)
 
- Mahavier limits
  		
  			- Dec. 2017: Annual Meeting of the Australian Mathematical Society (Macquarie University; slides)
 
- Indecomposable generalised inverse limits
  		
  			- Feb. 2014: Devonport Topology Festival; joint talk with Stephen Bell
 
Expository talks
  I (re)started the Junior Category Theory Seminar (to which no "grown-ups" beyond postdocs are invited) at Macquarie University and spoke about the following topics in 2018-2019:
  
    - Cubical sets
- ω-categories, orientals, and complicial sets
- Monads and theories (this paper by Bourke and Garner)
- Inner horns and spines for ∞-categories
- Martin-Löf type theory
- The formal theory of monads (this paper by Street)
- Quasi-categories
- Model categories
Other expository talks I have given include:
  
    - A friendly introduction to ∞-categories
      
    
- Introduction to ∞-categories in general and quasi-categories in particular
      
        - May 2021: Thursday Seminar (Kyoto University; online; slides)
 
- Associativity without equality
  		
  			- Jun. 2019: Department Research Congress (Macquarie University)
 
- Homotopy theory and model categories
  		
  			- Jan. 2015: Summer Scholar Presentation (Australian National University)