Homotopy Type Theory
Latest Revisions

• Homotopy limits in type theory ( Homotopy limits in type theory(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:08:56
• localization ( localization(rev # 4) | history )
  by Ali Caglayan at October 10, 2018 at 11:38:55
• higher inductive type ( higher inductive type(rev # 11) | history )
  by Ali Caglayan at October 10, 2018 at 11:22:32
• identity type ( identity type(rev # 4) | history )
  by Ali Caglayan at October 10, 2018 at 09:43:01
• circle ( circle(rev # 4) | history )
  by Ali Caglayan at October 10, 2018 at 09:42:18
• algebraic formulation of dependent type theory ( algebraic formulation of dependent type theory(rev # 3) | history )
  by Ali Caglayan at October 10, 2018 at 09:36:35
• higher inductive type ( higher inductive type(rev # 10) | history )
  by Ali Caglayan at October 10, 2018 at 09:31:05
• homotopy groups of spheres ( homotopy groups of spheres(rev # 11) | history )
  by Anonymous? at October 9, 2018 at 10:10:00
• desired articles ( desired articles(rev # 2) | history )
  by Ali Caglayan at October 9, 2018 at 07:52:50
• Yoneda lemma ( Yoneda lemma(rev # 4) | history )
  by Ali Caglayan at October 8, 2018 at 17:46:29
• representable functor ( representable functor(rev # 1) | history )
  by Ali Caglayan at October 8, 2018 at 17:44:44
• Category theory ( Category theory(rev # 12) | history )
  by Ali Caglayan at October 8, 2018 at 17:33:39
• Rezk completion ( Rezk completion(rev # 5) | history )
  by Ali Caglayan at October 8, 2018 at 17:29:54
• hopf fibration ( hopf fibration(rev # 6) | history )
  by Ali Caglayan at October 8, 2018 at 17:25:13
• H-space ( H-space(rev # 6) | history )
  by Ali Caglayan at October 8, 2018 at 17:24:11
• H-space ( H-space(rev # 5) | history )
  by Anonymous? at October 8, 2018 at 04:48:44
• desired articles ( desired articles(rev # 1) | history )
  by Ali Caglayan at September 30, 2018 at 06:17:27
• HomePage ( HomePage(rev # 31) | history )
  by Ali Caglayan at September 30, 2018 at 06:12:54
• References ( References(rev # 58) | history )
  by Richard Williamson? at September 28, 2018 at 11:34:25
• HoTT Mini-Course ( HoTT Mini-Course(rev # 12) | history )
  by Ali Caglayan at September 25, 2018 at 04:48:33
• Events ( Events(rev # 4) | history )
  by Ali Caglayan at September 25, 2018 at 04:48:10
• DMV2015 ( DMV2015(rev # 16) | history )
  by Ali Caglayan at September 25, 2018 at 04:47:53
• CMU local activities ( CMU local activities(rev # 3) | history )
  by Ali Caglayan at September 25, 2018 at 04:47:35
• Bonn2018 ( Bonn2018(rev # 10) | history )
  by Ali Caglayan at September 25, 2018 at 04:45:38
• Category theory ( Category theory(rev # 11) | history )
  by Ali Caglayan at September 25, 2018 at 04:44:18
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 14) | history )
  by Ali Caglayan at September 24, 2018 at 19:33:16
• Category theory ( Category theory(rev # 10) | history )
  by Ali Caglayan at September 24, 2018 at 19:28:24
• empty3 ( empty3(rev # 2) | history )
  by Ali Caglayan at September 24, 2018 at 19:26:47
• isomorphism in a precategory ( isomorphism in a precategory(rev # 6) | history )
  by Ali Caglayan at September 24, 2018 at 19:25:12
• empty3 ( empty3(rev # 1) | history )
  by www.grammarly.com? at September 24, 2018 at 07:54:01
• Rezk completion ( Rezk completion(rev # 4) | history )
  by Ali Caglayan at September 21, 2018 at 11:46:36
• type family ( type family(rev # 8) | history )
  by Ali Caglayan at September 20, 2018 at 19:14:50
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 13) | history )
  by Ali Caglayan at September 20, 2018 at 19:13:09
• Category theory ( Category theory(rev # 9) | history )
  by Ali Caglayan at September 20, 2018 at 19:12:30
• HomePage ( HomePage(rev # 30) | history )
  by Ali Caglayan at September 20, 2018 at 19:12:09
• type family ( type family(rev # 7) | history )
  by Richard Williamson? at September 20, 2018 at 18:13:30
• category ( category(rev # 6) | history )
  by Ali Caglayan at September 19, 2018 at 17:32:48
• weak equivalence of precategories ( weak equivalence of precategories(rev # 1) | history )
  by Ali Caglayan at September 19, 2018 at 17:30:57
• Yoneda lemma ( Yoneda lemma(rev # 3) | history )
  by Ali Caglayan at September 19, 2018 at 14:11:49
• Category theory ( Category theory(rev # 8) | history )
  by Ali Caglayan at September 19, 2018 at 14:00:33
• Rezk completion ( Rezk completion(rev # 3) | history )
  by Ali Caglayan at September 19, 2018 at 13:57:50
• equivalence of precategories ( equivalence of precategories(rev # 5) | history )
  by Ali Caglayan at September 19, 2018 at 13:56:57
• fully faithful ( fully faithful(rev # 4) | history )
  by Ali Caglayan at September 18, 2018 at 12:28:33
• equivalence of precategories ( equivalence of precategories(rev # 4) | history )
  by Ali Caglayan at September 18, 2018 at 12:26:57
• split essentially surjective ( split essentially surjective(rev # 1) | history )
  by Ali Caglayan at September 18, 2018 at 11:38:38
• fully faithful ( fully faithful(rev # 3) | history )
  by Ali Caglayan at September 18, 2018 at 11:21:28
• fully faithful ( fully faithful(rev # 2) | history )
  by Ali Caglayan at September 14, 2018 at 12:00:07
• equivalence of precategories ( equivalence of precategories(rev # 3) | history )
  by Ali Caglayan at September 14, 2018 at 11:52:31
• homotopy groups of spheres ( homotopy groups of spheres(rev # 10) | history )
  by Ali Caglayan at September 14, 2018 at 11:42:48
• type theory ( type theory(rev # 6) | history )
  by Ali Caglayan at September 14, 2018 at 11:35:45
• HomePage ( HomePage(rev # 29) | history )
  by Ali Caglayan at September 14, 2018 at 11:17:49
• homotopy groups of spheres ( homotopy groups of spheres(rev # 9) | history )
  by Ali Caglayan at September 14, 2018 at 08:22:35
• homotopy groups of spheres ( homotopy groups of spheres(rev # 8) | history )
  by Urs Schreiber at September 14, 2018 at 07:44:57
• homotopy groups of spheres ( homotopy groups of spheres(rev # 7) | history )
  by Ali Caglayan at September 14, 2018 at 06:39:42
• homotopy groups of spheres ( homotopy groups of spheres(rev # 6) | history )
  by Ali Caglayan at September 14, 2018 at 05:31:55
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 12) | history )
  by Ali Caglayan at September 14, 2018 at 05:10:20
• hom functor ( hom functor(rev # 3) | history )
  by Richard Williamson? at September 9, 2018 at 14:19:35
• functor ( functor(rev # 8) | history )
  by Mike Shulman at September 7, 2018 at 14:03:31
• functor ( functor(rev # 7) | history )
  by Urs Schreiber at September 7, 2018 at 08:37:58
• category ( category(rev # 5) | history )
  by Urs Schreiber at September 7, 2018 at 08:29:46
• functor ( functor(rev # 6) | history )
  by Urs Schreiber at September 7, 2018 at 06:45:38
• natural transformation ( natural transformation(rev # 4) | history )
  by Ali Caglayan at September 6, 2018 at 18:11:34
• Bas Spitters ( Bas Spitters(rev # 2) | history )
  by Ali Caglayan at September 6, 2018 at 18:08:55
• identity type ( identity type(rev # 3) | history )
  by Ali Caglayan at September 6, 2018 at 18:07:24
• higher inductive type ( higher inductive type(rev # 9) | history )
  by Ali Caglayan at September 6, 2018 at 18:06:00
• type family ( type family(rev # 6) | history )
  by Ali Caglayan at September 6, 2018 at 18:01:43
• functor ( functor(rev # 5) | history )
  by Ali Caglayan at September 6, 2018 at 17:57:56
• precategory ( precategory(rev # 4) | history )
  by Ali Caglayan at September 6, 2018 at 17:55:23
• Yoneda lemma ( Yoneda lemma(rev # 2) | history )
  by Ali Caglayan at September 6, 2018 at 17:52:30
• Category theory ( Category theory(rev # 7) | history )
  by Ali Caglayan at September 6, 2018 at 17:50:55
• hom functor ( hom functor(rev # 2) | history )
  by Ali Caglayan at September 6, 2018 at 17:50:32
• loop space of a wedge of circles ( loop space of a wedge of circles(rev # 4) | history )
  by Richard Williamson? at September 6, 2018 at 16:37:23
• Yoneda lemma ( Yoneda lemma(rev # 1) | history )
  by Ali Caglayan at September 6, 2018 at 15:45:04
• hom functor ( hom functor(rev # 1) | history )
  by Ali Caglayan at September 6, 2018 at 15:13:18
• Category theory ( Category theory(rev # 6) | history )
  by Ali Caglayan at September 6, 2018 at 14:57:10
• left adjoint ( left adjoint(rev # 4) | history )
  by Ali Caglayan at September 6, 2018 at 14:49:59
• left adjoint ( left adjoint(rev # 3) | history )
  by Ali Caglayan at September 6, 2018 at 14:49:58
• product precategory
  by Ali Caglayan at September 6, 2018 at 14:44:41
• opposite precategory
  by Ali Caglayan at September 6, 2018 at 13:57:29
• transport
  by Ali Caglayan at September 6, 2018 at 07:47:41
• functor precategory ( functor precategory(rev # 9) | history )
  by Ali Caglayan at September 6, 2018 at 07:46:59
• identity type ( identity type(rev # 2) | history )
  by Ali Caglayan at September 6, 2018 at 07:46:12
• natural transformation ( natural transformation(rev # 3) | history )
  by Ali Caglayan at September 6, 2018 at 07:23:06
• left adjoint ( left adjoint(rev # 2) | history )
  by Ali Caglayan at September 6, 2018 at 07:01:41
• functor precategory ( functor precategory(rev # 8) | history )
  by Ali Caglayan at September 6, 2018 at 06:55:38
• functor precategory ( functor precategory(rev # 7) | history )
  by Ali Caglayan at September 5, 2018 at 17:41:27
• functor precategory ( functor precategory(rev # 6) | history )
  by Ali Caglayan at September 5, 2018 at 17:33:55
• left adjoint ( left adjoint(rev # 1) | history )
  by Ali Caglayan at September 5, 2018 at 17:26:30
• circle ( circle(rev # 3) | history )
  by Ali Caglayan at September 5, 2018 at 17:01:04
• type family ( type family(rev # 5) | history )
  by Ali Caglayan at September 5, 2018 at 16:53:29
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 11) | history )
  by Ali Caglayan at September 5, 2018 at 16:53:05
• higher inductive type ( higher inductive type(rev # 8) | history )
  by Ali Caglayan at September 5, 2018 at 16:52:44
• identity type ( identity type(rev # 1) | history )
  by Ali Caglayan at September 5, 2018 at 16:51:07
• functor precategory ( functor precategory(rev # 5) | history )
  by Ali Caglayan at September 5, 2018 at 16:50:48
• Category theory ( Category theory(rev # 5) | history )
  by Ali Caglayan at September 5, 2018 at 16:50:16
• category ( category(rev # 4) | history )
  by Ali Caglayan at September 5, 2018 at 14:26:28
• functor precategory ( functor precategory(rev # 4) | history )
  by Ali Caglayan at September 5, 2018 at 13:23:49
• functor precategory ( functor precategory(rev # 3) | history )
  by Ali Caglayan at September 5, 2018 at 10:26:18
• type family ( type family(rev # 4) | history )
  by Ali Caglayan at September 5, 2018 at 10:08:42
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 10) | history )
  by Ali Caglayan at September 5, 2018 at 09:57:51