Homotopy Type Theory Latest Revisions

• algebra (ring theory) > history ( algebra (ring theory) > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 16:09:16
• commutative algebra (ring theory) > history ( commutative algebra (ring theory) > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 16:08:55
• Algebra > history ( Algebra > history(rev # 12) | history )
  by Anonymous? at June 13, 2022 at 16:08:21
• algebra (module theory) > history ( algebra (module theory) > history(rev # 6) | history )
  by Anonymous? at June 13, 2022 at 16:08:08
• diagonal > history ( diagonal > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 15:44:39
• torsion-free divisible group > history ( torsion-free divisible group > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 15:42:58
• divisible group > history ( divisible group > history(rev # 4) | history )
  by Anonymous? at June 13, 2022 at 15:42:18
• torsion-free halving group > history ( torsion-free halving group > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 15:40:18
• cancellation Z-algebra > history ( cancellation Z-algebra > history(rev # 4) | history )
  by Anonymous? at June 13, 2022 at 15:38:11
• discrete cancellation Z-algebra > history ( discrete cancellation Z-algebra > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 15:37:34
• Heyting cancellation Z-algebra > history ( Heyting cancellation Z-algebra > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 15:37:23
• algebraic formulation of dependent type theory > history ( algebraic formulation of dependent type theory > history(rev # 7) | history )
  by Anonymous? at June 13, 2022 at 15:27:03
• algebraic formulation of dependent type theory > history ( algebraic formulation of dependent type theory > history(rev # 6) | history )
  by Anonymous? at June 13, 2022 at 11:44:14
• Sandbox > history ( Sandbox > history(rev # 64) | history )
  by Anonymous? at June 13, 2022 at 08:32:10
• booleans > history ( booleans > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 02:56:09
• algebraic formulation of dependent type theory > history ( algebraic formulation of dependent type theory > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 02:54:30
• characteristic > history ( characteristic > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 02:36:12
• Z-algebra > history ( Z-algebra > history(rev # 10) | history )
  by Anonymous? at June 13, 2022 at 02:35:20
• univariate polynomial ring > history ( univariate polynomial ring > history(rev # 4) | history )
  by Anonymous? at June 13, 2022 at 02:34:10
• univariate rational expressions > history ( univariate rational expressions > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 02:33:20
• type theories > history ( type theories > history(rev # 8) | history )
  by Anonymous? at June 13, 2022 at 02:31:03
• polynomial function > history ( polynomial function > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 02:25:28
• trilinear function > history ( trilinear function > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 02:22:51
• monoid > history ( monoid > history(rev # 12) | history )
  by Anonymous? at June 13, 2022 at 02:22:13
• decimal numeral representations of the natural numbers > history ( decimal numeral representations of the natural numbers > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 02:21:09
• commutative monoid > history ( commutative monoid > history(rev # 8) | history )
  by Anonymous? at June 13, 2022 at 02:18:09
• group > history ( group > history(rev # 7) | history )
  by Anonymous? at June 13, 2022 at 02:17:23
• abelian group > history ( abelian group > history(rev # 11) | history )
  by Anonymous? at June 13, 2022 at 02:16:58
• commutative ring > history ( commutative ring > history(rev # 7) | history )
  by Anonymous? at June 13, 2022 at 02:16:14
• ring > history ( ring > history(rev # 7) | history )
  by Anonymous? at June 13, 2022 at 02:15:48
• Algebra > history ( Algebra > history(rev # 11) | history )
  by Anonymous? at June 13, 2022 at 02:15:16
• commutant > history ( commutant > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 02:14:52
• action > history ( action > history(rev # 7) | history )
  by Anonymous? at June 13, 2022 at 02:11:39
• module > history ( module > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 02:09:26
• bimodule > history ( bimodule > history(rev # 6) | history )
  by Anonymous? at June 13, 2022 at 02:06:05
• algebra (module theory) > history ( algebra (module theory) > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 02:02:54
• biaction > history ( biaction > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 02:02:04
• bimodule homomorphism > history ( bimodule homomorphism > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 01:59:52
• ideal (ring theory) > history ( ideal (ring theory) > history(rev # 4) | history )
  by Anonymous? at June 13, 2022 at 01:58:34
• Algebra > history ( Algebra > history(rev # 10) | history )
  by Anonymous? at June 12, 2022 at 21:13:02
• cancellation ring > history ( cancellation ring > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:12:22
• discrete cancellation ring > history ( discrete cancellation ring > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:11:54
• Heyting cancellation ring > history ( Heyting cancellation ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 21:10:57
• commutative cancellation ring > history ( commutative cancellation ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 21:08:56
• commutative discrete cancellation ring > history ( commutative discrete cancellation ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 21:08:16
• commutative Heyting cancellation ring > history ( commutative Heyting cancellation ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 21:07:22
• domain (ring theory) > history ( domain (ring theory) > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:05:23
• discrete domain > history ( discrete domain > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 21:04:54
• Heyting domain > history ( Heyting domain > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:04:19
• integral domain > history ( integral domain > history(rev # 5) | history )
  by Anonymous? at June 12, 2022 at 21:02:26
• GCD domain > history ( GCD domain > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:01:47
• discrete GCD domain > history ( discrete GCD domain > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:01:17
• Heyting GCD domain > history ( Heyting GCD domain > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 21:01:09
• discrete integral domain > history ( discrete integral domain > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 20:59:23
• Heyting integral domain > history ( Heyting integral domain > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 20:58:47
• Z-algebra > history ( Z-algebra > history(rev # 9) | history )
  by Anonymous? at June 12, 2022 at 20:56:26
• unital Z-algebra > history ( unital Z-algebra > history(rev # 5) | history )
  by Anonymous? at June 12, 2022 at 20:56:13
• commutative ring > history ( commutative ring > history(rev # 6) | history )
  by Anonymous? at June 12, 2022 at 20:56:06
• ring > history ( ring > history(rev # 6) | history )
  by Anonymous? at June 12, 2022 at 20:55:52
• ordered integral domain > history ( ordered integral domain > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 20:52:15
• ordered integral domain > history ( ordered integral domain > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 17:19:58
• Algebra > history ( Algebra > history(rev # 9) | history )
  by Anonymous? at June 12, 2022 at 16:56:18
• field (ring theory) > history ( field (ring theory) > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:55:53
• discrete field > history ( discrete field > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:54:39
• Heyting field > history ( Heyting field > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 16:54:06
• ordered field > history ( ordered field > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:52:20
• skewfield > history ( skewfield > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:49:07
• discrete skewfield > history ( discrete skewfield > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:48:11
• Heyting skewfield > history ( Heyting skewfield > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:47:37
• commutative reciprocal ring > history ( commutative reciprocal ring > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:44:40
• commutative discrete reciprocal ring > history ( commutative discrete reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:44:07
• commutative Heyting reciprocal ring > history ( commutative Heyting reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:43:30
• commutative division ring > history ( commutative division ring > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:42:11
• commutative discrete division ring > history ( commutative discrete division ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:41:23
• commutative Heyting division ring > history ( commutative Heyting division ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:40:47
• reciprocal ring > history ( reciprocal ring > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:38:24
• discrete reciprocal ring > history ( discrete reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:37:46
• Heyting reciprocal ring > history ( Heyting reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:37:00
• division ring > history ( division ring > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 16:35:23
• discrete division ring > history ( discrete division ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:34:47
• Heyting division ring > history ( Heyting division ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:34:02
• Sandbox > history ( Sandbox > history(rev # 63) | history )
  by Anonymous? at June 12, 2022 at 16:29:19
• reciprocal Z-algebra > history ( reciprocal Z-algebra > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:18:35
• discrete reciprocal Z-algebra > history ( discrete reciprocal Z-algebra > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:17:57
• Heyting reciprocal Z-algebra > history ( Heyting reciprocal Z-algebra > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:17:01
• division Z-algebra > history ( division Z-algebra > history(rev # 5) | history )
  by Anonymous? at June 12, 2022 at 16:14:26
• discrete division Z-algebra > history ( discrete division Z-algebra > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:13:42
• Heyting division Z-algebra > history ( Heyting division Z-algebra > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:12:52
• discrete division Z-algebra > history ( discrete division Z-algebra > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 13:21:25
• Algebra > history ( Algebra > history(rev # 8) | history )
  by Anonymous? at June 12, 2022 at 13:20:58
• Cauchy sequence > history ( Cauchy sequence > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:41:48
• commutative division ring > history ( commutative division ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:32:22
• commutative reciprocal ring > history ( commutative reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:31:55
• Algebra > history ( Algebra > history(rev # 7) | history )
  by Anonymous? at June 12, 2022 at 12:30:36
• Sandbox > history ( Sandbox > history(rev # 62) | history )
  by Anonymous? at June 12, 2022 at 12:20:48
• GCD domain > history ( GCD domain > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:13:26
• integral domain > history ( integral domain > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 12:13:11
• field (ring theory) > history ( field (ring theory) > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:12:56
• skewfield > history ( skewfield > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:12:44
• reciprocal ring > history ( reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 12:12:28