Pure (higher) category theory

I sometimes work on pure category theory.

• A monoidal Grothendieck construction for \(\infty\)-categories. arXiV link. Nagoya Mathematical Journal. Published online 2025:1-32. doi:10.1017/nmj.2025.10086
• Universality of Barwick's unfurling construction, with Bastiaan Cnossen and Tobias Lenz. arXiv link. International Mathematical Research Notices, Volume 2025, Issue 18, September 2025
• An elementary proof of the naturality of the Yoneda embedding. arXiV link. Proceedings of the American Mathematical Society. 151, 10, p. 4163-4171
• Fully faithful functors and pushouts of \(\infty\)-categories, with Peter Haine and Jan Steinebrunner. arXiv link. (submitted)