HoTT Meetup (Ch 1. Exercises, Ch. 2 up to Section 2.4)

mar. 30 avril à 01:00

Fuseau horaire : Paris (GMT+02:00)

92 3rd St
Brooklyn
États-Unis
Brooklyn

Hey Everyone! After a slight hiatus due to some poorly timed work + vacation stuff, we're back. We'll cover the exercises for Ch.1 as promised, and continue on with building an understanding of homotopy (of which I'll provide some additional notes)

Source: https://www.meetup.com/fr-FR/NYC-HoTT-Group/events/260634518/


92 3rd St
Brooklyn
États-Unis

Technologie
Nous avons temporairement désactivé la possibilité de naviguer vers les tags.