# Welcome to the Homotopy Type Theory Reading Group

## Dustin Mulcahey

The goal of this group is to study this:

http://homotopytypetheory.org/book/

Homotopy type theory is a new foundation for mathematics based upon type theory and the univalence axiom. This is a topic that unifies the foundations of mathematics, computer science, algebraic topology, and type theory.

Our first meeting will be on Thursday, September 12th at the CUNY Graduate Center, 365 Fifth Ave, NYC. The time will be 7pm and the room is 8405.

The first talk will be given by Dustin Mulcahey, and will consist of an informal overview of the work. We can also take this time to discuss how we should organize the seminar and split up the talks.

We will be meeting (roughly) every two weeks.

Jointly organized by:

Dustin Mulcahey earned his Ph.D. from the CUNY Graduate Center in 2012. He does research in the area of category theory, with a related interest in Haskell, and more recently, has organized the Homotopy Type Theory Reading Group.