Homotopy Type Theory
Latest Revisions

• 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 ( On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory(rev # 1) | history )
  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 space ( Eilenberg-MacLane space(rev # 1) | history )
  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 ( function type(rev # 1) | history )
  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
• isomorphism in a precategory ( isomorphism in a precategory(rev # 8) | history )
  by Ali Caglayan at October 11, 2018 at 06:17:14
• Univalent categories and the Rezk completion ( Univalent categories and the Rezk completion(rev # 1) | history )
  by Ali Caglayan at October 11, 2018 at 06:13:36
• algebraic formulation of dependent type theory ( algebraic formulation of dependent type theory(rev # 4) | history )
  by David Roberts at October 11, 2018 at 04:34:54
• Paige North ( Paige North(rev # 2) | history )
  by Ali Caglayan at October 11, 2018 at 03:43:55
• univalence axiom ( univalence axiom(rev # 8) | history )
  by Ali Caglayan at October 11, 2018 at 03:43:10
• homotopy ( homotopy(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 19:57:50
• equivalence
  by Ali Caglayan at October 10, 2018 at 19:34:59
• localization ( localization(rev # 6) | history )
  by Ali Caglayan at October 10, 2018 at 19:21:02
• Modalities in homotopy type theory ( Modalities in homotopy type theory(rev # 2) | history )
  by Ali Caglayan at October 10, 2018 at 19:13:43
• Localization in Homotopy Type Theory ( Localization in Homotopy Type Theory(rev # 2) | history )
  by Ali Caglayan at October 10, 2018 at 19:10:40
• pointed type ( pointed type(rev # 2) | history )
  by Ali Caglayan at October 10, 2018 at 19:09:25
• Localization in Homotopy Type Theory ( Localization in Homotopy Type Theory(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 18:38:31
• localization ( localization(rev # 5) | history )
  by Ali Caglayan at October 10, 2018 at 18:30:00
• Modalities in homotopy type theory ( Modalities in homotopy type theory(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 18:27:53
• Taichi Uemura ( Taichi Uemura(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 15:06:49
• Peter Arndt ( Peter Arndt(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 15:06:08
• Morgan Opie ( Morgan Opie(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 15:05:10
• References ( References(rev # 61) | history )
  by Ali Caglayan at October 10, 2018 at 15:04:13
• Andrea Vezzosi ( Andrea Vezzosi(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 15:03:35
• Stuart Presnell ( Stuart Presnell(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 15:01:27
• James Ladyman ( James Ladyman(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 15:00:34
• Luis Scoccola ( Luis Scoccola(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:58:09
• Pieter Hofstra ( Pieter Hofstra(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:57:25
• Thorsten Altenkirch ( Thorsten Altenkirch(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:55:34
• Ali Caglayan ( Ali Caglayan(rev # 4) | history )
  by Ali Caglayan at October 10, 2018 at 14:54:27
• Dimitris Tsementzis ( Dimitris Tsementzis(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:53:47
• Ian Orton ( Ian Orton(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:52:36
• Andrew M. Pitts ( Andrew M. Pitts(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:51:58
• Matthieu Sozeau ( Matthieu Sozeau(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:51:00
• Andrej Bauer ( Andrej Bauer(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:50:15
• Jason Gross ( Jason Gross(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:49:41
• Jeremy Avigad ( Jeremy Avigad(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:48:19
• Simon Huber ( Simon Huber(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:47:07
• Anders Mörtberg ( Anders Mörtberg(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:46:08
• Kristina Sojakova ( Kristina Sojakova(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:44:58
• Martín Escardó ( Martín Escardó(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:43:20
• Evan Cavallo ( Evan Cavallo(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:41:58
• Anthony Bordg ( Anthony Bordg(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:40:52
• Álvaro Pelayo ( Álvaro Pelayo(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:40:02
• Michael Warren ( Michael Warren(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:33:03
• Peter LeFanu Lumsdaine ( Peter LeFanu Lumsdaine(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:32:13
• Robert Harper ( Robert Harper(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:30:56
• Benedikt Ahrens ( Benedikt Ahrens(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:30:14
• Paige North ( Paige North(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:29:25
• Benno van den Berg ( Benno van den Berg(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:28:23
• Paolo Capriotti ( Paolo Capriotti(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:27:39
• Nicola Gambino ( Nicola Gambino(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:22:12
• Steve Awodey ( Steve Awodey(rev # 2) | history )
  by Ali Caglayan at October 10, 2018 at 14:21:54
• Chris Kapulkin ( Chris Kapulkin(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:17:46
• Nicolai Kraus ( Nicolai Kraus(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:15:34
• Daniel Christensen ( Daniel Christensen(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:14:49
• Thierry Coquand ( Thierry Coquand(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:13:26
• Emily Riehl ( Emily Riehl(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 14:12:44
• Egbert Rijke ( Egbert Rijke(rev # 2) | history )
  by Ali Caglayan at October 10, 2018 at 13:53:38
• Richard Garner ( Richard Garner(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 13:50:31
• Vladimir Voevodsky ( Vladimir Voevodsky(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 13:47:43
• Eric Finster ( Eric Finster(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 13:42:34
• References ( References(rev # 60) | history )
  by Ali Caglayan at October 10, 2018 at 13:41:29
• Ulrik Buchholtz ( Ulrik Buchholtz(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 13:34:45
• Egbert Rijke ( Egbert Rijke(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:38:49
• Kuen-Bang Hou (Favonia) ( Kuen-Bang Hou (Favonia)(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:35:40
• References ( References(rev # 59) | history )
  by Ali Caglayan at October 10, 2018 at 12:34:20
• Michael Shulman ( Michael Shulman(rev # 3) | history )
  by Ali Caglayan at October 10, 2018 at 12:27:56
• Dan Licata ( Dan Licata(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:19:42
• Guillaume Brunerie ( Guillaume Brunerie(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:19:17
• Eilenberg-MacLane Spaces in Homotopy Type Theory ( Eilenberg-MacLane Spaces in Homotopy Type Theory(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:10:48
• Calculating the fundamental group of the circle in homotopy type theory ( Calculating the fundamental group of the circle in homotopy type theory(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:09:33
• πn(Sn) in Homotopy Type Theory ( πn(Sn) in Homotopy Type Theory(rev # 1) | history )
  by Ali Caglayan at October 10, 2018 at 12:09:05