nLab
Latest Revisions

• David Spergel
  by Urs Schreiber at July 2, 2020 at 09:19:10
• MOND ( MOND(rev # 14) | history )
  by Urs Schreiber at July 2, 2020 at 08:52:44
• homomorphism ( homomorphism(rev # 15) | history )
  by Anonymous at July 2, 2020 at 07:22:40
• cartesian closed 2-category ( cartesian closed 2-category(rev # 3) | history )
  by David Corfield at July 2, 2020 at 06:37:45
• generalized the ( generalized the(rev # 17) | history )
  by David Corfield at July 2, 2020 at 05:53:52
• compactum ( compactum(rev # 26) | history )
  by David Corfield at July 2, 2020 at 05:48:51
• Reedy category ( Reedy category(rev # 21) | history )
  by Yuxi Liu at July 2, 2020 at 05:31:03
• filtrality
  by David Corfield at July 2, 2020 at 04:47:47
• compactum ( compactum(rev # 25) | history )
  by David Corfield at July 2, 2020 at 04:32:13
• condensed mathematics ( condensed mathematics(rev # 3) | history )
  by David Corfield at July 2, 2020 at 04:18:16
• orientation ( orientation(rev # 16) | history )
  by M Opie? at July 2, 2020 at 03:03:15
• core ( core(rev # 10) | history )
  by Urs Schreiber at July 2, 2020 at 02:04:19
• Reedy category ( Reedy category(rev # 20) | history )
  by Yuxi Liu at July 1, 2020 at 21:57:19
• core ( core(rev # 9) | history )
  by Yuxi Liu at July 1, 2020 at 21:29:39
• wide subcategory ( wide subcategory(rev # 17) | history )
  by Yuxi Liu at July 1, 2020 at 21:29:36
• thin category ( thin category(rev # 9) | history )
  by Yuxi Liu at July 1, 2020 at 21:11:14
• direct category ( direct category(rev # 11) | history )
  by Yuxi Liu at July 1, 2020 at 20:52:02
• (0,1)-category ( (0,1)-category(rev # 11) | history )
  by Yuxi Liu at July 1, 2020 at 20:42:04
• modal type ( modal type(rev # 9) | history )
  by John Baez at July 1, 2020 at 17:44:51
• groupoid object in an (infinity,1)-category ( groupoid object in an (infinity,1)-category(rev # 49) | history )
  by Urs Schreiber at July 1, 2020 at 13:16:34
• Ezra Getzler ( Ezra Getzler(rev # 5) | history )
  by Tim Porter at July 1, 2020 at 11:22:47
• Deligne groupoid ( Deligne groupoid(rev # 5) | history )
  by Tim Porter at July 1, 2020 at 11:17:47
• motivation for higher differential geometry ( motivation for higher differential geometry(rev # 18) | history )
  by Yuxi Liu at July 1, 2020 at 10:59:51
• adjoint functor theorem ( adjoint functor theorem(rev # 57) | history )
  by Thomas Holder at July 1, 2020 at 09:45:52
• Giry monad ( Giry monad(rev # 55) | history )
  by mattecapu? at July 1, 2020 at 09:38:34
• Albert algebra ( Albert algebra(rev # 22) | history )
  by David Corfield at July 1, 2020 at 09:21:47
• ultrafilter ( ultrafilter(rev # 41) | history )
  by David Corfield at July 1, 2020 at 07:34:44
• ANITA experiment ( ANITA experiment(rev # 4) | history )
  by Urs Schreiber at July 1, 2020 at 06:58:10
• ultraproduct ( ultraproduct(rev # 26) | history )
  by David Corfield at July 1, 2020 at 06:36:55
• groupoid object in an (infinity,1)-category ( groupoid object in an (infinity,1)-category(rev # 48) | history )
  by Urs Schreiber at July 1, 2020 at 04:31:27
• space and quantity ( space and quantity(rev # 36) | history )
  by Yuxi Liu at July 1, 2020 at 04:26:50
• Yang-Hui He ( Yang-Hui He(rev # 10) | history )
  by Urs Schreiber at July 1, 2020 at 03:29:09
• heterotic string theory ( heterotic string theory(rev # 60) | history )
  by Urs Schreiber at July 1, 2020 at 03:26:24
• string phenomenology ( string phenomenology(rev # 72) | history )
  by Urs Schreiber at July 1, 2020 at 03:24:59
• effective quantum field theory ( effective quantum field theory(rev # 62) | history )
  by Urs Schreiber at July 1, 2020 at 03:19:59
• Albert algebra ( Albert algebra(rev # 21) | history )
  by Urs Schreiber at July 1, 2020 at 03:16:39
• nerve ( nerve(rev # 64) | history )
  by Théo de Oliveira S.? at June 30, 2020 at 23:44:39
• geometric nerve of a bicategory ( geometric nerve of a bicategory(rev # 15) | history )
  by Théo de Oliveira S.? at June 30, 2020 at 23:40:12
• nerve ( nerve(rev # 63) | history )
  by Théo de Oliveira S.? at June 30, 2020 at 22:56:43
• geometric nerve of a bicategory ( geometric nerve of a bicategory(rev # 14) | history )
  by Théo de Oliveira S.? at June 30, 2020 at 20:33:38
• induced representation ( induced representation(rev # 41) | history )
  by Anonymous at June 30, 2020 at 16:19:50
• colimits of equifibered transformations -- section
  by Urs Schreiber at June 30, 2020 at 15:56:12
• equifibered natural transformation ( equifibered natural transformation(rev # 5) | history )
  by Urs Schreiber at June 30, 2020 at 15:54:37
• Sandbox ( Sandbox(rev # 2034) | history )
  by Urs Schreiber at June 30, 2020 at 15:30:38
• Conduché functor ( Conduché functor(rev # 22) | history )
  by David Corfield at June 30, 2020 at 12:49:17
• Dalimil Mazáč ( Dalimil Mazáč(rev # 2) | history )
  by Anonymous at June 30, 2020 at 10:21:12
• decorated cospan ( decorated cospan(rev # 3) | history )
  by Andrew Baas? at June 30, 2020 at 08:57:38
• decorated cospan ( decorated cospan(rev # 2) | history )
  by Micah Halter? at June 30, 2020 at 08:51:32
• étale infinity-groupoid ( étale infinity-groupoid(rev # 10) | history )
  by Urs Schreiber at June 30, 2020 at 03:53:07
• differentiable manifold ( differentiable manifold(rev # 28) | history )
  by Anonymous at June 30, 2020 at 01:47:29
• accessible (infinity,1)-category ( accessible (infinity,1)-category(rev # 23) | history )
  by Urs Schreiber at June 29, 2020 at 17:43:29
• Kripke-Joyal semantics ( Kripke-Joyal semantics(rev # 20) | history )
  by Thomas Holder at June 29, 2020 at 09:06:58
• extended natural number ( extended natural number(rev # 11) | history )
  by Anonymous at June 29, 2020 at 08:44:50
• Complex cobordism and stable homotopy groups of spheres ( Complex cobordism and stable homotopy groups of spheres(rev # 20) | history )
  by Urs Schreiber at June 29, 2020 at 08:43:58
• J-homomorphism ( J-homomorphism(rev # 40) | history )
  by Urs Schreiber at June 29, 2020 at 08:25:44
• George Whitehead ( George Whitehead(rev # 6) | history )
  by Urs Schreiber at June 29, 2020 at 08:22:18
• sheaf ( sheaf(rev # 67) | history )
  by Anonymous at June 29, 2020 at 05:43:43
• Karl Rosenkranz ( Karl Rosenkranz(rev # 4) | history )
  by Daniel Luckhardt at June 29, 2020 at 03:18:55
• span ( span(rev # 53) | history )
  by Tim Porter at June 29, 2020 at 03:00:06
• limit of a function ( limit of a function(rev # 3) | history )
  by Toby Bartels at June 28, 2020 at 22:56:19
• limit of a function ( limit of a function(rev # 2) | history )
  by Toby Bartels at June 28, 2020 at 17:53:08
• Eckmann-Hilton argument ( Eckmann-Hilton argument(rev # 24) | history )
  by Urs Schreiber at June 28, 2020 at 10:35:56
• Yuxi Liu
  by Yuxi Liu at June 28, 2020 at 09:05:03
• Eckmann-Hilton argument ( Eckmann-Hilton argument(rev # 23) | history )
  by Yuxi Liu at June 28, 2020 at 08:57:34
• perfect space ( perfect space(rev # 4) | history )
  by Toby Bartels at June 28, 2020 at 05:16:11
• convergence ( convergence(rev # 19) | history )
  by Toby Bartels at June 28, 2020 at 05:10:56
• isolated point
  by Toby Bartels at June 28, 2020 at 05:04:40
• limit of a function ( limit of a function(rev # 1) | history )
  by Toby Bartels at June 28, 2020 at 04:42:29
• composition ( composition(rev # 25) | history )
  by Toby Bartels at June 28, 2020 at 04:42:09
• convergence ( convergence(rev # 18) | history )
  by Toby Bartels at June 28, 2020 at 04:31:33
• pseudoalgebra for a 2-monad ( pseudoalgebra for a 2-monad(rev # 6) | history )
  by David Corfield at June 27, 2020 at 12:02:16
• over-(infinity,1)-topos ( over-(infinity,1)-topos(rev # 20) | history )
  by Urs Schreiber at June 27, 2020 at 10:17:00
• (∞,1)-limit ( (∞,1)-limit(rev # 74) | history )
  by Urs Schreiber at June 27, 2020 at 09:16:29
• bimodule ( bimodule(rev # 30) | history )
  by Tim Porter at June 27, 2020 at 08:03:34
• generalized (Eilenberg-Steenrod) cohomology ( generalized (Eilenberg-Steenrod) cohomology(rev # 71) | history )
  by Anonymous at June 27, 2020 at 07:51:37
• monomorphism in an (infinity,1)-category ( monomorphism in an (infinity,1)-category(rev # 15) | history )
  by Urs Schreiber at June 27, 2020 at 07:09:21
• monomorphism in an (infinity,1)-category ( monomorphism in an (infinity,1)-category(rev # 14) | history )
  by Hurkyl? at June 27, 2020 at 06:51:03
• étendue ( étendue(rev # 23) | history )
  by Thomas Holder at June 27, 2020 at 05:00:54
• monomorphism in an (infinity,1)-category ( monomorphism in an (infinity,1)-category(rev # 13) | history )
  by Urs Schreiber at June 27, 2020 at 04:24:31
• Charles Rezk ( Charles Rezk(rev # 7) | history )
  by Urs Schreiber at June 27, 2020 at 04:21:19
• (infinity,1)-topos ( (infinity,1)-topos(rev # 72) | history )
  by Urs Schreiber at June 27, 2020 at 04:20:37
• natural numbers object ( natural numbers object(rev # 52) | history )
  by Urs Schreiber at June 27, 2020 at 03:08:55
• Nima Rasekh ( Nima Rasekh(rev # 3) | history )
  by Urs Schreiber at June 27, 2020 at 03:07:43
• simplicial skeleton ( simplicial skeleton(rev # 26) | history )
  by Urs Schreiber at June 27, 2020 at 03:04:27
• n-truncated object of an (infinity,1)-category ( n-truncated object of an (infinity,1)-category(rev # 57) | history )
  by Urs Schreiber at June 27, 2020 at 03:04:09
• limit point ( limit point(rev # 9) | history )
  by Toby Bartels at June 27, 2020 at 02:54:50
• dream mathematics ( dream mathematics(rev # 9) | history )
  by Toby Bartels at June 27, 2020 at 02:49:52
• meager set ( meager set(rev # 3) | history )
  by Toby Bartels at June 27, 2020 at 00:47:56
• adjoint functor theorem ( adjoint functor theorem(rev # 56) | history )
  by Urs Schreiber at June 26, 2020 at 14:26:31
• adjoint functor theorem ( adjoint functor theorem(rev # 55) | history )
  by Bartosz Milewski? at June 26, 2020 at 12:21:55
• symplectic dual pair ( symplectic dual pair(rev # 4) | history )
  by Ammar Husain? at June 26, 2020 at 10:39:55
• action ( action(rev # 55) | history )
  by Tim Porter at June 26, 2020 at 10:23:12
• exponentiable topos ( exponentiable topos(rev # 20) | history )
  by Thomas Holder at June 26, 2020 at 09:55:51
• spontaneously broken symmetry ( spontaneously broken symmetry(rev # 19) | history )
  by Urs Schreiber at June 26, 2020 at 03:30:54
• bimodule ( bimodule(rev # 29) | history )
  by Urs Schreiber at June 26, 2020 at 03:01:17
• AGT correspondence ( AGT correspondence(rev # 20) | history )
  by Urs Schreiber at June 26, 2020 at 02:52:06
• adjoint functor theorem ( adjoint functor theorem(rev # 54) | history )
  by Bartosz Milewski at June 25, 2020 at 21:15:14
• adjoint functor theorem ( adjoint functor theorem(rev # 53) | history )
  by Bartosz Milewski at June 25, 2020 at 20:40:15
• adjoint functor theorem ( adjoint functor theorem(rev # 52) | history )
  by Bartosz Milewski at June 25, 2020 at 16:15:39
• Yang-Baxter equation ( Yang-Baxter equation(rev # 4) | history )
  by Anonymous at June 25, 2020 at 13:42:50