Perry Hart

Une exploration sympa des colimites et de leurs connexions dans la théorie des types d'homotopie.