Emily Riehl: Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk). CPP 2025: 1