Welcome to the Homotopy Type Theory Reading Group

HoTT Reading GroupThursday, September 12, 20137:00 pmGC 8405

Dustin Mulcahey

Welcome to the Homotopy Type Theory Reading Group

The goal of this group is to study this:

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:

New York Haskell Meetup

New York Category Theory Seminar

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.

Posted by on August 29th, 2013