nLab
Latest Revisions

• (infinity,1)-category ( (infinity,1)-category(rev # 80) | history )
  by Urs Schreiber at July 9, 2020 at 07:37:56
• orbifold cohomology ( orbifold cohomology(rev # 38) | history )
  by Urs Schreiber at July 9, 2020 at 07:27:49
• Alexander Körschgen
  by Urs Schreiber at July 9, 2020 at 07:15:56
• orbispace ( orbispace(rev # 19) | history )
  by Urs Schreiber at July 9, 2020 at 07:14:36
• internal hom ( internal hom(rev # 67) | history )
  by Urs Schreiber at July 9, 2020 at 06:32:06
• (infinity,1)-topos ( (infinity,1)-topos(rev # 73) | history )
  by Urs Schreiber at July 9, 2020 at 06:23:28
• accessible (infinity,1)-category ( accessible (infinity,1)-category(rev # 24) | history )
  by Urs Schreiber at July 9, 2020 at 06:21:57
• flavour anomaly ( flavour anomaly(rev # 144) | history )
  by Urs Schreiber at July 9, 2020 at 06:04:16
• Belle experiment ( Belle experiment(rev # 11) | history )
  by Urs Schreiber at July 9, 2020 at 06:03:55
• theory of categories ( theory of categories(rev # 6) | history )
  by Thomas Holder at July 9, 2020 at 05:28:55
• division algebra and supersymmetry ( division algebra and supersymmetry(rev # 29) | history )
  by Urs Schreiber at July 9, 2020 at 05:00:30
• geometric infinity-function theory ( geometric infinity-function theory(rev # 69) | history )
  by Tim Porter at July 9, 2020 at 02:37:34
• quandle ( quandle(rev # 15) | history )
  by Alexander Campbell at July 8, 2020 at 20:54:00
• rack ( rack(rev # 21) | history )
  by Alexander Campbell at July 8, 2020 at 20:51:01
• lax extranatural transformation ( lax extranatural transformation(rev # 2) | history )
  by Théo de Oliveira S.? at July 8, 2020 at 16:14:45
• theory of categories ( theory of categories(rev # 5) | history )
  by Thomas Holder at July 8, 2020 at 14:55:09
• orbispace ( orbispace(rev # 18) | history )
  by Urs Schreiber at July 8, 2020 at 12:54:07
• effective epimorphism in an (infinity,1)-category ( effective epimorphism in an (infinity,1)-category(rev # 23) | history )
  by Luigi Alfonsi at July 8, 2020 at 11:57:49
• lax functor ( lax functor(rev # 20) | history )
  by Anonymous at July 8, 2020 at 10:00:15
• effective epimorphism in an (infinity,1)-category ( effective epimorphism in an (infinity,1)-category(rev # 22) | history )
  by Luigi Alfonsi at July 8, 2020 at 09:37:03
• theory of categories ( theory of categories(rev # 4) | history )
  by Thomas Holder at July 8, 2020 at 07:34:26
• Sandbox ( Sandbox(rev # 2042) | history )
  by Anonymous at July 8, 2020 at 07:25:01
• Sandbox ( Sandbox(rev # 2041) | history )
  by Thomas Holder at July 8, 2020 at 07:22:53
• H-space ( H-space(rev # 38) | history )
  by Jesus Lopez? at July 8, 2020 at 07:03:57
• Sandbox ( Sandbox(rev # 2040) | history )
  by Anonymous at July 8, 2020 at 07:00:18
• theory of categories ( theory of categories(rev # 3) | history )
  by Thomas Holder at July 8, 2020 at 06:05:58
• Sandbox ( Sandbox(rev # 2039) | history )
  by Anonymous at July 8, 2020 at 05:53:43
• Jordan superalgebra ( Jordan superalgebra(rev # 9) | history )
  by David Corfield at July 8, 2020 at 03:11:44
• exceptional structures -- contents ( exceptional structures -- contents(rev # 6) | history )
  by David Corfield at July 8, 2020 at 02:58:25
• type formation ( type formation(rev # 3) | history )
  by Kit Langton? at July 7, 2020 at 21:43:25
• orthogonal factorization system ( orthogonal factorization system(rev # 37) | history )
  by ph? at July 7, 2020 at 21:12:32
• dependent linear type theory ( dependent linear type theory(rev # 8) | history )
  by Mike Shulman at July 7, 2020 at 19:52:16
• lax extranatural transformation ( lax extranatural transformation(rev # 1) | history )
  by Théo de Oliveira S.? at July 7, 2020 at 17:50:19
• lax biend
  by Théo de Oliveira S.? at July 7, 2020 at 17:49:00
• end ( end(rev # 52) | history )
  by Théo de Oliveira S.? at July 7, 2020 at 17:02:38
• Critique of Pure Reason ( Critique of Pure Reason(rev # 61) | history )
  by Daniel Luckhardt at July 7, 2020 at 14:36:53
• canonical model structure on Cat ( canonical model structure on Cat(rev # 22) | history )
  by Mike Shulman at July 7, 2020 at 12:45:31
• functorial geometry ( functorial geometry(rev # 22) | history )
  by Urs Schreiber at July 7, 2020 at 09:45:03
• theory of categories ( theory of categories(rev # 2) | history )
  by Thomas Holder at July 7, 2020 at 09:41:50
• de Rham space ( de Rham space(rev # 33) | history )
  by Urs Schreiber at July 7, 2020 at 08:46:15
• walking equivalence ( walking equivalence(rev # 7) | history )
  by Richard Williamson at July 7, 2020 at 07:55:37
• adjoint modality ( adjoint modality(rev # 61) | history )
  by Jesus Lopez? at July 7, 2020 at 07:38:07
• Sandbox ( Sandbox(rev # 2038) | history )
  by Jesus Lopez? at July 7, 2020 at 07:37:15
• cohesive topos ( cohesive topos(rev # 116) | history )
  by Urs Schreiber at July 7, 2020 at 06:39:29
• adjoint modality ( adjoint modality(rev # 60) | history )
  by Urs Schreiber at July 7, 2020 at 06:35:03
• Sets for Mathematics ( Sets for Mathematics(rev # 6) | history )
  by Urs Schreiber at July 7, 2020 at 06:31:54
• Aufhebung ( Aufhebung(rev # 105) | history )
  by Urs Schreiber at July 7, 2020 at 06:16:53
• Cohesive Toposes and Cantor's "lauter Einsen" ( Cohesive Toposes and Cantor's "lauter Einsen"(rev # 16) | history )
  by Urs Schreiber at July 7, 2020 at 06:03:01
• model structure on simplicial presheaves ( model structure on simplicial presheaves(rev # 137) | history )
  by Urs Schreiber at July 7, 2020 at 05:00:54
• Jean Giraud ( Jean Giraud(rev # 4) | history )
  by Urs Schreiber at July 7, 2020 at 04:54:22
• 2-sheaf ( 2-sheaf(rev # 19) | history )
  by Urs Schreiber at July 7, 2020 at 04:49:00
• stack ( stack(rev # 40) | history )
  by Urs Schreiber at July 7, 2020 at 04:28:20
• gerbe (in differential geometry) ( gerbe (in differential geometry)(rev # 4) | history )
  by Urs Schreiber at July 7, 2020 at 04:16:17
• Sharon Hollander ( Sharon Hollander(rev # 4) | history )
  by Urs Schreiber at July 7, 2020 at 04:06:09
• Mathai Varghese ( Mathai Varghese(rev # 3) | history )
  by Urs Schreiber at July 7, 2020 at 02:18:32
• spherical T-duality ( spherical T-duality(rev # 8) | history )
  by Urs Schreiber at July 7, 2020 at 02:17:50
• Favonia ( Favonia(rev # 7) | history )
  by Urs Schreiber at July 6, 2020 at 15:47:29
• Ulrik Buchholtz ( Ulrik Buchholtz(rev # 4) | history )
  by Urs Schreiber at July 6, 2020 at 15:47:09
• cellular homology ( cellular homology(rev # 14) | history )
  by Urs Schreiber at July 6, 2020 at 15:46:00
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 17) | history )
  by Urs Schreiber at July 6, 2020 at 15:44:49
• Evan Cavallo
  by Urs Schreiber at July 6, 2020 at 15:37:46
• generalized (Eilenberg-Steenrod) cohomology ( generalized (Eilenberg-Steenrod) cohomology(rev # 72) | history )
  by Urs Schreiber at July 6, 2020 at 15:35:26
• theory of flat functors ( theory of flat functors(rev # 6) | history )
  by Thomas Holder at July 6, 2020 at 14:08:15
• theory of categories ( theory of categories(rev # 1) | history )
  by Thomas Holder at July 6, 2020 at 12:06:24
• geometric theory ( geometric theory(rev # 48) | history )
  by Thomas Holder at July 6, 2020 at 11:56:18
• ETCC ( ETCC(rev # 33) | history )
  by Thomas Holder at July 6, 2020 at 11:50:51
• Sandbox ( Sandbox(rev # 2037) | history )
  by Anonymous at July 6, 2020 at 11:45:45
• Simplicial homotopy theory ( Simplicial homotopy theory(rev # 10) | history )
  by Urs Schreiber at July 6, 2020 at 10:25:18
• model structure on simplicial presheaves ( model structure on simplicial presheaves(rev # 136) | history )
  by Urs Schreiber at July 6, 2020 at 10:15:58
• Local homotopy theory ( Local homotopy theory(rev # 3) | history )
  by Urs Schreiber at July 6, 2020 at 10:12:05
• Sandbox ( Sandbox(rev # 2036) | history )
  by Anonymous at July 6, 2020 at 09:25:43
• rig ( rig(rev # 26) | history )
  by Anonymous at July 6, 2020 at 08:37:44
• Elephant ( Elephant(rev # 52) | history )
  by Urs Schreiber at July 6, 2020 at 07:41:27
• big and little toposes ( big and little toposes(rev # 37) | history )
  by Urs Schreiber at July 6, 2020 at 07:23:10
• Yoneda lemma ( Yoneda lemma(rev # 70) | history )
  by Urs Schreiber at July 6, 2020 at 07:15:03
• functorial geometry ( functorial geometry(rev # 21) | history )
  by Urs Schreiber at July 6, 2020 at 06:38:16
• theory of model homomorphisms ( theory of model homomorphisms(rev # 10) | history )
  by Thomas Holder at July 6, 2020 at 06:29:05
• walking structure ( walking structure(rev # 22) | history )
  by Richard Williamson at July 6, 2020 at 05:52:29
• walking 2-isomorphism with trivial boundary
  by Richard Williamson at July 6, 2020 at 05:49:09
• walking isomorphism ( walking isomorphism(rev # 7) | history )
  by Richard Williamson at July 6, 2020 at 05:19:06
• string theory FAQ ( string theory FAQ(rev # 84) | history )
  by Urs Schreiber at July 6, 2020 at 05:12:24
• functorial geometry ( functorial geometry(rev # 20) | history )
  by Urs Schreiber at July 6, 2020 at 04:25:40
• skyrmion ( skyrmion(rev # 60) | history )
  by Urs Schreiber at July 6, 2020 at 03:22:32
• super algebra ( super algebra(rev # 58) | history )
  by David Corfield at July 6, 2020 at 02:29:26
• Jordan superalgebra ( Jordan superalgebra(rev # 8) | history )
  by David Corfield at July 5, 2020 at 12:40:51
• walking isomorphism ( walking isomorphism(rev # 6) | history )
  by Dmitri Pavlov at July 5, 2020 at 12:38:15
• generalized scheme ( generalized scheme(rev # 24) | history )
  by Anonymous at July 5, 2020 at 12:05:20
• Jordan superalgebra ( Jordan superalgebra(rev # 7) | history )
  by David Corfield at July 5, 2020 at 12:01:14
• theory of model homomorphisms ( theory of model homomorphisms(rev # 9) | history )
  by Thomas Holder at July 5, 2020 at 08:13:23
• walking isomorphism ( walking isomorphism(rev # 5) | history )
  by Richard Williamson at July 5, 2020 at 07:48:50
• Lack fibration ( Lack fibration(rev # 4) | history )
  by Richard Williamson at July 5, 2020 at 07:16:26
• walking adjoint equivalence ( walking adjoint equivalence(rev # 2) | history )
  by David Roberts at July 5, 2020 at 06:39:12
• sheaf ( sheaf(rev # 68) | history )
  by Anonymous at July 5, 2020 at 05:57:22
• Jordan superalgebra ( Jordan superalgebra(rev # 6) | history )
  by David Corfield at July 5, 2020 at 03:41:29
• walking adjoint equivalence ( walking adjoint equivalence(rev # 1) | history )
  by Yuxi Liu at July 5, 2020 at 00:22:54
• walking equivalence ( walking equivalence(rev # 6) | history )
  by Yuxi Liu at July 5, 2020 at 00:08:14
• walking equivalence ( walking equivalence(rev # 5) | history )
  by David Roberts at July 4, 2020 at 21:13:24
• CW complex ( CW complex(rev # 70) | history )
  by Elves? at July 4, 2020 at 16:38:08
• Lorentz group ( Lorentz group(rev # 15) | history )
  by Urs Schreiber at July 4, 2020 at 15:42:40
• Lorentz Lie algebra ( Lorentz Lie algebra(rev # 3) | history )
  by Urs Schreiber at July 4, 2020 at 15:42:01