Emily Riehl. Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk). In Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025. pages 1, ACM, 2025. [doi]
Abstract is missing.