Past Meetup

Homotopy Type Theory

This Meetup is past

3 people went

Commonwealth Bank of Australia

Level 15, 255 Pitt Street · Sydney

How to find us

This is the office tower above the Hilton. Inside the Hilton lobby, you will see two corridors of elevators: choose the non-carpeted one and proceed to level 15. Please call Mark (0451 158 602) or Rowan (0491 212 140) on arrival.

Location image of event venue

Details

We'll be reading "Homotopy Type Theory: Univalent Foundations of Mathematics" aka "The HoTT Book".

https://homotopytypetheory.org/book/

We'll start with Chapter 1, which provides an overview of Martin-Löf type theory, but from the perspective of homotopy type theory.