Weak Infinity Groupoids in HoTT

Date

Speakers

Guillaume Brunerie

Affiliation

School of Mathematics, IAS