Homotopy Type Theory
Latest Revisions

• 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
• Covering Spaces in Homotopy Type Theory
  by Ali Caglayan at October 17, 2018 at 10:38:37
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 16) | history )
  by Ali Caglayan at October 17, 2018 at 09:40:20
• spectral sequence ( spectral sequence(rev # 11) | history )
  by Ali Caglayan at October 17, 2018 at 09:36:07
• cohomology ( cohomology(rev # 1) | history )
  by Ali Caglayan at October 17, 2018 at 05:36:32
• On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory
  by Ali Caglayan at October 17, 2018 at 05:34:46
• Ed Morehouse ( Ed Morehouse(rev # 1) | history )
  by Ali Caglayan at October 16, 2018 at 12:31:36
• References ( References(rev # 62) | history )
  by Ali Caglayan at October 14, 2018 at 13:24:13
• The real projective spaces in homotopy type theory
  by Ali Caglayan at October 14, 2018 at 13:12:31
• πn(Sn) in Homotopy Type Theory ( πn(Sn) in Homotopy Type Theory(rev # 2) | history )
  by Ali Caglayan at October 14, 2018 at 13:00:12
• Synthetic Cohomology in Homotopy Type Theory ( Synthetic Cohomology in Homotopy Type Theory(rev # 2) | history )
  by Ali Caglayan at October 14, 2018 at 13:00:08
• On the homotopy groups of spheres in homotopy type theory
  by Ali Caglayan at October 14, 2018 at 13:00:03
• Homotopy limits in type theory ( Homotopy limits in type theory(rev # 2) | history )
  by Ali Caglayan at October 14, 2018 at 12:59:58
• Calculating the fundamental group of the circle in homotopy type theory ( Calculating the fundamental group of the circle in homotopy type theory(rev # 2) | history )
  by Ali Caglayan at October 14, 2018 at 12:59:53
• Synthetic Cohomology in Homotopy Type Theory ( Synthetic Cohomology in Homotopy Type Theory(rev # 1) | history )
  by Anonymous? at October 14, 2018 at 12:41:28
• smash product ( smash product(rev # 5) | history )
  by Ali Caglayan at October 14, 2018 at 09:27:02
• Synthetic homotopy theory ( Synthetic homotopy theory(rev # 15) | history )
  by Ali Caglayan at October 12, 2018 at 11:02:16
• Eilenberg-MacLane spaces
  by Ali Caglayan at October 12, 2018 at 10:54:21
• Eilenberg-MacLane Spaces in Homotopy Type Theory ( Eilenberg-MacLane Spaces in Homotopy Type Theory(rev # 3) | history )
  by Ali Caglayan at October 12, 2018 at 10:31:26
• Eilenberg-MacLane Spaces in Homotopy Type Theory ( Eilenberg-MacLane Spaces in Homotopy Type Theory(rev # 2) | history )
  by Ali Caglayan at October 12, 2018 at 03:47:14
• identity type ( identity type(rev # 5) | history )
  by Ali Caglayan at October 11, 2018 at 08:59:46
• function extensionality
  by Ali Caglayan at October 11, 2018 at 08:59:03
• homotopy ( homotopy(rev # 2) | history )
  by Ali Caglayan at October 11, 2018 at 08:58:44
• function type
  by Ali Caglayan at October 11, 2018 at 08:50:29
• functor ( functor(rev # 9) | history )
  by Ali Caglayan at October 11, 2018 at 06:38:46
• split essentially surjective ( split essentially surjective(rev # 2) | history )
  by Ali Caglayan at October 11, 2018 at 06:32:37
• left adjoint ( left adjoint(rev # 5) | history )
  by Ali Caglayan at October 11, 2018 at 06:32:21
• weak equivalence of precategories ( weak equivalence of precategories(rev # 2) | history )
  by Ali Caglayan at October 11, 2018 at 06:31:32
• category ( category(rev # 7) | history )
  by Ali Caglayan at October 11, 2018 at 06:31:20
• representable functor ( representable functor(rev # 2) | history )
  by Ali Caglayan at October 11, 2018 at 06:29:57
• Category theory ( Category theory(rev # 13) | history )
  by Ali Caglayan at October 11, 2018 at 06:28:10
• Rezk completion ( Rezk completion(rev # 6) | history )
  by Ali Caglayan at October 11, 2018 at 06:26:50
• isomorphism in a precategory ( isomorphism in a precategory(rev # 7) | history )
  by Ali Caglayan at October 11, 2018 at 06:19:19