Homotopy Type Theory Latest Revisions

• pointed connected groupoid > history ( pointed connected groupoid > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 11:11:02
• infinity-group > history ( infinity-group > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 11:04:52
• Algebra > history ( Algebra > history(rev # 1) | history )
  by Anonymous? at June 9, 2022 at 11:00:45
• HomePage ( HomePage(rev # 57) | history )
  by Anonymous? at June 9, 2022 at 10:51:14
• commutative A3-space > history ( commutative A3-space > history(rev # 12) | history )
  by Anonymous? at June 9, 2022 at 10:48:46
• H-space > history ( H-space > history(rev # 15) | history )
  by Anonymous? at June 9, 2022 at 10:45:04
• A3-space > history ( A3-space > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 10:44:42
• grouplike A3-space > history ( grouplike A3-space > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 10:44:15
• loop space > history ( loop space > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 10:10:28
• locator > history ( locator > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 05:10:36
• interval cut > history ( interval cut > history(rev # 2) | history )
  by Anonymous? at June 9, 2022 at 05:08:50
• lattice > history ( lattice > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 05:05:58
• sigma-frame > history ( sigma-frame > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 05:05:21
• sigma-complete lattice > history ( sigma-complete lattice > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 05:05:13
• Discrete mathematics > history ( Discrete mathematics > history(rev # 28) | history )
  by Anonymous? at June 9, 2022 at 04:59:36
• valuation (measure theory) > history ( valuation (measure theory) > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:58:54
• sigma-continuous valuation > history ( sigma-continuous valuation > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:58:44
• measure > history ( measure > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:53:54
• probability valuation > history ( probability valuation > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:48:19
• sigma-continuous probability valuation > history ( sigma-continuous probability valuation > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:45:56
• probability measure > history ( probability measure > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:42:31
• HomePage ( HomePage(rev # 56) | history )
  by Anonymous? at June 9, 2022 at 04:30:12
• Yoneda lemma > history ( Yoneda lemma > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:18:06
• wild category > history ( wild category > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:18:00
• Whitehead product > history ( Whitehead product > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:17:54
• well-pointed dagger 2-poset > history ( well-pointed dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:17:48
• wedge sum > history ( wedge sum > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:17:42
• weak equivalence of precategories > history ( weak equivalence of precategories > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:17:36
• W-topical dagger 2-poset > history ( W-topical dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:17:23
• univalent type theory > history ( univalent type theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:16:59
• univalent Martin-Loef type theory > history ( univalent Martin-Loef type theory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:16:53
• unitary isomorphism in a dagger precategory > history ( unitary isomorphism in a dagger precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:16:48
• unital dagger 2-poset > history ( unital dagger 2-poset > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:16:42
• type family > history ( type family > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 04:16:17
• transport > history ( transport > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:16:08
• tabular dagger 2-poset > history ( tabular dagger 2-poset > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 04:16:00
• Synthetic homotopy theory > history ( Synthetic homotopy theory > history(rev # 30) | history )
  by Anonymous? at June 9, 2022 at 04:15:35
• symmetric monoidal dagger category > history ( symmetric monoidal dagger category > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:15:23
• suspension > history ( suspension > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:15:14
• spheres > history ( spheres > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:15:08
• spectrum > history ( spectrum > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:15:01
• spectral sequence > history ( spectral sequence > history(rev # 14) | history )
  by Anonymous? at June 9, 2022 at 04:14:54
• smash product > history ( smash product > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 04:14:46
• SEPS > history ( SEPS > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:14:39
• semiadditive dagger category > history ( semiadditive dagger category > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:14:32
• semiadditive dagger 2-poset > history ( semiadditive dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:14:25
• semi-simplicial types > history ( semi-simplicial types > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:14:18
• semantics > history ( semantics > history(rev # 16) | history )
  by Anonymous? at June 9, 2022 at 04:14:11
• Seifert-van Kampen theorem > history ( Seifert-van Kampen theorem > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:14:04
• SEAR > history ( SEAR > history(rev # 8) | history )
  by Anonymous? at June 9, 2022 at 04:13:56
• Rezk completion > history ( Rezk completion > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 04:13:16
• representably concrete category > history ( representably concrete category > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:13:10
• representable functor > history ( representable functor > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:13:04
• relational dagger 2-poset > history ( relational dagger 2-poset > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:12:58
• Rel > history ( Rel > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:12:52
• quiver > history ( quiver > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:12:29
• pushout > history ( pushout > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:12:09
• proof theoretic strength of univalent type theory plus HITs > history ( proof theoretic strength of univalent type theory plus HITs > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:12:03
• product precategory > history ( product precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:11:57
• prespectrum > history ( prespectrum > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:11:51
• precategory > history ( precategory > history(rev # 10) | history )
  by Anonymous? at June 9, 2022 at 04:11:46
• power dagger 2-poset > history ( power dagger 2-poset > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:11:40
• pointed type > history ( pointed type > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:11:34
• opposite precategory > history ( opposite precategory > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:11:05
• open problems > history ( open problems > history(rev # 53) | history )
  by Anonymous? at June 9, 2022 at 04:10:59
• onto dagger morphism in a dagger 2-poset > history ( onto dagger morphism in a dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:10:54
• natural transformation > history ( natural transformation > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:10:35
• natural model > history ( natural model > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:10:14
• monoidal dagger category > history ( monoidal dagger category > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:09:41
• monic map in a dagger 2-poset > history ( monic map in a dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:09:35
• model of type theory in an (infinity,1)-topos > history ( model of type theory in an (infinity,1)-topos > history(rev # 19) | history )
  by Anonymous? at June 9, 2022 at 04:09:29
• model invariance problem > history ( model invariance problem > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:09:23
• Martin-Löf Type Theory > history ( Martin-Löf Type Theory > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:08:50
• Martin-Loef type theory > history ( Martin-Loef type theory > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:08:45
• map-extensional dagger 2-poset > history ( map-extensional dagger 2-poset > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:08:39
• map-evaluational dagger 2-poset > history ( map-evaluational dagger 2-poset > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:08:34
• map in a dagger 2-poset > history ( map in a dagger 2-poset > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:08:28
• loop space of a wedge of circles > history ( loop space of a wedge of circles > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:08:05
• locally Heyting-algebraic 2-poset > history ( locally Heyting-algebraic 2-poset > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:07:59
• localization > history ( localization > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 04:07:53
• left adjoint > history ( left adjoint > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:07:47
• join > history ( join > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:07:20
• James construction > history ( James construction > history(rev # 12) | history )
  by Anonymous? at June 9, 2022 at 04:07:14
• isomorphism in a precategory > history ( isomorphism in a precategory > history(rev # 11) | history )
  by Anonymous? at June 9, 2022 at 04:06:50
• injective dagger morphism in a dagger 2-poset > history ( injective dagger morphism in a dagger 2-poset > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:06:43
• inductive-recursive type > history ( inductive-recursive type > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:06:37
• identity type > history ( identity type > history(rev # 12) | history )
  by Anonymous? at June 9, 2022 at 04:06:31
• identity system > history ( identity system > history(rev # 3) | history )
  by Anonymous? at June 9, 2022 at 04:06:22
• HoTT book > history ( HoTT book > history(rev # 7) | history )
  by Anonymous? at June 9, 2022 at 04:05:49
• Hopf construction > history ( Hopf construction > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 04:05:36
• homotopy type theory > history ( homotopy type theory > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:05:29
• Homotopy Type System > history ( Homotopy Type System > history(rev # 12) | history )
  by Anonymous? at June 9, 2022 at 04:05:23
• homotopy type > history ( homotopy type > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:05:17
• homotopy groups of spheres > history ( homotopy groups of spheres > history(rev # 20) | history )
  by Anonymous? at June 9, 2022 at 04:05:11
• homotopy equivalence > history ( homotopy equivalence > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:05:04
• hom functor > history ( hom functor > history(rev # 5) | history )
  by Anonymous? at June 9, 2022 at 04:04:57
• HilbR > history ( HilbR > history(rev # 6) | history )
  by Anonymous? at June 9, 2022 at 04:04:52
• higher inductive type > history ( higher inductive type > history(rev # 15) | history )
  by Anonymous? at June 9, 2022 at 04:04:46
• Heyting dagger 2-poset > history ( Heyting dagger 2-poset > history(rev # 9) | history )
  by Anonymous? at June 9, 2022 at 04:04:38
• H-spaceoid > history ( H-spaceoid > history(rev # 4) | history )
  by Anonymous? at June 9, 2022 at 04:04:32