Joint Mathematics Meetings
San Diego Convention Center and Marriott Marquis San Diego Marina, San Diego, CA
January 10-13, 2018 (Wednesday - Saturday)
Meeting #1135
11:00 a.m. On the directed univalence axiom. Emily Riehl*, Johns Hopkins University
Evan Cavallo, Carnegie Mellon University
Christian Sattler, University of Gothenburg
(1135-18-2052)
11:30 a.m. Localization at degree p maps in Homotopy Type Theory. Dan Christensen, University of Western Ontario
Morgan Opie, Harvard University
Egbert Rijke*, Carnegie Mellon University
Luis Scoccola*, University of Western Ontario
Aliaksandra Yarosh, University of Pittsburgh
(1135-55-2841)
1:00 p.m. Differential Cohesive Type Theory. Jacob A Gross, University of Oxford
Daniel R Licata, Wesleyan University
Max S New, Northeastern University
Jennifer Paykin, University of Pennsylvania
Mitchell Riley, Wesleyan University
Michael Shulman, University of San Diego
Felix Wellen*, Carnegie Mellon University
(1135-53-1166)
1:30 p.m. Applications of Cohesive Homotopy Type Theory. Daniel Cicala, University of California, Riverside
Liron Cohen, Cornell University
Nachiket Karnick, Indiana University
Chandrika Sadanand, Hebrew University of Jerusalem
Michael Shulman, University of San Diego
Amelia Tebbe*, Indiana University Kokomo
Dmitry Vagner, Duke University
(1135-55-2514)