Homotopy Type Theory Latest Revisions

• Topology > history ( Topology > history(rev # 10) | history )
  by Anonymous? at June 10, 2022 at 08:15:23
• Topology > history ( Topology > history(rev # 9) | history )
  by Anonymous? at June 10, 2022 at 07:21:44
• extended Dedekind cut > history ( extended Dedekind cut > history(rev # 1) | history )
  by Anonymous? at June 10, 2022 at 07:18:27
• Dedekind real unit interval > history ( Dedekind real unit interval > history(rev # 1) | history )
  by Anonymous? at June 10, 2022 at 07:14:25
• Analysis > history ( Analysis > history(rev # 32) | history )
  by Anonymous? at June 10, 2022 at 00:07:38
• real numbers > history ( real numbers > history(rev # 16) | history )
  by Anonymous? at June 10, 2022 at 00:06:42
• Order theory > history ( Order theory > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 00:05:16
• Discrete mathematics > history ( Discrete mathematics > history(rev # 31) | history )
  by Anonymous? at June 9, 2022 at 23:31:40
• Analysis > history ( Analysis > history(rev # 31) | history )
  by Anonymous? at June 9, 2022 at 23:31:18
• dyadic interval coalgebra > history ( dyadic interval coalgebra > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 23:30:48
• rational interval coalgebra > history ( rational interval coalgebra > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 23:29:38
• decimal interval coalgebra > history ( decimal interval coalgebra > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 23:26:22
• Topology > history ( Topology > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 23:19:37
• Dedekind cut structure > history ( Dedekind cut structure > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 23:09:25
• Dedekind complete Archimedean ordered field > history ( Dedekind complete Archimedean ordered field > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 22:02:14
• sequentially Hausdorff space > history ( sequentially Hausdorff space > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 21:50:02
• Discrete mathematics > history ( Discrete mathematics > history(rev # 30) | history )
  by Anonymous? at June 9, 2022 at 21:48:50
• Analysis > history ( Analysis > history(rev # 30) | history )
  by Anonymous? at June 9, 2022 at 21:48:25
• net > history ( net > history(rev # 12) | history )
  by Anonymous? at June 9, 2022 at 21:47:49
• preconvergence space > history ( preconvergence space > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 21:45:48
• limit of a net > history ( limit of a net > history(rev # 17) | history )
  by Anonymous? at June 9, 2022 at 21:44:40
• Hausdorff space > history ( Hausdorff space > history(rev # 10) | history )
  by Anonymous? at June 9, 2022 at 21:41:50
• Hausdorff ring > history ( Hausdorff ring > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 21:40:14
• directed type > history ( directed type > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 21:38:18
• limit of a sequence > history ( limit of a sequence > history(rev # 1) | history )
  by Anonymous? at June 9, 2022 at 21:35:58
• sequential convergence space > history ( sequential convergence space > history(rev # 1) | history )
  by Anonymous? at June 9, 2022 at 21:31:45
• uniformly continuous function > history ( uniformly continuous function > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 21:28:44
• real numbers > history ( real numbers > history(rev # 15) | history )
  by Anonymous? at June 9, 2022 at 21:22:42
• HoTT book real numbers > history ( HoTT book real numbers > history(rev # 13) | history )
  by Anonymous? at June 9, 2022 at 21:11:44
• sequentially Cauchy complete Archimedean ordered field > history ( sequentially Cauchy complete Archimedean ordered field > history(rev # 1) | history )
  by Anonymous? at June 9, 2022 at 21:11:09
• Cauchy sequence > history ( Cauchy sequence > history(rev # 1) | history )
  by Anonymous? at June 9, 2022 at 21:07:52
• Discrete mathematics > history ( Discrete mathematics > history(rev # 29) | history )
  by Anonymous? at June 9, 2022 at 20:54:23
• Cauchy real numbers (disambiguation) > history ( Cauchy real numbers (disambiguation) > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 20:53:25
• Cauchy complete Archimedean ordered field > history ( Cauchy complete Archimedean ordered field > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 20:51:12
• Cauchy net > history ( Cauchy net > history(rev # 14) | history )
  by Anonymous? at June 9, 2022 at 20:49:54
• premetric space > history ( premetric space > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 20:47:24
• Cauchy structure > history ( Cauchy structure > history(rev # 14) | history )
  by Anonymous? at June 9, 2022 at 20:43:11
• modulus of Cauchy convergence > history ( modulus of Cauchy convergence > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 20:40:48
• Cauchy approximation > history ( Cauchy approximation > history(rev # 13) | history )
  by Anonymous? at June 9, 2022 at 20:38:37
• Eudoxus real numbers > history ( Eudoxus real numbers > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 20:24:37
• infinite decimal representation of a unit interval > history ( infinite decimal representation of a unit interval > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 20:17:12
• pre-algebra real numbers > history ( pre-algebra real numbers > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 20:11:43
• modulated Cauchy real numbers > history ( modulated Cauchy real numbers > history(rev # 12) | history )
  by Anonymous? at June 9, 2022 at 20:07:56
• generalized Cauchy real numbers > history ( generalized Cauchy real numbers > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 19:58:11
• univalent universe > history ( univalent universe > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 19:51:39
• Order theory > history ( Order theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 19:50:49
• filter > history ( filter > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 19:50:38
• lower type > history ( lower type > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:46:01
• upper type > history ( upper type > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 19:44:51
• monotonic function > history ( monotonic function > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:38:09
• antitonic function > history ( antitonic function > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:36:29
• opposite preorder > history ( opposite preorder > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:34:00
• Heyting algebra > history ( Heyting algebra > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:23:54
• directed-complete poset > history ( directed-complete poset > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 19:21:09
• enriched poset > history ( enriched poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:20:47
• omega-complete poset > history ( omega-complete poset > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 19:16:03
• Analysis > history ( Analysis > history(rev # 29) | history )
  by Anonymous? at June 9, 2022 at 19:09:46
• partial function classifier > history ( partial function classifier > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 19:09:19
• Sierpinski space > history ( Sierpinski space > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 19:04:24
• universe > history ( universe > history(rev # 26) | history )
  by Anonymous? at June 9, 2022 at 17:17:05
• type > history ( type > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 17:07:19
• univalent universe > history ( univalent universe > history(rev # 10) | history )
  by Anonymous? at June 9, 2022 at 17:00:03
• function type > history ( function type > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 16:46:39
• dependent type > history ( dependent type > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 16:44:18
• type theory > history ( type theory > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 16:41:46
• Book HoTT > history ( Book HoTT > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 16:38:13
• function extensionality > history ( function extensionality > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 16:35:15
• axioms > history ( axioms > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 16:33:36
• homotopy > history ( homotopy > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 16:31:19
• Logic > history ( Logic > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 15:50:26
• inductive-inductive type > history ( inductive-inductive type > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 15:46:03
• HomePage ( HomePage(rev # 59) | history )
  by Anonymous? at June 9, 2022 at 15:36:55
• Large types > history ( Large types > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 15:36:44
• realizability > history ( realizability > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 15:05:46
• topos > history ( topos > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 14:58:51
• Uniqueness of Identity Proofs > history ( Uniqueness of Identity Proofs > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 14:49:59
• HomePage ( HomePage(rev # 58) | history )
  by Anonymous? at June 9, 2022 at 14:34:28
• Calculating the fundamental group of the circle in homotopy type theory > history ( Calculating the fundamental group of the circle in homotopy type theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 14:34:08
• References > history ( References > history(rev # 80) | history )
  by Anonymous? at June 9, 2022 at 14:33:45
• Eilenberg-MacLane Spaces in Homotopy Type Theory > history ( Eilenberg-MacLane Spaces in Homotopy Type Theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 14:32:43
• A Cubical Approach to Synthetic Homotopy Theory > history ( A Cubical Approach to Synthetic Homotopy Theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 14:26:48
• A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory > history ( A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 14:05:29
• Synthetic Cohomology in Homotopy Type Theory > history ( Synthetic Cohomology in Homotopy Type Theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 13:58:16
• On the homotopy groups of spheres in homotopy type theory > history ( On the homotopy groups of spheres in homotopy type theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 13:56:22
• Higher-Dimensional Types in the Mechanization of Homotopy Theory > history ( Higher-Dimensional Types in the Mechanization of Homotopy Theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 13:52:34
• The real projective spaces in homotopy type theory > history ( The real projective spaces in homotopy type theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 13:44:44
• Homotopy limits in type theory > history ( Homotopy limits in type theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 13:37:57
• πn(Sn) in Homotopy Type Theory > history ( πn(Sn) in Homotopy Type Theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 13:37:04
• Calculating the fundamental group of the circle in homotopy type theory > history ( Calculating the fundamental group of the circle in homotopy type theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 13:35:08
• Covering Spaces in Homotopy Type Theory > history ( Covering Spaces in Homotopy Type Theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 13:33:14
• References > history ( References > history(rev # 79) | history )
  by Anonymous? at June 9, 2022 at 12:57:44
• Higher Groups in Homotopy Type Theory > history ( Higher Groups in Homotopy Type Theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 12:57:36
• On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history ( On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 12:48:55
• Cellular Cohomology in Homotopy Type Theory > history ( Cellular Cohomology in Homotopy Type Theory > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 12:46:11
• The join construction > history ( The join construction > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 12:42:26
• Univalent categories and the Rezk completion > history ( Univalent categories and the Rezk completion > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 12:27:24
• Carlo Angiuli > history ( Carlo Angiuli > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 12:11:37
• Localization in Homotopy Type Theory > history ( Localization in Homotopy Type Theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 12:06:51
• Modalities in homotopy type theory > history ( Modalities in homotopy type theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 12:04:23
• Higher algebra > history ( Higher algebra > history(rev # 34) | history )
  by Anonymous? at June 9, 2022 at 11:11:17