What we're about

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).

Upcoming events (5)

Homotopy book study

Cafe Allegro

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.

Homotopy book study

Cafe Allegro

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.

Homotopy book study

Cafe Allegro

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.

Homotopy book study

Cafe Allegro

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.

Past events (254)

Homotopy book study

Cafe Allegro

Photos (30)

Related topics