nLab Latest Revisions

• countable set ( countable set(rev # 21) | history )
  by Maus? at December 6, 2024 at 14:55:08
• condensed mathematics ( condensed mathematics(rev # 24) | history )
  by Maus? at December 6, 2024 at 14:41:14
• synthetic Stone duality
  by Maus? at December 6, 2024 at 14:40:44
• Brouwer's fixed point theorem ( Brouwer's fixed point theorem(rev # 9) | history )
  by Maus? at December 6, 2024 at 14:29:36
• dependent choice ( dependent choice(rev # 9) | history )
  by Maus? at December 6, 2024 at 14:26:57
• Freek Geerligs
  by Maus? at December 6, 2024 at 14:25:21
• Benno van den Berg ( Benno van den Berg(rev # 7) | history )
  by Maus? at December 6, 2024 at 14:25:08
• Hugo Moeneclaey ( Hugo Moeneclaey(rev # 2) | history )
  by Maus? at December 6, 2024 at 14:21:58
• Thierry Coquand ( Thierry Coquand(rev # 11) | history )
  by Maus? at December 6, 2024 at 14:21:42
• Felix Cherubini ( Felix Cherubini(rev # 14) | history )
  by Maus? at December 6, 2024 at 14:21:06
• synthetic mathematics ( synthetic mathematics(rev # 34) | history )
  by Maus? at December 6, 2024 at 14:20:49
• synthetic topology ( synthetic topology(rev # 17) | history )
  by Maus? at December 6, 2024 at 14:14:58
• Stone duality ( Stone duality(rev # 32) | history )
  by Maus? at December 6, 2024 at 14:13:42
• second-countable space ( second-countable space(rev # 19) | history )
  by Maus? at December 6, 2024 at 14:10:38
• compactum ( compactum(rev # 30) | history )
  by Maus? at December 6, 2024 at 14:09:38
• Stone space ( Stone space(rev # 10) | history )
  by Maus? at December 6, 2024 at 14:09:02
• condensed set ( condensed set(rev # 34) | history )
  by Maus? at December 6, 2024 at 14:07:36
• countable set ( countable set(rev # 20) | history )
  by Maus? at December 6, 2024 at 14:06:27
• weak limited principle of omniscience ( weak limited principle of omniscience(rev # 2) | history )
  by Maus? at December 6, 2024 at 14:02:31
• Markov's principle ( Markov's principle(rev # 21) | history )
  by Maus? at December 6, 2024 at 14:02:15
• lesser limited principle of omniscience ( lesser limited principle of omniscience(rev # 3) | history )
  by Maus? at December 6, 2024 at 14:01:22
• Gopakumar-Vafa invariant ( Gopakumar-Vafa invariant(rev # 5) | history )
  by Samuel Adrian Antz at December 6, 2024 at 13:40:02
• homotopy groups of spheres ( homotopy groups of spheres(rev # 59) | history )
  by Nikita Golub? at December 6, 2024 at 13:22:48
• identity type ( identity type(rev # 118) | history )
  by Naïm Favier? at December 6, 2024 at 11:17:42
• Mackey functor ( Mackey functor(rev # 47) | history )
  by Natalie Stewart at December 5, 2024 at 18:19:50
• Rajesh Gopakumar ( Rajesh Gopakumar(rev # 8) | history )
  by Urs Schreiber at December 5, 2024 at 15:31:40
• Cumrun Vafa ( Cumrun Vafa(rev # 51) | history )
  by Samuel Adrian Antz at December 5, 2024 at 14:54:14
• Rajesh Gopakumar ( Rajesh Gopakumar(rev # 7) | history )
  by Samuel Adrian Antz at December 5, 2024 at 14:53:11
• Gopakumar-Vafa invariant ( Gopakumar-Vafa invariant(rev # 4) | history )
  by Samuel Adrian Antz at December 5, 2024 at 14:38:14
• black holes in string theory ( black holes in string theory(rev # 59) | history )
  by Samuel Adrian Antz at December 5, 2024 at 13:09:35
• Tambara functor ( Tambara functor(rev # 16) | history )
  by Natalie Stewart at December 4, 2024 at 22:21:09
• action ( action(rev # 75) | history )
  by David Corfield at December 4, 2024 at 20:52:47
• category of simplices ( category of simplices(rev # 24) | history )
  by Manuel Araújo? at December 4, 2024 at 19:19:56
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 392) | history )
  by Urs Schreiber at December 4, 2024 at 17:18:44
• Sandbox ( Sandbox(rev # 3483) | history )
  by Urs Schreiber at December 4, 2024 at 17:17:34
• span ( span(rev # 70) | history )
  by varkor at December 4, 2024 at 15:51:33
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 391) | history )
  by Urs Schreiber at December 4, 2024 at 14:36:08
• Lukas Woike ( Lukas Woike(rev # 3) | history )
  by Urs Schreiber at December 4, 2024 at 14:31:18
• Adrien Brochier ( Adrien Brochier(rev # 4) | history )
  by Urs Schreiber at December 4, 2024 at 14:31:04
• modular functor ( modular functor(rev # 29) | history )
  by Urs Schreiber at December 4, 2024 at 14:30:15
• list of category theory papers that never appeared ( list of category theory papers that never appeared(rev # 18) | history )
  by varkor at December 4, 2024 at 09:46:06
• Friedhelm Waldhausen ( Friedhelm Waldhausen(rev # 8) | history )
  by Urs Schreiber at December 4, 2024 at 07:59:35
• algebraic K-theory ( algebraic K-theory(rev # 83) | history )
  by Urs Schreiber at December 4, 2024 at 07:58:58
• Tambara functor ( Tambara functor(rev # 15) | history )
  by Natalie Stewart at December 4, 2024 at 05:35:55
• N-∞ operad ( N-∞ operad(rev # 13) | history )
  by Natalie Stewart at December 4, 2024 at 04:48:19
• homotopy hypothesis ( homotopy hypothesis(rev # 82) | history )
  by Mike Shulman at December 3, 2024 at 18:33:56
• simplicial skeleton ( simplicial skeleton(rev # 43) | history )
  by Urs Schreiber at December 3, 2024 at 16:41:47
• category of simplices ( category of simplices(rev # 23) | history )
  by only commenting? at December 3, 2024 at 14:51:31
• Nigel Higson ( Nigel Higson(rev # 2) | history )
  by Samuel Adrian Antz at December 3, 2024 at 14:22:14
• Douglas Bridges ( Douglas Bridges(rev # 6) | history )
  by Urs Schreiber at December 3, 2024 at 13:25:06
• constructive mathematics ( constructive mathematics(rev # 94) | history )
  by Urs Schreiber at December 3, 2024 at 13:24:42
• FGA ( FGA(rev # 6) | history )
  by Hilde? at December 3, 2024 at 13:05:31
• Fourier transform of distributions ( Fourier transform of distributions(rev # 10) | history )
  by Jack Valmadre? at December 3, 2024 at 12:50:55
• action monad ( action monad(rev # 20) | history )
  by David Corfield at December 3, 2024 at 10:15:09
• Berkovits superstring ( Berkovits superstring(rev # 15) | history )
  by Urs Schreiber at December 3, 2024 at 06:33:02
• constructive mathematics ( constructive mathematics(rev # 93) | history )
  by Mike Shulman at December 3, 2024 at 01:34:12
• Grp ( Grp(rev # 20) | history )
  by Andrés Ortega? at December 2, 2024 at 23:08:07
• IKKT matrix model ( IKKT matrix model(rev # 46) | history )
  by Urs Schreiber at December 2, 2024 at 21:48:03
• Sandbox ( Sandbox(rev # 3482) | history )
  by Urs Schreiber at December 2, 2024 at 16:34:42
• category of simplices ( category of simplices(rev # 22) | history )
  by only commenting? at December 2, 2024 at 15:45:23
• club in a 2-category ( club in a 2-category(rev # 2) | history )
  by varkor at December 2, 2024 at 15:41:10
• fuzzy sphere ( fuzzy sphere(rev # 28) | history )
  by Urs Schreiber at December 2, 2024 at 14:33:35
• category of simplices ( category of simplices(rev # 21) | history )
  by only commenting? at December 2, 2024 at 11:37:51
• category of simplices ( category of simplices(rev # 20) | history )
  by only commenting? at December 2, 2024 at 11:37:50
• Friedrich Wagemann ( Friedrich Wagemann(rev # 2) | history )
  by Urs Schreiber at December 2, 2024 at 10:30:53
• crossed module ( crossed module(rev # 67) | history )
  by Urs Schreiber at December 2, 2024 at 10:28:55
• differential crossed module ( differential crossed module(rev # 14) | history )
  by Urs Schreiber at December 2, 2024 at 10:20:47
• terminal object in a quasi-category ( terminal object in a quasi-category(rev # 13) | history )
  by Anton? at December 2, 2024 at 08:30:55
• Chern-Simons theory ( Chern-Simons theory(rev # 136) | history )
  by Jesus Lopez? at December 2, 2024 at 01:02:42
• Sandbox ( Sandbox(rev # 3481) | history )
  by Jesus Lopez? at December 2, 2024 at 01:01:41
• posite ( posite(rev # 17) | history )
  by Toby Bartels at December 1, 2024 at 21:42:17
• Chern-Simons theory ( Chern-Simons theory(rev # 135) | history )
  by Jesus Lopez? at December 1, 2024 at 19:43:08
• little cubes operad ( little cubes operad(rev # 44) | history )
  by Naïm Favier? at December 1, 2024 at 15:58:04
• parenthesized braid operad ( parenthesized braid operad(rev # 8) | history )
  by Naïm Favier? at December 1, 2024 at 15:09:53
• Phillip James E. Peebles ( Phillip James E. Peebles(rev # 2) | history )
  by Urs Schreiber at December 1, 2024 at 12:32:03
• dark matter ( dark matter(rev # 61) | history )
  by Urs Schreiber at December 1, 2024 at 12:31:31
• Harold Erbin ( Harold Erbin(rev # 4) | history )
  by Harold Erbin at November 30, 2024 at 18:45:14
• matrix model ( matrix model(rev # 13) | history )
  by Urs Schreiber at November 30, 2024 at 16:44:59
• D=2 quantum gravity ( D=2 quantum gravity(rev # 3) | history )
  by Urs Schreiber at November 30, 2024 at 16:43:28
• music theory ( music theory(rev # 25) | history )
  by Urs Schreiber at November 30, 2024 at 05:56:58
• music theory ( music theory(rev # 24) | history )
  by Drew Flieder? at November 30, 2024 at 01:17:09
• principal bundle ( principal bundle(rev # 69) | history )
  by Jesus Lopez? at November 30, 2024 at 00:31:51
• topological twist ( topological twist(rev # 11) | history )
  by V? at November 29, 2024 at 18:58:32
• topologically twisted supergravity ( topologically twisted supergravity(rev # 2) | history )
  by V? at November 29, 2024 at 18:55:37
• n-image ( n-image(rev # 23) | history )
  by Urs Schreiber at November 29, 2024 at 16:15:27
• monomorphism in an (infinity,1)-category ( monomorphism in an (infinity,1)-category(rev # 20) | history )
  by Urs Schreiber at November 29, 2024 at 16:09:09
• nonabelian cohomology ( nonabelian cohomology(rev # 95) | history )
  by Urs Schreiber at November 29, 2024 at 15:58:51
• theory ( theory(rev # 40) | history )
  by Matteo Capucci at November 29, 2024 at 15:33:33
• Serre long exact sequence ( Serre long exact sequence(rev # 7) | history )
  by Ulrik Buchholtz at November 29, 2024 at 15:08:20
• nonabelian cohomology ( nonabelian cohomology(rev # 94) | history )
  by Urs Schreiber at November 29, 2024 at 14:19:24
• adjoint action ( adjoint action(rev # 14) | history )
  by Urs Schreiber at November 29, 2024 at 13:42:47
• representable multicategory ( representable multicategory(rev # 15) | history )
  by David Corfield at November 29, 2024 at 12:33:48
• representable multicategory ( representable multicategory(rev # 14) | history )
  by Urs Schreiber at November 29, 2024 at 12:16:49
• Ehresmann connection ( Ehresmann connection(rev # 23) | history )
  by Urs Schreiber at November 29, 2024 at 12:07:12
• representable multicategory ( representable multicategory(rev # 13) | history )
  by varkor at November 29, 2024 at 10:59:03
• Chern class ( Chern class(rev # 50) | history )
  by Urs Schreiber at November 29, 2024 at 07:13:59
• May recognition theorem ( May recognition theorem(rev # 6) | history )
  by Urs Schreiber at November 29, 2024 at 06:58:58
• embedding of smooth manifolds into formal duals of R-algebras ( embedding of smooth manifolds into formal duals of R-algebras(rev # 37) | history )
  by Dmitri Pavlov at November 29, 2024 at 05:26:18
• embedding of smooth manifolds into formal duals of R-algebras ( embedding of smooth manifolds into formal duals of R-algebras(rev # 36) | history )
  by Dmitri Pavlov at November 29, 2024 at 04:21:43
• simplicial complex ( simplicial complex(rev # 46) | history )
  by Mathquest? at November 28, 2024 at 17:54:22