Homotopy Type Theory Latest Revisions

• equivalence > history ( equivalence > history(rev # 9) | history )
  by Anonymous? at June 17, 2022 at 22:05:42
• monic function > history ( monic function > history(rev # 10) | history )
  by Anonymous? at June 17, 2022 at 21:58:07
• effective epic function > history ( effective epic function > history(rev # 6) | history )
  by Anonymous? at June 17, 2022 at 21:50:44
• HomePage ( HomePage(rev # 68) | history )
  by Anonymous? at June 17, 2022 at 21:27:53
• Algebra > history ( Algebra > history(rev # 38) | history )
  by Anonymous? at June 17, 2022 at 21:27:33
• Discrete mathematics > history ( Discrete mathematics > history(rev # 46) | history )
  by Anonymous? at June 17, 2022 at 21:27:07
• abelian group > history ( abelian group > history(rev # 17) | history )
  by Anonymous? at June 17, 2022 at 21:25:25
• Rational homotopy theory > history ( Rational homotopy theory > history(rev # 3) | history )
  by Anonymous? at June 17, 2022 at 21:18:17
• rational homotopy type > history ( rational homotopy type > history(rev # 6) | history )
  by Anonymous? at June 17, 2022 at 21:17:21
• rationalization of a simply connected type > history ( rationalization of a simply connected type > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 21:16:34
• rationalization of an abelian group > history ( rationalization of an abelian group > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 21:11:24
• Algebra > history ( Algebra > history(rev # 37) | history )
  by Anonymous? at June 17, 2022 at 20:53:14
• divisible group > history ( divisible group > history(rev # 7) | history )
  by Anonymous? at June 17, 2022 at 20:52:52
• torsion-free divisible group > history ( torsion-free divisible group > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 20:48:21
• rational homotopy type > history ( rational homotopy type > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 20:39:15
• abelian group homomorphism > history ( abelian group homomorphism > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 20:38:06
• bilinear function > history ( bilinear function > history(rev # 6) | history )
  by Anonymous? at June 17, 2022 at 20:35:01
• ring > history ( ring > history(rev # 12) | history )
  by Anonymous? at June 17, 2022 at 20:33:17
• commutative ring > history ( commutative ring > history(rev # 12) | history )
  by Anonymous? at June 17, 2022 at 20:31:11
• univariate polynomial ring > history ( univariate polynomial ring > history(rev # 6) | history )
  by Anonymous? at June 17, 2022 at 20:29:23
• finite type > history ( finite type > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 19:25:06
• Discrete mathematics > history ( Discrete mathematics > history(rev # 45) | history )
  by Anonymous? at June 17, 2022 at 18:59:21
• Algebra > history ( Algebra > history(rev # 36) | history )
  by Anonymous? at June 17, 2022 at 18:59:00
• sequence > history ( sequence > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 18:58:47
• left shift operator > history ( left shift operator > history(rev # 3) | history )
  by Anonymous? at June 17, 2022 at 18:57:50
• right shift operator > history ( right shift operator > history(rev # 3) | history )
  by Anonymous? at June 17, 2022 at 18:57:07
• series operator > history ( series operator > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 18:55:58
• inverse series operator > history ( inverse series operator > history(rev # 3) | history )
  by Anonymous? at June 17, 2022 at 18:55:10
• sequential derivative > history ( sequential derivative > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 18:50:54
• sequential antiderivative > history ( sequential antiderivative > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 18:49:45
• sequential polynomial > history ( sequential polynomial > history(rev # 3) | history )
  by Anonymous? at June 17, 2022 at 18:48:38
• HomePage ( HomePage(rev # 67) | history )
  by Anonymous? at June 17, 2022 at 18:37:07
• Analysis > history ( Analysis > history(rev # 44) | history )
  by Anonymous? at June 17, 2022 at 18:36:49
• limit of a sequence > history ( limit of a sequence > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 18:35:25
• Cauchy sequence > history ( Cauchy sequence > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 18:33:47
• natural numbers > history ( natural numbers > history(rev # 6) | history )
  by Anonymous? at June 17, 2022 at 18:29:42
• Number theory > history ( Number theory > history(rev # 16) | history )
  by Anonymous? at June 17, 2022 at 18:22:51
• Algebra > history ( Algebra > history(rev # 35) | history )
  by Anonymous? at June 17, 2022 at 18:16:53
• integers > history ( integers > history(rev # 18) | history )
  by Anonymous? at June 17, 2022 at 18:15:40
• Analysis > history ( Analysis > history(rev # 43) | history )
  by Anonymous? at June 17, 2022 at 17:41:03
• Algebra > history ( Algebra > history(rev # 34) | history )
  by Anonymous? at June 17, 2022 at 17:27:53
• Number theory > history ( Number theory > history(rev # 15) | history )
  by Anonymous? at June 17, 2022 at 17:27:11
• rational numbers > history ( rational numbers > history(rev # 22) | history )
  by Anonymous? at June 17, 2022 at 17:27:02
• rational root theorem > history ( rational root theorem > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 17:22:08
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 9) | history )
  by Anonymous? at June 17, 2022 at 17:11:18
• polynomial ring > history ( polynomial ring > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 16:59:13
• polynomial ring > history ( polynomial ring > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 14:17:37
• Algebra > history ( Algebra > history(rev # 33) | history )
  by Anonymous? at June 17, 2022 at 14:13:12
• commutative algebra (ring theory) > history ( commutative algebra (ring theory) > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 14:12:27
• algebra (ring theory) > history ( algebra (ring theory) > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 14:09:19
• Q-algebra > history ( Q-algebra > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 13:51:41
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 8) | history )
  by Anonymous? at June 17, 2022 at 13:42:39
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 7) | history )
  by Anonymous? at June 17, 2022 at 12:46:20
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 6) | history )
  by Anonymous? at June 17, 2022 at 03:49:57
• Algebra > history ( Algebra > history(rev # 32) | history )
  by Anonymous? at June 17, 2022 at 03:46:30
• strict order > history ( strict order > history(rev # 10) | history )
  by Anonymous? at June 17, 2022 at 03:46:21
• Algebra > history ( Algebra > history(rev # 31) | history )
  by Anonymous? at June 16, 2022 at 22:49:30
• commutative ring > history ( commutative ring > history(rev # 11) | history )
  by Anonymous? at June 16, 2022 at 22:46:11
• ordered integral domain > history ( ordered integral domain > history(rev # 8) | history )
  by Anonymous? at June 16, 2022 at 22:45:28
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 5) | history )
  by Anonymous? at June 16, 2022 at 22:42:43
• ordered abelian group > history ( ordered abelian group > history(rev # 6) | history )
  by Anonymous? at June 16, 2022 at 22:40:15
• Number theory > history ( Number theory > history(rev # 14) | history )
  by Anonymous? at June 16, 2022 at 20:03:05
• Algebra > history ( Algebra > history(rev # 30) | history )
  by Anonymous? at June 16, 2022 at 20:02:50
• ordered abelian group > history ( ordered abelian group > history(rev # 5) | history )
  by Anonymous? at June 16, 2022 at 20:02:35
• ordered integral domain > history ( ordered integral domain > history(rev # 7) | history )
  by Anonymous? at June 16, 2022 at 20:02:21
• Archimedean ordered abelian group > history ( Archimedean ordered abelian group > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 20:01:38
• Archimedean ordered integral domain > history ( Archimedean ordered integral domain > history(rev # 8) | history )
  by Anonymous? at June 16, 2022 at 19:58:09
• ordered abelian group > history ( ordered abelian group > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 18:53:23
• Algebra > history ( Algebra > history(rev # 29) | history )
  by Anonymous? at June 16, 2022 at 18:51:41
• Archimedean ordered integral domain > history ( Archimedean ordered integral domain > history(rev # 7) | history )
  by Anonymous? at June 16, 2022 at 18:49:52
• ordered field > history ( ordered field > history(rev # 5) | history )
  by Anonymous? at June 16, 2022 at 18:43:54
• ordered integral domain > history ( ordered integral domain > history(rev # 6) | history )
  by Anonymous? at June 16, 2022 at 18:41:57
• Archimedean ordered field > history ( Archimedean ordered field > history(rev # 9) | history )
  by Anonymous? at June 16, 2022 at 18:40:55
• Cauchy sequence > history ( Cauchy sequence > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 18:35:50
• Analysis > history ( Analysis > history(rev # 42) | history )
  by Anonymous? at June 16, 2022 at 18:35:24
• sequentially Cauchy complete Archimedean ordered field > history ( sequentially Cauchy complete Archimedean ordered field > history(rev # 3) | history )
  by Anonymous? at June 16, 2022 at 18:34:23
• UMyn8W7b ( UMyn8W7b(rev # 66) | history )
  by Anonymous? at June 16, 2022 at 18:28:57
• HoTT book > history ( HoTT book > history(rev # 8) | history )
  by Anonymous? at June 16, 2022 at 18:16:21
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 18:02:57
• rational numbers > history ( rational numbers > history(rev # 21) | history )
  by Anonymous? at June 16, 2022 at 17:10:39
• Algebra > history ( Algebra > history(rev # 28) | history )
  by Anonymous? at June 16, 2022 at 16:56:59
• commutative ring > history ( commutative ring > history(rev # 10) | history )
  by Anonymous? at June 16, 2022 at 16:55:15
• type > history ( type > history(rev # 13) | history )
  by Anonymous? at June 16, 2022 at 16:37:42
• image > history ( image > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 14:23:53
• Algebra > history ( Algebra > history(rev # 27) | history )
  by Anonymous? at June 16, 2022 at 14:20:53
• axiom of replacement > history ( axiom of replacement > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 13:59:01
• locally small type > history ( locally small type > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 13:58:27
• essentially small type > history ( essentially small type > history(rev # 4) | history )
  by Anonymous? at June 16, 2022 at 13:57:37
• essentially small type > history ( essentially small type > history(rev # 3) | history )
  by Anonymous? at June 16, 2022 at 13:15:35
• axiom of replacement > history ( axiom of replacement > history(rev # 3) | history )
  by Anonymous? at June 16, 2022 at 13:14:45
• universe > history ( universe > history(rev # 28) | history )
  by Anonymous? at June 16, 2022 at 12:26:39
• abelian group > history ( abelian group > history(rev # 16) | history )
  by Anonymous? at June 16, 2022 at 12:05:41
• set > history ( set > history(rev # 9) | history )
  by Anonymous? at June 16, 2022 at 12:03:32
• proposition > history ( proposition > history(rev # 6) | history )
  by Anonymous? at June 16, 2022 at 12:01:58
• cone type > history ( cone type > history(rev # 3) | history )
  by Anonymous? at June 16, 2022 at 11:59:28
• contractible type > history ( contractible type > history(rev # 6) | history )
  by Anonymous? at June 16, 2022 at 11:52:17
• empty type > history ( empty type > history(rev # 3) | history )
  by Anonymous? at June 16, 2022 at 11:42:44
• locally small type > history ( locally small type > history(rev # 3) | history )
  by Anonymous? at June 16, 2022 at 10:08:38
• Discrete mathematics > history ( Discrete mathematics > history(rev # 44) | history )
  by Anonymous? at June 16, 2022 at 03:27:05
• Algebra > history ( Algebra > history(rev # 26) | history )
  by Anonymous? at June 16, 2022 at 03:26:57