Emily Riehl #HoTT towards a synthetic theory of (∞,1)- categories

Publicités