Homotopy Type Theory Latest Revisions

• H-precategory > history ( H-precategory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:04:24
• H-magmoid > history ( H-magmoid > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:04:16
• Grothendieck (infinity,1)-topos > history ( Grothendieck (infinity,1)-topos > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:03:38
• geometric dagger 2-poset > history ( geometric dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:03:30
• functor precategory > history ( functor precategory > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 04:03:00
• functor > history ( functor > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 04:02:52
• functional dagger morphism in a dagger 2-poset > history ( functional dagger morphism in a dagger 2-poset > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:02:47
• fully faithful > history ( fully faithful > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:02:40
• Formalized Homotopy Theory > history ( Formalized Homotopy Theory > history(rev # 14) | history )
  by Anonymous? at June 9, 2022 at 04:02:35
• family of objects in a concrete precategory > history ( family of objects in a concrete precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:02:29
• family of objects in a concrete H-precategory > history ( family of objects in a concrete H-precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:02:23
• extensional dagger 2-poset > history ( extensional dagger 2-poset > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:01:39
• extensional category > history ( extensional category > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:01:32
• evaluational category > history ( evaluational category > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:01:27
• ETCS with elements > history ( ETCS with elements > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 04:01:21
• ETCR > history ( ETCR > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:01:16
• essentially surjective > history ( essentially surjective > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:01:09
• equivalence of precategories > history ( equivalence of precategories > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:01:03
• entire dagger morphism in a dagger 2-poset > history ( entire dagger morphism in a dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:00:41
• elementary (infinity,1)-topos > history ( elementary (infinity,1)-topos > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:00:16
• elementarily topical dagger 2-poset > history ( elementarily topical dagger 2-poset > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:00:10
• Eilenberg-MacLane space > history ( Eilenberg-MacLane space > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:00:04
• divison ring > history ( divison ring > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:59:42
• division dagger 2-poset > history ( division dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:59:37
• dagger precategory > history ( dagger precategory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 03:59:07
• dagger monomorphism in a dagger precategory > history ( dagger monomorphism in a dagger precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:59:01
• dagger epimorphism in a dagger precategory > history ( dagger epimorphism in a dagger precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:58:55
• dagger category > history ( dagger category > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 03:58:49
• dagger 2-preorder > history ( dagger 2-preorder > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 03:58:43
• dagger 2-poset with elements > history ( dagger 2-poset with elements > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 03:58:37
• dagger 2-poset > history ( dagger 2-poset > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 03:58:28
• conjunctive dagger 2-poset > history ( conjunctive dagger 2-poset > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 03:57:06
• concrete precategory > history ( concrete precategory > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 03:57:01
• concrete H-precategory > history ( concrete H-precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:56:54
• concrete category > history ( concrete category > history(rev # 10) | history )
  by Anonymous? at June 9, 2022 at 03:56:48
• compact closed dagger category > history ( compact closed dagger category > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:56:43
• cohomology > history ( cohomology > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 03:56:38
• coherent dagger 2-poset > history ( coherent dagger 2-poset > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 03:56:32
• cocartesian monoidal dagger category > history ( cocartesian monoidal dagger category > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 03:56:25
• circle > history ( circle > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 03:56:20
• choice topical dagger 2-poset > history ( choice topical dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:56:14
• choice dagger 2-poset > history ( choice dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:56:09
• category theory > history ( category theory > history(rev # 72) | history )
  by Anonymous? at June 9, 2022 at 03:55:20
• category of partial functions in a set > history ( category of partial functions in a set > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 03:55:15
• category of monic maps > history ( category of monic maps > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:55:09
• category of maps > history ( category of maps > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 03:55:04
• category > history ( category > history(rev # 10) | history )
  by Anonymous? at June 9, 2022 at 03:54:58
• Categorical SEAR > history ( Categorical SEAR > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 03:54:53
• cartesian monoidal dagger category > history ( cartesian monoidal dagger category > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:54:48
• cartesian dagger 2-poset > history ( cartesian dagger 2-poset > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 03:54:43
• braided monoidal dagger category > history ( braided monoidal dagger category > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:54:08
• Boolean W-topical dagger 2-poset > history ( Boolean W-topical dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:54:01
• Boolean topical dagger 2-poset > history ( Boolean topical dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:53:55
• Boolean dagger 2-poset > history ( Boolean dagger 2-poset > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 03:53:49
• Book HoTT > history ( Book HoTT > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:53:44
• book homotopy type theory > history ( book homotopy type theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:53:38
• 2-preorder > history ( 2-preorder > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:53:10
• 2-poset of partial maps > history ( 2-poset of partial maps > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 03:53:05
• 2-poset > history ( 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:52:43
• HomePage ( HomePage(rev # 55) | history )
  by Anonymous? at June 9, 2022 at 03:49:26
• Higher algebra > history ( Higher algebra > history(rev # 33) | history )
  by Anonymous? at June 9, 2022 at 03:48:15
• Eric Finster, Towards Higher Universal Algebra in Type Theory > history ( Eric Finster, Towards Higher Universal Algebra in Type Theory > history(rev # 15) | history )
  by Anonymous? at June 9, 2022 at 03:43:23
• semi-simplicial types > history ( semi-simplicial types > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 03:29:48
• Homotopy Type System > history ( Homotopy Type System > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 03:22:12
• proof theoretic strength of univalent type theory plus HITs > history ( proof theoretic strength of univalent type theory plus HITs > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 03:09:47
• model of type theory in an (infinity,1)-topos > history ( model of type theory in an (infinity,1)-topos > history(rev # 18) | history )
  by Anonymous? at June 9, 2022 at 03:08:13
• semantics > history ( semantics > history(rev # 15) | history )
  by Anonymous? at June 9, 2022 at 03:05:38
• natural model > history ( natural model > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 03:04:52
• Grothendieck (infinity,1)-topos > history ( Grothendieck (infinity,1)-topos > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 02:57:11
• elementary (infinity,1)-topos > history ( elementary (infinity,1)-topos > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 02:51:36
• inductive-recursive type > history ( inductive-recursive type > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 02:49:28
• model invariance problem > history ( model invariance problem > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 02:40:46
• Martin-Löf Type Theory > history ( Martin-Löf Type Theory > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 02:39:42
• proof theoretic strength of univalent type theory plus HITs > history ( proof theoretic strength of univalent type theory plus HITs > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 02:38:23
• HoTT2019 Summer School open problems list > history ( HoTT2019 Summer School open problems list > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 02:35:29
• HomePage ( HomePage(rev # 54) | history )
  by Anonymous? at June 9, 2022 at 02:30:56
• Formalized Homotopy Theory > history ( Formalized Homotopy Theory > history(rev # 13) | history )
  by Anonymous? at June 9, 2022 at 02:30:28
• homotopy groups of spheres > history ( homotopy groups of spheres > history(rev # 19) | history )
  by Anonymous? at June 9, 2022 at 02:21:23
• divison ring > history ( divison ring > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 02:09:42
• desired articles > history ( desired articles > history(rev # 36) | history )
  by Anonymous? at June 9, 2022 at 02:05:35
• Synthetic homotopy theory > history ( Synthetic homotopy theory > history(rev # 29) | history )
  by Anonymous? at June 9, 2022 at 02:03:18
• higher inductive type > history ( higher inductive type > history(rev # 14) | history )
  by Anonymous? at June 9, 2022 at 02:02:38
• pushout > history ( pushout > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 01:57:54
• join > history ( join > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 01:48:13
• wedge sum > history ( wedge sum > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 01:36:17
• smash product > history ( smash product > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 01:31:38
• cohomology > history ( cohomology > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 01:09:43
• Eilenberg-MacLane space > history ( Eilenberg-MacLane space > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 01:04:33
• rational homotopy type > history ( rational homotopy type > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 00:49:24
• rationalization of a simply connected type > history ( rationalization of a simply connected type > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 00:49:09
• Rational homotopy theory > history ( Rational homotopy theory > history(rev # 1) | history )
  by Anonymous? at June 9, 2022 at 00:47:22
• HomePage ( HomePage(rev # 53) | history )
  by Anonymous? at June 9, 2022 at 00:46:19
• loop space of a wedge of circles > history ( loop space of a wedge of circles > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 00:41:35
• Hopf construction > history ( Hopf construction > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 00:39:21
• type family > history ( type family > history(rev # 10) | history )
  by Anonymous? at June 9, 2022 at 00:32:20
• localization > history ( localization > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 00:03:38
• Synthetic homotopy theory > history ( Synthetic homotopy theory > history(rev # 28) | history )
  by Anonymous? at June 8, 2022 at 23:06:23
• spectral sequence > history ( spectral sequence > history(rev # 13) | history )
  by Anonymous? at June 8, 2022 at 23:06:08
• prespectrum > history ( prespectrum > history(rev # 3) | history )
  by Anonymous? at June 8, 2022 at 23:01:16
• spectrum > history ( spectrum > history(rev # 6) | history )
  by Anonymous? at June 8, 2022 at 22:59:38