nLab Yuki Maehara

• website

 Publications

• Yuki Maehara, Inner horns for 2-quasi-categories, Advances in Mathematics, Volume 363, 25 March 2020, 107003 (doi:10.1016/j.aim.2020.107003), arXiv:1902.08720)

Talks

• Yuki Maehara, A cubical model for weak omega-categories, Homotopy Type Theory Electronic Seminar Talks, 8 October 2020 (video, slides)

category: people