The third Midwest Homotopy Type Theory Seminar is scheduled to be held at the University of Michigan in October 2019.
All talks will be held in East Hall 4096, and we will have coffee in the 2nd floor lounge.
|9:30am||Deshin Finlay||Scott Newton|
|10:30am||Chris Kapulkin||Paige North|
|12pm||Lunch||End of meeting|
|3:30pm||Kuen-Bang Hou (Favonia)|
*Participants make their own arrangements for dinner, but those of us interested can meet up to go to a nearby restaurant together.
Homotopy Canonicity of Homotopy Type Theory
I will outline a proof (joint with Christian Sattler) of Voevodsky's Homotopy Canonicity Conjecture.
Two-sided Weak Factorization Systems
In this talk, I'll describe intended semantics for directed type theory. We generalize the two-sided fibrations of Street to obtain a notion of two-sided weak factorization systems: structure on a category which consists of two compatible weak factorization systems. These correspond to a notion of directed path object. The long-term goal is to use the behavior of these directed path objects to reverse-engineer a directed identity type.
There is no registration fee, but we ask participants to fill out the registration form for our planning purposes.
For city-managed parking, we recommend the Forest Structure (near the Ross School of Business) or the Maynard Structure (near the Kelsey Museum of Archaeology), or the various street parking spaces available inbetween.
For school-managed parking, we recommend Lot W13.
Participants should make their own lodging arrangements.
We have negotiated the preferred rate (valid until 9/27) of 129.00 USD per night for conference participants at the Holiday Inn Express & Suites, which is located at 600 Briarwood Circle, Ann Arbor, MI 48108. To book, please call 734-761-2929 and mention the Midwest Homotopy Type Theory Seminar.
Back to Simon Cho's faculty page