Homotopy Type Theory Latest Revisions

• homotopy type theory > history ( homotopy type theory > history(rev # 19) | history )
  by Anonymous? at October 9, 2022 at 02:25:51
• HomePage ( HomePage(rev # 81) | history )
  by Anonymous? at October 9, 2022 at 00:48:02
• cohesive homotopy type theory > history ( cohesive homotopy type theory > history(rev # 12) | history )
  by Anonymous? at October 8, 2022 at 00:36:10
• cohesive homotopy type theory > history ( cohesive homotopy type theory > history(rev # 11) | history )
  by Anonymous? at October 7, 2022 at 22:01:08
• homotopy type theory > history ( homotopy type theory > history(rev # 18) | history )
  by Anonymous? at October 7, 2022 at 21:28:52
• homotopy type theory > history ( homotopy type theory > history(rev # 17) | history )
  by Anonymous? at October 7, 2022 at 18:48:23
• Tarski universe > history ( Tarski universe > history(rev # 5) | history )
  by Anonymous? at October 7, 2022 at 14:10:14
• Tarski universe > history ( Tarski universe > history(rev # 4) | history )
  by Anonymous? at October 6, 2022 at 23:04:41
• Tarski universe > history ( Tarski universe > history(rev # 3) | history )
  by Anonymous? at October 6, 2022 at 22:31:07
• Tarski universe > history ( Tarski universe > history(rev # 2) | history )
  by Anonymous? at October 6, 2022 at 20:34:17
• Tarski universe > history ( Tarski universe > history(rev # 1) | history )
  by Anonymous? at October 4, 2022 at 14:33:01
• universe > history ( universe > history(rev # 29) | history )
  by Anonymous? at October 4, 2022 at 13:39:36
• homotopy type theory > history ( homotopy type theory > history(rev # 16) | history )
  by Anonymous? at October 2, 2022 at 19:41:32
• homotopy type theory > history ( homotopy type theory > history(rev # 15) | history )
  by Anonymous? at October 2, 2022 at 01:50:47
• homotopy type theory > history ( homotopy type theory > history(rev # 14) | history )
  by Anonymous? at October 1, 2022 at 19:55:33
• homotopy type theory > history ( homotopy type theory > history(rev # 13) | history )
  by Anonymous? at September 30, 2022 at 22:22:49
• homotopy type theory > history ( homotopy type theory > history(rev # 12) | history )
  by Anonymous? at September 30, 2022 at 20:22:33
• homotopy type theory > history ( homotopy type theory > history(rev # 11) | history )
  by Anonymous? at September 30, 2022 at 19:34:29
• homotopy type theory > history ( homotopy type theory > history(rev # 10) | history )
  by Anonymous? at September 30, 2022 at 17:53:17
• homotopy type theory > history ( homotopy type theory > history(rev # 9) | history )
  by Anonymous? at September 30, 2022 at 12:37:34
• homotopy type theory > history ( homotopy type theory > history(rev # 8) | history )
  by Anonymous? at September 30, 2022 at 03:13:57
• HomePage ( HomePage(rev # 80) | history )
  by Anonymous? at June 20, 2022 at 04:10:33
• HomePage ( HomePage(rev # 79) | history )
  by Anonymous? at June 20, 2022 at 03:09:09
• about > history ( about > history(rev # 9) | history )
  by Anonymous? at June 20, 2022 at 03:06:12
• UMyn8W7b ( UMyn8W7b(rev # 74) | history )
  by Anonymous? at June 20, 2022 at 03:05:26
• UMyn8W7b ( UMyn8W7b(rev # 73) | history )
  by Anonymous? at June 20, 2022 at 02:30:53
• HomePage ( HomePage(rev # 78) | history )
  by Anonymous? at June 20, 2022 at 02:24:08
• HomePage ( HomePage(rev # 77) | history )
  by Anonymous? at June 19, 2022 at 23:52:33
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 13) | history )
  by Anonymous? at June 19, 2022 at 23:52:18
• UMyn8W7b ( UMyn8W7b(rev # 72) | history )
  by Anonymous? at June 19, 2022 at 23:51:59
• cohesive homotopy type theory > history ( cohesive homotopy type theory > history(rev # 10) | history )
  by Anonymous? at June 19, 2022 at 23:43:34
• UMyn8W7b ( UMyn8W7b(rev # 71) | history )
  by Anonymous? at June 19, 2022 at 22:54:27
• UMyn8W7b ( UMyn8W7b(rev # 70) | history )
  by Anonymous? at June 19, 2022 at 21:18:24
• HomePage ( HomePage(rev # 76) | history )
  by Anonymous? at June 19, 2022 at 18:26:40
• higher observational type theory > history ( higher observational type theory > history(rev # 16) | history )
  by Anonymous? at June 19, 2022 at 18:26:34
• HomePage ( HomePage(rev # 75) | history )
  by Anonymous? at June 19, 2022 at 03:46:44
• UMyn8W7b ( UMyn8W7b(rev # 69) | history )
  by Anonymous? at June 19, 2022 at 03:12:43
• HomePage ( HomePage(rev # 74) | history )
  by Anonymous? at June 19, 2022 at 03:07:29
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 12) | history )
  by Anonymous? at June 19, 2022 at 03:05:24
• booleans > history ( booleans > history(rev # 7) | history )
  by Anonymous? at June 19, 2022 at 03:04:10
• HomePage ( HomePage(rev # 73) | history )
  by Anonymous? at June 18, 2022 at 22:04:00
• decidable existential quantifier > history ( decidable existential quantifier > history(rev # 4) | history )
  by Anonymous? at June 18, 2022 at 22:03:26
• decidable universal quantifier > history ( decidable universal quantifier > history(rev # 4) | history )
  by Anonymous? at June 18, 2022 at 22:02:29
• decidable directed graph > history ( decidable directed graph > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 21:59:49
• decidable setoid > history ( decidable setoid > history(rev # 8) | history )
  by Anonymous? at June 18, 2022 at 21:58:13
• Discrete mathematics > history ( Discrete mathematics > history(rev # 50) | history )
  by Anonymous? at June 18, 2022 at 21:56:48
• decidable open interval > history ( decidable open interval > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 21:55:27
• decidable subset > history ( decidable subset > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 21:54:16
• decidable set > history ( decidable set > history(rev # 4) | history )
  by Anonymous? at June 18, 2022 at 21:52:50
• decidable preordered type > history ( decidable preordered type > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 21:50:39
• decidable strict order > history ( decidable strict order > history(rev # 4) | history )
  by Anonymous? at June 18, 2022 at 21:49:32
• cohesive homotopy type theory > history ( cohesive homotopy type theory > history(rev # 9) | history )
  by Anonymous? at June 18, 2022 at 20:32:25
• HomePage ( HomePage(rev # 72) | history )
  by Anonymous? at June 18, 2022 at 20:32:11
• differential cohesive homotopy type theory > history ( differential cohesive homotopy type theory > history(rev # 5) | history )
  by Anonymous? at June 18, 2022 at 20:32:01
• HomePage ( HomePage(rev # 71) | history )
  by Anonymous? at June 18, 2022 at 16:25:34
• Differential geometry > history ( Differential geometry > history(rev # 4) | history )
  by Anonymous? at June 18, 2022 at 16:25:05
• differential cohesive homotopy type theory > history ( differential cohesive homotopy type theory > history(rev # 4) | history )
  by Anonymous? at June 18, 2022 at 16:07:17
• infinitesimal shape > history ( infinitesimal shape > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 16:07:02
• reduction > history ( reduction > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 16:06:31
• infinitesimally thickened point > history ( infinitesimally thickened point > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 16:04:44
• smooth space > history ( smooth space > history(rev # 3) | history )
  by Anonymous? at June 18, 2022 at 16:03:44
• Topology > history ( Topology > history(rev # 21) | history )
  by Anonymous? at June 18, 2022 at 15:54:34
• cohesive homotopy type theory > history ( cohesive homotopy type theory > history(rev # 8) | history )
  by Anonymous? at June 18, 2022 at 15:53:40
• shape > history ( shape > history(rev # 5) | history )
  by Anonymous? at June 18, 2022 at 15:53:30
• Topology > history ( Topology > history(rev # 20) | history )
  by Anonymous? at June 18, 2022 at 15:13:48
• geometrically contractible space > history ( geometrically contractible space > history(rev # 5) | history )
  by Anonymous? at June 18, 2022 at 15:13:22
• HomePage ( HomePage(rev # 70) | history )
  by Anonymous? at June 18, 2022 at 04:01:14
• desired articles > history ( desired articles > history(rev # 39) | history )
  by Anonymous? at June 18, 2022 at 04:00:45
• about > history ( about > history(rev # 8) | history )
  by Anonymous? at June 18, 2022 at 03:34:24
• Topology > history ( Topology > history(rev # 19) | history )
  by Anonymous? at June 18, 2022 at 03:25:24
• compact connected space > history ( compact connected space > history(rev # 5) | history )
  by Anonymous? at June 18, 2022 at 03:24:49
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 11) | history )
  by Anonymous? at June 18, 2022 at 02:55:40
• HomePage ( HomePage(rev # 69) | history )
  by Anonymous? at June 18, 2022 at 02:29:15
• about > history ( about > history(rev # 7) | history )
  by Anonymous? at June 18, 2022 at 02:28:09
• UMyn8W7b ( UMyn8W7b(rev # 68) | history )
  by Anonymous? at June 18, 2022 at 02:27:44
• desired articles > history ( desired articles > history(rev # 38) | history )
  by Anonymous? at June 18, 2022 at 02:24:59
• Discrete mathematics > history ( Discrete mathematics > history(rev # 49) | history )
  by Anonymous? at June 18, 2022 at 02:21:58
• Events > history ( Events > history(rev # 29) | history )
  by Anonymous? at June 18, 2022 at 02:15:45
• HoTT Mini-Course > history ( HoTT Mini-Course > history(rev # 15) | history )
  by Anonymous? at June 18, 2022 at 02:13:38
• DMV2015 > history ( DMV2015 > history(rev # 19) | history )
  by Anonymous? at June 18, 2022 at 02:11:48
• CMU local activities > history ( CMU local activities > history(rev # 7) | history )
  by Anonymous? at June 18, 2022 at 02:10:29
• Bonn2018 > history ( Bonn2018 > history(rev # 13) | history )
  by Anonymous? at June 18, 2022 at 01:59:36
• CMU local activities > history ( CMU local activities > history(rev # 6) | history )
  by Anonymous? at June 18, 2022 at 01:30:31
• Events > history ( Events > history(rev # 28) | history )
  by Anonymous? at June 18, 2022 at 01:29:53
• HoTT Mini-Course > history ( HoTT Mini-Course > history(rev # 14) | history )
  by Anonymous? at June 18, 2022 at 01:28:21
• DMV2015 > history ( DMV2015 > history(rev # 18) | history )
  by Anonymous? at June 18, 2022 at 01:28:03
• Discrete mathematics > history ( Discrete mathematics > history(rev # 48) | history )
  by Anonymous? at June 17, 2022 at 23:37:33
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 10) | history )
  by Anonymous? at June 17, 2022 at 23:34:22
• halving group > history ( halving group > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 23:29:07
• definitional equality > history ( definitional equality > history(rev # 10) | history )
  by Anonymous? at June 17, 2022 at 23:13:28
• UMyn8W7b ( UMyn8W7b(rev # 67) | history )
  by Anonymous? at June 17, 2022 at 23:06:30
• inverse image > history ( inverse image > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 23:02:35
• infinitely iterated inverse image > history ( infinitely iterated inverse image > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 23:01:35
• iterated inverse image > history ( iterated inverse image > history(rev # 4) | history )
  by Anonymous? at June 17, 2022 at 22:47:06
• inverse image > history ( inverse image > history(rev # 3) | history )
  by Anonymous? at June 17, 2022 at 22:17:35
• Discrete mathematics > history ( Discrete mathematics > history(rev # 47) | history )
  by Anonymous? at June 17, 2022 at 22:13:42
• fiber > history ( fiber > history(rev # 5) | history )
  by Anonymous? at June 17, 2022 at 22:11:23
• proposition > history ( proposition > history(rev # 7) | history )
  by Anonymous? at June 17, 2022 at 22:08:29
• set > history ( set > history(rev # 10) | history )
  by Anonymous? at June 17, 2022 at 22:07:49
• equivalence > history ( equivalence > history(rev # 9) | history )
  by Anonymous? at June 17, 2022 at 22:05:42