January 2014 Archives by date
Starting: Mon Jan 6 16:41:24 EST 2014
Ending: Thu Jan 30 11:23:23 EST 2014
Messages: 29
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Chris Jeris
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Peng Wang
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Dmitry Vagner
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Joe Hannon
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Jason Gross
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Dmitry Vagner
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
Dmitry Vagner
- [HoTT-reading-group] Background reading in homotopy theory and higher category theory?
J. Ian Johnson
- [HoTT-reading-group] Disjoint Unions and Sigma Types
Jason Gross
- [HoTT-reading-group] Disjoint Unions and Sigma Types
Joe Hannon
- [HoTT-reading-group] Disjoint Unions and Sigma Types
Jason Gross
- [HoTT-reading-group] Disjoint Unions and Sigma Types
Joe Hannon
- [HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 4
Michael M
- [HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 4
Darij Grinberg
- [HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 4
J. Ian Johnson
- [HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 5
Michael M
- [HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 5
Darij Grinberg
- [HoTT-reading-group] Type of pointed types
Joe Hannon
- [HoTT-reading-group] Type of pointed types
J. Ian Johnson
- [HoTT-reading-group] Type of pointed types
Jason Gross
- [HoTT-reading-group] Type of pointed types
Joe Hannon
- [HoTT-reading-group] Type of pointed types
J. Ian Johnson
- [HoTT-reading-group] google hangout?
Joe Hannon
- [HoTT-reading-group] google hangout?
Chris Jeris
- [HoTT-reading-group] Bool ≃ (Bool ≃ Bool)
Jason Gross
- [HoTT-reading-group] where did we get to?
Joe Hannon
- [HoTT-reading-group] where did we get to?
Snarsky, Thomas J.
- [HoTT-reading-group] Agda, funext and implicits
Chris Jeris
- [HoTT-reading-group] Agda, funext and implicits
Jason Gross
Last message date:
Thu Jan 30 11:23:23 EST 2014
Archived on: Thu Jan 30 11:23:57 EST 2014
This archive was generated by
Pipermail 0.09 (Mailman edition).