from Hacker News

Emily Riehl is rewriting the foundations of higher category theory (2021)

by perihelions on 10/22/25, 10:34 PM with 0 comments