Homotopy Type Theory Latest Revisions

• sequentially Cauchy complete Archimedean ordered field > history ( sequentially Cauchy complete Archimedean ordered field > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 23:00:17
• sequential polynomial > history ( sequential polynomial > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 23:00:11
• sequential derivative > history ( sequential derivative > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 23:00:07
• sequential antiderivative > history ( sequential antiderivative > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:59:52
• sequence > history ( sequence > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:59:48
• UMyn8W7b ( UMyn8W7b(rev # 65) | history )
  by Anonymous? at June 15, 2022 at 22:59:36
• ring > history ( ring > history(rev # 11) | history )
  by Anonymous? at June 15, 2022 at 22:59:25
• right shift operator > history ( right shift operator > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:59:21
• relation > history ( relation > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 22:59:10
• reduction > history ( reduction > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:59:06
• rationalization of an abelian group > history ( rationalization of an abelian group > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:58:39
• rationalization of a simply connected type > history ( rationalization of a simply connected type > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:58:35
• rational root theorem > history ( rational root theorem > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:58:29
• rational numbers > history ( rational numbers > history(rev # 20) | history )
  by Anonymous? at June 15, 2022 at 22:58:25
• rational homotopy type > history ( rational homotopy type > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 22:58:19
• Rational homotopy theory > history ( Rational homotopy theory > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:58:13
• Q-algebra > history ( Q-algebra > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:57:54
• proposition > history ( proposition > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:57:48
• predicate > history ( predicate > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:57:23
• polynomial ring > history ( polynomial ring > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:57:17
• partial order > history ( partial order > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:57:04
• ordered integral domain > history ( ordered integral domain > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:56:54
• ordered field > history ( ordered field > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 22:56:49
• Number theory > history ( Number theory > history(rev # 13) | history )
  by Anonymous? at June 15, 2022 at 22:56:38
• natural numbers > history ( natural numbers > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:56:23
• monic function > history ( monic function > history(rev # 9) | history )
  by Anonymous? at June 15, 2022 at 22:56:16
• locally small type > history ( locally small type > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:55:34
• limit of a sequence > history ( limit of a sequence > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:55:28
• left shift operator > history ( left shift operator > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:55:21
• iterated inverse image > history ( iterated inverse image > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:54:59
• inverse series operator > history ( inverse series operator > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:54:48
• inverse image > history ( inverse image > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:54:43
• integers > history ( integers > history(rev # 17) | history )
  by Anonymous? at June 15, 2022 at 22:54:37
• infinitesimally thickened point > history ( infinitesimally thickened point > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:54:19
• infinitesimal shape > history ( infinitesimal shape > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:54:14
• infinitely iterated inverse image > history ( infinitely iterated inverse image > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:54:06
• image > history ( image > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:54:00
• HoTT Mini-Course > history ( HoTT Mini-Course > history(rev # 13) | history )
  by Anonymous? at June 15, 2022 at 22:53:39
• HomePage ( HomePage(rev # 65) | history )
  by Anonymous? at June 15, 2022 at 22:53:25
• higher observational type theory > history ( higher observational type theory > history(rev # 15) | history )
  by Anonymous? at June 15, 2022 at 22:53:16
• halving group > history ( halving group > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:53:02
• geometrically contractible space > history ( geometrically contractible space > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 22:52:52
• finite type > history ( finite type > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:52:31
• fiber > history ( fiber > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 22:52:25
• Events > history ( Events > history(rev # 27) | history )
  by Anonymous? at June 15, 2022 at 22:51:47
• essentially small type > history ( essentially small type > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:51:30
• equivalence > history ( equivalence > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 22:51:24
• empty type > history ( empty type > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:51:06
• effective epic function > history ( effective epic function > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:51:01
• DMV2015 > history ( DMV2015 > history(rev # 17) | history )
  by Anonymous? at June 15, 2022 at 22:50:34
• divisible group > history ( divisible group > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 22:50:27
• directed graph > history ( directed graph > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 22:50:07
• Differential geometry > history ( Differential geometry > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:50:00
• differential cohesive homotopy type theory > history ( differential cohesive homotopy type theory > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:49:55
• desired articles > history ( desired articles > history(rev # 37) | history )
  by Anonymous? at June 15, 2022 at 22:49:30
• definitional equality > history ( definitional equality > history(rev # 9) | history )
  by Anonymous? at June 15, 2022 at 22:49:24
• decidable universal quantifier > history ( decidable universal quantifier > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:48:35
• decidable subset > history ( decidable subset > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:48:13
• decidable strict order > history ( decidable strict order > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:48:07
• decidable setoid > history ( decidable setoid > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 22:48:00
• decidable set > history ( decidable set > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:47:54
• decidable preordered type > history ( decidable preordered type > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:47:47
• decidable open interval > history ( decidable open interval > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:47:42
• decidable existential quantifier > history ( decidable existential quantifier > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:47:35
• decidable directed graph > history ( decidable directed graph > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:47:30
• Discrete mathematics > history ( Discrete mathematics > history(rev # 42) | history )
  by Anonymous? at June 15, 2022 at 22:44:20
• cone type > history ( cone type > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:41:05
• homotopy level > history ( homotopy level > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:39:51
• contractible type > history ( contractible type > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:32:03
• compact connected space > history ( compact connected space > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 22:31:37
• commutative ring > history ( commutative ring > history(rev # 9) | history )
  by Anonymous? at June 15, 2022 at 22:31:31
• cohesive homotopy type theory > history ( cohesive homotopy type theory > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 22:31:10
• commutative algebra (ring theory) > history ( commutative algebra (ring theory) > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 22:31:02
• CMU local activities > history ( CMU local activities > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:30:56
• Cauchy sequence > history ( Cauchy sequence > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:30:38
• about > history ( about > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 22:30:18
• booleans > history ( booleans > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 22:29:31
• Bonn2018 > history ( Bonn2018 > history(rev # 12) | history )
  by Anonymous? at June 15, 2022 at 22:29:09
• bilinear function > history ( bilinear function > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 22:29:01
• axiom of replacement > history ( axiom of replacement > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:28:50
• Archimedean ordered integral domain > history ( Archimedean ordered integral domain > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 22:28:40
• Archimedean ordered field > history ( Archimedean ordered field > history(rev # 8) | history )
  by Anonymous? at June 15, 2022 at 22:28:35
• Archimedean ordered abelian group > history ( Archimedean ordered abelian group > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:28:30
• Analysis > history ( Analysis > history(rev # 40) | history )
  by Anonymous? at June 15, 2022 at 22:28:14
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:28:09
• Algebra > history ( Algebra > history(rev # 24) | history )
  by Anonymous? at June 15, 2022 at 22:28:04
• abelian group homomorphism > history ( abelian group homomorphism > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:27:39
• abelian group > history ( abelian group > history(rev # 15) | history )
  by Anonymous? at June 15, 2022 at 22:27:33
• set > history ( set > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 22:26:26
• groupoid > history ( groupoid > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 22:19:11
• groupoid enriched in monoids > history ( groupoid enriched in monoids > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 22:17:48
• limit of a sequence > history ( limit of a sequence > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 21:11:50
• Discrete mathematics > history ( Discrete mathematics > history(rev # 41) | history )
  by Anonymous? at June 15, 2022 at 21:11:04
• Analysis > history ( Analysis > history(rev # 39) | history )
  by Anonymous? at June 15, 2022 at 21:10:51
• sequentially Hausdorff space > history ( sequentially Hausdorff space > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 21:10:40
• sequential convergence space > history ( sequential convergence space > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 21:09:24
• monic function > history ( monic function > history(rev # 8) | history )
  by Anonymous? at June 15, 2022 at 20:57:48
• directed graph > history ( directed graph > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 20:56:06
• apartness relation > history ( apartness relation > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 20:55:51
• relation > history ( relation > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 20:54:15