Homotopy Type Theory
equivalence of precategories (history)

September 19, 2018

• Current (diff)
  by Ali Caglayan on September 19, 2018 at 13:56:57.

September 18, 2018

• Revision 4 (diff)
  by Ali Caglayan on September 18, 2018 at 12:26:57.

September 14, 2018

• Revision 3 (diff)
  by Ali Caglayan on September 14, 2018 at 11:52:31.

August 25, 2018

• Revision 2 (diff)
  by Anonymous? on August 25, 2018 at 19:32:02.

January 18, 2015

• Revision 1
  by Bas Spitters on January 18, 2015 at 03:34:02.