and 6 others
Meet other local Math Buffs of all ability levels, students and professionals. Discuss math problems, research, share discoveries and help each other out!Our website is here (http://seattlemath.org).
We're starting up a book study meetup related to homotopy type theory:https://homotopytypetheory.org/book/homotopy type theory is related to intensional type theory, which is put forward as an alternate foundation of mathematics. it's also been referred to as "The groupoid interpretation of type theory".come to allegro and read and discuss the book with us.