Homotopy Type Theory
Latest Revisions

• 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
• Thierry Coquand ( Thierry Coquand(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:11:47
• Taichi Uemura ( Taichi Uemura(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:11:33
• Stuart Presnell ( Stuart Presnell(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:11:16
• Steve Awodey ( Steve Awodey(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 11:10:58
• Simon Huber ( Simon Huber(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:10:42
• Robert Harper ( Robert Harper(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:10:31
• Richard Garner ( Richard Garner(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:10:21
• Pieter Hofstra ( Pieter Hofstra(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:10:06
• Peter LeFanu Lumsdaine ( Peter LeFanu Lumsdaine(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:09:46
• Peter Arndt ( Peter Arndt(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:09:28
• Per Martin-Löf ( Per Martin-Löf(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 11:09:03
• Paolo Capriotti ( Paolo Capriotti(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:07:52
• Paige North ( Paige North(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 11:07:36
• Nicolai Kraus ( Nicolai Kraus(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:07:24
• Nicola Gambino ( Nicola Gambino(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:07:05
• Morgan Opie ( Morgan Opie(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:06:51
• Michael Warren ( Michael Warren(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:06:36
• Michael Shulman ( Michael Shulman(rev # 4) | history )
  by Ali Caglayan at October 17, 2018 at 11:06:13
• Matthieu Sozeau ( Matthieu Sozeau(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:04:35
• Martín Escardó ( Martín Escardó(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:04:10
• Luis Scoccola ( Luis Scoccola(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:03:37
• Kuen-Bang Hou (Favonia) ( Kuen-Bang Hou (Favonia)(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:02:38
• Kristina Sojakova ( Kristina Sojakova(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:02:26
• Jeremy Avigad ( Jeremy Avigad(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:01:56
• Jason Gross ( Jason Gross(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:01:40
• Jason Gross ( Jason Gross(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 11:01:40
• James Ladyman ( James Ladyman(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:01:29
• Ian Orton ( Ian Orton(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:01:15
• Guillaume Brunerie ( Guillaume Brunerie(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:00:49
• Floris van Doorn ( Floris van Doorn(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 11:00:14
• Evan Cavallo ( Evan Cavallo(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:59:40
• Eric Finster ( Eric Finster(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:59:16
• Emily Riehl ( Emily Riehl(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:59:02
• Egbert Rijke ( Egbert Rijke(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 10:58:47
• Ed Morehouse ( Ed Morehouse(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:58:32
• Dimitris Tsementzis ( Dimitris Tsementzis(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:58:00
• David Roberts ( David Roberts(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:57:24
• Daniel Christensen ( Daniel Christensen(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:57:13
• Dan Licata ( Dan Licata(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:56:59
• Dan Grayson ( Dan Grayson(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 10:56:45
• Chris Kapulkin ( Chris Kapulkin(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:56:32
• Carlo Angiuli ( Carlo Angiuli(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 10:55:41
• Benno van den Berg ( Benno van den Berg(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:55:09
• Benedikt Ahrens ( Benedikt Ahrens(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:54:54
• Bas Spitters ( Bas Spitters(rev # 3) | history )
  by Ali Caglayan at October 17, 2018 at 10:54:40
• Anthony Bordg ( Anthony Bordg(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:54:22
• Andrew M. Pitts ( Andrew M. Pitts(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:54:00
• Andrej Bauer ( Andrej Bauer(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:53:34
• Andrea Vezzosi ( Andrea Vezzosi(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:53:06
• Anders Mörtberg ( Anders Mörtberg(rev # 2) | history )
  by Ali Caglayan at October 17, 2018 at 10:52:30
• Ali Caglayan ( Ali Caglayan(rev # 5) | history )
  by Ali Caglayan at October 17, 2018 at 10:52:12
• homotopy groups of spheres ( homotopy groups of spheres(rev # 12) | history )
  by Ali Caglayan at October 17, 2018 at 10:47:52
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 17) | history )
  by Ali Caglayan at October 17, 2018 at 10:40:39