Homotopy Type Theory
Latest Revisions

• Andrea Vezzosi ( Andrea Vezzosi(rev # 3) | history )
  by Urs Schreiber at July 16, 2019 at 18:37:40
• limited principle of omniscience ( limited principle of omniscience(rev # 2) | history )
  by Urs Schreiber at June 20, 2019 at 12:11:42
• References ( References(rev # 71) | history )
  by Ali Caglayan at April 15, 2019 at 22:10:53
• References ( References(rev # 70) | history )
  by Ali Caglayan at April 1, 2019 at 03:39:56
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 14) | history )
  by Ali Caglayan at March 16, 2019 at 19:46:08
• model of type theory in an (infinity,1)-topos ( model of type theory in an (infinity,1)-topos(rev # 15) | history )
  by Urs Schreiber at March 13, 2019 at 07:16:31
• References ( References(rev # 69) | history )
  by steveawodey? at March 12, 2019 at 16:31:54
• References ( References(rev # 68) | history )
  by Ali Caglayan at March 10, 2019 at 23:38:49
• References ( References(rev # 67) | history )
  by Ali Caglayan at February 19, 2019 at 16:41:08
• loop space of a wedge of circles ( loop space of a wedge of circles(rev # 5) | history )
  by Ali Caglayan at February 19, 2019 at 16:37:55
• The join construction ( The join construction(rev # 2) | history )
  by Ali Caglayan at February 19, 2019 at 16:34:07
• A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory ( A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory(rev # 2) | history )
  by Ali Caglayan at February 19, 2019 at 16:32:56
• References ( References(rev # 66) | history )
  by Ali Caglayan at February 19, 2019 at 09:47:18
• A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory ( A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory(rev # 1) | history )
  by Ali Caglayan at February 19, 2019 at 09:44:36
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 13) | history )
  by Leo? at February 16, 2019 at 08:39:32
• spheres ( spheres(rev # 2) | history )
  by Mike Shulman at February 14, 2019 at 15:19:40
• join
  by Ali Caglayan at February 14, 2019 at 12:00:15
• empty type
  by Ali Caglayan at February 14, 2019 at 11:56:34
• The join construction ( The join construction(rev # 1) | history )
  by Ali Caglayan at February 14, 2019 at 11:39:20
• References ( References(rev # 65) | history )
  by Ali Caglayan at February 14, 2019 at 10:24:12
• A Cubical Approach to Synthetic Homotopy Theory
  by Ali Caglayan at February 14, 2019 at 10:15:35
• homotopy groups of spheres ( homotopy groups of spheres(rev # 18) | history )
  by Ali Caglayan at February 14, 2019 at 06:14:33
• spheres ( spheres(rev # 1) | history )
  by Ali Caglayan at February 14, 2019 at 03:46:26
• Higher-Dimensional Types in the Mechanization of Homotopy Theory
  by Ali Caglayan at February 14, 2019 at 03:39:12
• On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory ( On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory(rev # 2) | history )
  by Ali Caglayan at February 14, 2019 at 03:31:10
• smash product ( smash product(rev # 7) | history )
  by Ali Caglayan at February 14, 2019 at 03:28:55
• smash product ( smash product(rev # 6) | history )
  by Anonymous? at February 14, 2019 at 03:04:50
• wild category ( wild category(rev # 2) | history )
  by Mike Shulman at February 10, 2019 at 18:18:04
• set
  by Ali Caglayan at January 28, 2019 at 16:34:46
• wild category ( wild category(rev # 1) | history )
  by Mike Shulman at January 28, 2019 at 16:11:23
• References ( References(rev # 64) | history )
  by Mike Shulman at January 25, 2019 at 19:50:39
• circle ( circle(rev # 7) | history )
  by Ali Caglayan at January 19, 2019 at 15:35:09
• circle ( circle(rev # 6) | history )
  by Todd Trimble? at January 19, 2019 at 15:20:20
• Formalized Homotopy Theory ( Formalized Homotopy Theory(rev # 12) | history )
  by Ali Caglayan at January 19, 2019 at 14:06:38
• Seifert-van Kampen theorem
  by Ali Caglayan at January 19, 2019 at 14:05:25
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 20) | history )
  by Ali Caglayan at January 19, 2019 at 13:41:06
• Eilenberg-MacLane space ( Eilenberg-MacLane space(rev # 2) | history )
  by Ali Caglayan at January 19, 2019 at 13:39:40
• localization ( localization(rev # 7) | history )
  by Ali Caglayan at January 19, 2019 at 13:30:40
• circle ( circle(rev # 5) | history )
  by Ali Caglayan at January 19, 2019 at 13:20:08
• Univalent categories and the Rezk completion ( Univalent categories and the Rezk completion(rev # 2) | history )
  by Ali Caglayan at January 19, 2019 at 13:11:40
• Localization in Homotopy Type Theory ( Localization in Homotopy Type Theory(rev # 3) | history )
  by Ali Caglayan at January 19, 2019 at 13:11:09
• Higher Groups in Homotopy Type Theory
  by Ali Caglayan at January 19, 2019 at 13:10:56
• HoTT book ( HoTT book(rev # 5) | history )
  by Ali Caglayan at January 19, 2019 at 13:10:08
• Cellular Cohomology in Homotopy Type Theory
  by Ali Caglayan at January 19, 2019 at 13:08:58
• Modalities in homotopy type theory ( Modalities in homotopy type theory(rev # 3) | history )
  by Ali Caglayan at January 19, 2019 at 13:06:09
• desired articles ( desired articles(rev # 3) | history )
  by Ali Caglayan at January 19, 2019 at 13:03:56
• homotopy groups of spheres ( homotopy groups of spheres(rev # 17) | history )
  by Ali Caglayan at January 19, 2019 at 12:54:53
• Formalized Homotopy Theory ( Formalized Homotopy Theory(rev # 11) | history )
  by Ali Caglayan at January 19, 2019 at 12:54:05
• empty
  by Ali Caglayan at January 19, 2019 at 12:45:28
• type ( type(rev # 4) | history )
  by Ali Caglayan at January 19, 2019 at 12:44:23
• type theory ( type theory(rev # 9) | history )
  by Ali Caglayan at January 19, 2019 at 12:43:59
• type theory ( type theory(rev # 8) | history )
  by Ali Caglayan at January 19, 2019 at 12:42:49
• HomePage ( HomePage(rev # 32) | history )
  by Ali Caglayan at January 19, 2019 at 12:40:25
• wedge sum ( wedge sum(rev # 5) | history )
  by Ali Caglayan at January 19, 2019 at 10:54:32
• wedge sum ( wedge sum(rev # 4) | history )
  by Ali Caglayan at January 19, 2019 at 10:54:06
• type family ( type family(rev # 9) | history )
  by Ali Caglayan at January 19, 2019 at 10:49:03
• H-space ( H-space(rev # 8) | history )
  by Ali Caglayan at January 19, 2019 at 10:46:09
• type ( type(rev # 3) | history )
  by Ali Caglayan at January 19, 2019 at 10:26:52
• type theory ( type theory(rev # 7) | history )
  by Ali Caglayan at January 19, 2019 at 10:26:12
• function type ( function type(rev # 2) | history )
  by Ali Caglayan at January 19, 2019 at 10:22:54
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 12) | history )
  by Ali Caglayan at January 10, 2019 at 07:17:58
• Peter LeFanu Lumsdaine ( Peter LeFanu Lumsdaine(rev # 3) | history )
  by Ali Caglayan at January 1, 2019 at 21:09:51
• hopf fibration ( hopf fibration(rev # 7) | history )
  by Ali Caglayan at January 1, 2019 at 21:08:54
• H-space ( H-space(rev # 7) | history )
  by Ali Caglayan at January 1, 2019 at 20:51:23
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 11) | history )
  by Ali Caglayan at December 25, 2018 at 07:15:42
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 10) | history )
  by Ali Caglayan at December 24, 2018 at 18:44:09
• Events ( Events(rev # 8) | history )
  by Ali Caglayan at December 21, 2018 at 12:36:55
• Events ( Events(rev # 7) | history )
  by Ulrik Buchholtz at December 21, 2018 at 09:35:57
• Events ( Events(rev # 6) | history )
  by David Corfield? at December 21, 2018 at 08:51:01
• Events ( Events(rev # 5) | history )
  by Bas Spitters at December 21, 2018 at 08:37:43
• cohomology ( cohomology(rev # 4) | history )
  by Ali Caglayan at December 18, 2018 at 08:35:00
• spectrum ( spectrum(rev # 3) | history )
  by Ali Caglayan at December 18, 2018 at 08:11:00
• spectrum ( spectrum(rev # 1) | history )
  by Ali Caglayan at December 17, 2018 at 19:42:21
• spectrum ( spectrum(rev # 2) | history )
  by Ali Caglayan at December 17, 2018 at 19:40:51
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 9) | history )
  by Tim Porter? at December 10, 2018 at 07:47:37
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 8) | history )
  by Ali Caglayan at December 7, 2018 at 13:37:28
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 7) | history )
  by Ali Caglayan at December 7, 2018 at 11:04:32
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 6) | history )
  by Urs Schreiber at December 7, 2018 at 09:50:30
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 5) | history )
  by Ali Caglayan at December 7, 2018 at 09:37:16
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 4) | history )
  by Urs Schreiber at December 7, 2018 at 09:12:14
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 3) | history )
  by Ali Caglayan at December 7, 2018 at 07:00:16
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 2) | history )
  by Urs Schreiber at December 7, 2018 at 02:16:12
• Eric Finster, Towards Higher Universal Algebra in Type Theory ( Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 1) | history )
  by Ali Caglayan at December 6, 2018 at 18:15:30
• open problems ( open problems(rev # 44) | history )
  by Ali Caglayan at December 6, 2018 at 17:29:31
• References ( References(rev # 63) | history )
  by Mike Shulman at November 1, 2018 at 13:48:34
• Vladimir Voevodsky ( Vladimir Voevodsky(rev # 2) | history )
  by Ali Caglayan at October 19, 2018 at 06:59:07
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 19) | history )
  by Ali Caglayan at October 19, 2018 at 06:52:12
• open problems ( open problems(rev # 43) | history )
  by Ali Caglayan at October 18, 2018 at 12:18:57
• cohomology ( cohomology(rev # 3) | history )
  by Ali Caglayan at October 18, 2018 at 08:03:55
• homotopy groups of spheres ( homotopy groups of spheres(rev # 16) | history )
  by Alexis Hazell? at October 18, 2018 at 07:50:01
• spectral sequence ( spectral sequence(rev # 12) | history )
  by Ali Caglayan at October 18, 2018 at 06:22:24
• homotopy groups of spheres ( homotopy groups of spheres(rev # 15) | history )
  by Alexis Hazell? at October 18, 2018 at 05:45:04
• homotopy groups of spheres ( homotopy groups of spheres(rev # 14) | history )
  by Richard Williamson? at October 18, 2018 at 05:24:10
• homotopy groups of spheres ( homotopy groups of spheres(rev # 13) | history )
  by Alexis Hazell? at October 18, 2018 at 05:09:03
• cohomology ( cohomology(rev # 2) | history )
  by Ali Caglayan at October 18, 2018 at 03:33:59
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 18) | history )
  by Ali Caglayan at October 17, 2018 at 11:17:14
• Álvaro Pelayo ( Álvaro Pelayo(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:13:02
• Ulrik Buchholtz ( Ulrik Buchholtz(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:12:37
• Toby Bartels ( Toby Bartels(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 11:12:18
• Thorsten Altenkirch ( Thorsten Altenkirch(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:12:03