Homotopy Type Theory
Latest Revisions

• semantics ( semantics(rev # 6) | history )
  by Mike Shulman at March 9, 2014 at 05:40:06
• open problems ( open problems(rev # 19) | history )
  by Steve Awodey at March 8, 2014 at 18:51:15
• open problems ( open problems(rev # 18) | history )
  by Mike Shulman at March 7, 2014 at 19:01:19
• semantics ( semantics(rev # 5) | history )
  by Mike Shulman at March 7, 2014 at 19:01:00
• semantics ( semantics(rev # 4) | history )
  by Alexis Hazell? at March 6, 2014 at 19:59:40
• semantics ( semantics(rev # 3) | history )
  by Anonymous? at March 6, 2014 at 19:58:32
• semi-simplicial types ( semi-simplicial types(rev # 2) | history )
  by Alexis Hazell? at March 6, 2014 at 19:46:46
• type theories ( type theories(rev # 2) | history )
  by Alexis Hazell? at March 6, 2014 at 19:06:40
• definitional equality ( definitional equality(rev # 6) | history )
  by Alexis Hazell? at March 6, 2014 at 19:06:08
• univalence axiom ( univalence axiom(rev # 6) | history )
  by Alexis Hazell? at March 6, 2014 at 18:55:42
• semantics ( semantics(rev # 2) | history )
  by Steve Awodey at March 6, 2014 at 18:18:22
• semantics ( semantics(rev # 1) | history )
  by Anonymous? at March 6, 2014 at 18:17:34
• open problems ( open problems(rev # 17) | history )
  by Anonymous? at March 6, 2014 at 18:16:35
• semi-simplicial types ( semi-simplicial types(rev # 1) | history )
  by Mike Shulman at March 6, 2014 at 15:41:29
• open problems ( open problems(rev # 16) | history )
  by Mike Shulman at March 6, 2014 at 15:41:00
• Homotopy Type System ( Homotopy Type System(rev # 1) | history )
  by Mike Shulman at March 6, 2014 at 15:37:50
• type theories ( type theories(rev # 1) | history )
  by Mike Shulman at March 6, 2014 at 15:31:07
• HomePage ( HomePage(rev # 4) | history )
  by Mike Shulman at March 6, 2014 at 15:28:44
• open problems ( open problems(rev # 15) | history )
  by Bas Spitters at March 5, 2014 at 09:30:00
• loop space ( loop space(rev # 1) | history )
  by Alexis Hazell? at March 4, 2014 at 23:18:29
• definitional equality ( definitional equality(rev # 5) | history )
  by Alexis Hazell? at March 4, 2014 at 21:47:22
• univalence axiom ( univalence axiom(rev # 5) | history )
  by Alexis Hazell? at March 4, 2014 at 02:23:58
• definitional equality ( definitional equality(rev # 4) | history )
  by Alexis Hazell? at March 4, 2014 at 01:49:18
• higher inductive type ( higher inductive type(rev # 2) | history )
  by Alexis Hazell? at March 4, 2014 at 01:12:27
• definitional equality ( definitional equality(rev # 3) | history )
  by Alexis Hazell? at March 4, 2014 at 00:34:34
• definitional equality ( definitional equality(rev # 2) | history )
  by Mike Shulman at March 3, 2014 at 14:20:03
• univalence axiom ( univalence axiom(rev # 4) | history )
  by Mike Shulman at March 3, 2014 at 14:14:01
• Formalized Homotopy Theory ( Formalized Homotopy Theory(rev # 2) | history )
  by Mike Shulman at March 3, 2014 at 14:11:53
• homotopy groups of spheres ( homotopy groups of spheres(rev # 3) | history )
  by Mike Shulman at March 3, 2014 at 14:10:44
• homotopy groups of spheres ( homotopy groups of spheres(rev # 2) | history )
  by Mike Shulman at March 3, 2014 at 13:34:13
• homotopy groups of spheres ( homotopy groups of spheres(rev # 1) | history )
  by Alexis Hazell? at March 2, 2014 at 19:55:58
• Formalized Homotopy Theory ( Formalized Homotopy Theory(rev # 1) | history )
  by Alexis Hazell? at March 2, 2014 at 19:54:40
• definitional equality ( definitional equality(rev # 1) | history )
  by Alexis Hazell? at March 2, 2014 at 19:24:57
• open problems ( open problems(rev # 14) | history )
  by Bas Spitters at February 28, 2014 at 04:54:49
• open problems ( open problems(rev # 13) | history )
  by Bas Spitters at February 28, 2014 at 04:09:38
• open problems ( open problems(rev # 12) | history )
  by Steve Awodey? at February 23, 2014 at 19:20:30
• open problems ( open problems(rev # 11) | history )
  by Mike Shulman at February 22, 2014 at 04:50:37
• open problems ( open problems(rev # 10) | history )
  by Mike Shulman at February 21, 2014 at 20:11:40
• open problems ( open problems(rev # 9) | history )
  by Mike Shulman at February 21, 2014 at 08:21:26
• open problems ( open problems(rev # 8) | history )
  by Urs Schreiber at February 21, 2014 at 00:33:55
• open problems ( open problems(rev # 7) | history )
  by Steve Awodey? at February 20, 2014 at 18:12:37
• Toby Bartels ( Toby Bartels(rev # 1) | history )
  by Toby Bartels at February 20, 2014 at 10:28:22
• open problems ( open problems(rev # 6) | history )
  by Toby Bartels at February 20, 2014 at 10:25:58
• univalence axiom ( univalence axiom(rev # 3) | history )
  by Steve Awodey? at February 19, 2014 at 19:01:59
• open problems ( open problems(rev # 5) | history )
  by Steve Awodey? at February 19, 2014 at 16:00:34
• about ( about(rev # 3) | history )
  by Steve Awodey? at February 19, 2014 at 15:59:36
• open problems ( open problems(rev # 4) | history )
  by Mike Shulman at February 19, 2014 at 13:03:16
• open problems ( open problems(rev # 3) | history )
  by Steve Awodey? at February 19, 2014 at 12:57:50
• univalence axiom ( univalence axiom(rev # 2) | history )
  by Steve Awodey? at February 19, 2014 at 12:56:43
• about ( about(rev # 2) | history )
  by Steve Awodey? at February 19, 2014 at 12:49:51
• open problems ( open problems(rev # 2) | history )
  by Steve Awodey? at February 19, 2014 at 11:40:39
• about ( about(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 13:14:32
• HomePage ( HomePage(rev # 3) | history )
  by Mike Shulman at February 18, 2014 at 13:12:02
• open problems ( open problems(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 13:08:19
• model of type theory in an (infinity,1)-topos ( model of type theory in an (infinity,1)-topos(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 12:42:18
• univalence axiom ( univalence axiom(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 12:40:14
• higher inductive type ( higher inductive type(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 12:39:14
• loop space of a wedge of circles ( loop space of a wedge of circles(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 12:37:55
• HomePage ( HomePage(rev # 2) | history )
  by Mike Shulman at February 18, 2014 at 12:10:01
• Michael Shulman ( Michael Shulman(rev # 1) | history )
  by Mike Shulman at February 18, 2014 at 12:06:02
• HomePage ( HomePage(rev # 1) | history )
  by Andrew Stacey? at February 17, 2014 at 04:19:41