January 2014 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...