nLab Latest Revisions

• infinite decimal representation of a unit interval ( infinite decimal representation of a unit interval(rev # 3) | history )
  by p? at August 23, 2025 at 13:41:22
• Vladimir Turaev ( Vladimir Turaev(rev # 11) | history )
  by Urs Schreiber at August 23, 2025 at 12:39:04
• Fox pairing ( Fox pairing(rev # 2) | history )
  by Urs Schreiber at August 23, 2025 at 12:36:27
• Gwénaël Massuyeau ( Gwénaël Massuyeau(rev # 4) | history )
  by Urs Schreiber at August 23, 2025 at 12:35:21
• Fox derivative ( Fox derivative(rev # 24) | history )
  by Urs Schreiber at August 23, 2025 at 12:33:59
• double Poisson structure ( double Poisson structure(rev # 7) | history )
  by Urs Schreiber at August 23, 2025 at 12:33:43
• left Fox derivative > history ( left Fox derivative > history(rev # 1) | history )
  by Tim Porter at August 23, 2025 at 12:04:00
• Fox pairing ( Fox pairing(rev # 1) | history )
  by Tim Porter at August 23, 2025 at 12:02:04
• Gwénaël Massuyeau ( Gwénaël Massuyeau(rev # 3) | history )
  by Tim Porter at August 23, 2025 at 11:32:41
• busy beaver function ( busy beaver function(rev # 3) | history )
  by Urs Schreiber at August 23, 2025 at 11:17:12
• Tibor Radó ( Tibor Radó(rev # 2) | history )
  by Urs Schreiber at August 23, 2025 at 11:15:24
• triangulation theorems -- references ( triangulation theorems -- references(rev # 6) | history )
  by Urs Schreiber at August 23, 2025 at 11:14:27
• representable morphism ( representable morphism(rev # 9) | history )
  by Matteo Capucci at August 23, 2025 at 10:55:29
• busy beaver function ( busy beaver function(rev # 2) | history )
  by David Roberts at August 23, 2025 at 10:03:15
• busy beaver function ( busy beaver function(rev # 1) | history )
  by Urs Schreiber at August 23, 2025 at 09:42:26
• effects of foundations on core mathematics ( effects of foundations on core mathematics(rev # 25) | history )
  by Urs Schreiber at August 23, 2025 at 09:29:12
• Turing machine ( Turing machine(rev # 6) | history )
  by Urs Schreiber at August 23, 2025 at 09:16:54
• Sandbox ( Sandbox(rev # 3747) | history )
  by Urs Schreiber at August 23, 2025 at 09:15:32
• effects of foundations on core mathematics ( effects of foundations on core mathematics(rev # 24) | history )
  by Urs Schreiber at August 23, 2025 at 08:35:38
• string diagram ( string diagram(rev # 94) | history )
  by Urs Schreiber at August 23, 2025 at 08:29:48
• Sandbox ( Sandbox(rev # 3746) | history )
  by Urs Schreiber at August 23, 2025 at 08:24:30
• radix notation ( radix notation(rev # 15) | history )
  by p? at August 23, 2025 at 04:26:35
• prealgebra real number > history ( prealgebra real number > history(rev # 6) | history )
  by p? at August 23, 2025 at 04:23:58
• radix notation ( radix notation(rev # 14) | history )
  by p? at August 23, 2025 at 03:25:51
• dependent product type ( dependent product type(rev # 42) | history )
  by p? at August 23, 2025 at 03:14:50
• dependent product type ( dependent product type(rev # 41) | history )
  by p? at August 23, 2025 at 02:21:43
• effects of foundations on core mathematics ( effects of foundations on core mathematics(rev # 23) | history )
  by Joseph Foster? at August 23, 2025 at 02:02:01
• cardinal number ( cardinal number(rev # 50) | history )
  by Hayley Watson? at August 22, 2025 at 23:58:00
• red herring principle ( red herring principle(rev # 30) | history )
  by Hayley Watson? at August 22, 2025 at 23:27:54
• abelian sheaf cohomology ( abelian sheaf cohomology(rev # 43) | history )
  by Trivial Editor? at August 22, 2025 at 20:24:38
• differential cohomotopy ( differential cohomotopy(rev # 4) | history )
  by Urs Schreiber at August 22, 2025 at 20:18:44
• HZR-theory ( HZR-theory(rev # 8) | history )
  by Urs Schreiber at August 22, 2025 at 18:44:58
• Sandbox ( Sandbox(rev # 3745) | history )
  by Urs Schreiber at August 22, 2025 at 17:13:50
• Thomas Creutzig ( Thomas Creutzig(rev # 7) | history )
  by Urs Schreiber at August 22, 2025 at 17:09:16
• Lean ( Lean(rev # 25) | history )
  by anon? at August 22, 2025 at 15:08:37
• split monomorphism ( split monomorphism(rev # 20) | history )
  by varkor at August 22, 2025 at 09:54:03
• large cocompleteness ( large cocompleteness(rev # 12) | history )
  by varkor at August 22, 2025 at 09:51:48
• Tobias Lenz ( Tobias Lenz(rev # 4) | history )
  by Urs Schreiber at August 22, 2025 at 09:27:47
• Yoneda lemma for (infinity,1)-categories ( Yoneda lemma for (infinity,1)-categories(rev # 29) | history )
  by Urs Schreiber at August 22, 2025 at 09:09:13
• spherical fibration ( spherical fibration(rev # 14) | history )
  by Urs Schreiber at August 22, 2025 at 09:04:44
• large cocompleteness ( large cocompleteness(rev # 11) | history )
  by Urs Schreiber at August 22, 2025 at 09:01:44
• large cocompleteness ( large cocompleteness(rev # 10) | history )
  by varkor at August 22, 2025 at 08:59:09
• Ronnie Brown ( Ronnie Brown(rev # 19) | history )
  by Urs Schreiber at August 22, 2025 at 08:22:19
• Omar Antolín-Camarena
  by Urs Schreiber at August 22, 2025 at 08:21:44
• free groupoid ( free groupoid(rev # 17) | history )
  by Urs Schreiber at August 22, 2025 at 08:19:55
• (infinity,1)-category ( (infinity,1)-category(rev # 108) | history )
  by Urs Schreiber at August 22, 2025 at 08:15:31
• Tobias Barthel ( Tobias Barthel(rev # 4) | history )
  by Urs Schreiber at August 22, 2025 at 08:10:46
• Set ( Set(rev # 44) | history )
  by Urs Schreiber at August 22, 2025 at 08:09:06
• Yoshifumi Hyakutake
  by Urs Schreiber at August 22, 2025 at 07:59:46
• higher curvature corrections to D=11 supergravity -- references ( higher curvature corrections to D=11 supergravity -- references(rev # 15) | history )
  by Urs Schreiber at August 22, 2025 at 07:56:04
• Seiberg-Witten moduli space
  by Samuel Adrian Antz at August 21, 2025 at 23:57:49
• Yang-Mills moduli space
  by Samuel Adrian Antz at August 21, 2025 at 23:57:15
• self-dual Yang-Mills theory ( self-dual Yang-Mills theory(rev # 10) | history )
  by Samuel Adrian Antz at August 21, 2025 at 23:52:20
• D=4 Yang-Mills theory ( D=4 Yang-Mills theory(rev # 4) | history )
  by Samuel Adrian Antz at August 21, 2025 at 23:52:16
• Seiberg-Witten equations ( Seiberg-Witten equations(rev # 4) | history )
  by Samuel Adrian Antz at August 21, 2025 at 23:52:10
• Yang-Mills-Higgs equations ( Yang-Mills-Higgs equations(rev # 7) | history )
  by Urs Schreiber at August 21, 2025 at 20:14:53
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 39) | history )
  by Urs Schreiber at August 21, 2025 at 18:34:02
• Yang-Mills-Higgs equations ( Yang-Mills-Higgs equations(rev # 6) | history )
  by Urs Schreiber at August 21, 2025 at 17:35:01
• Yang-Mills-Higgs equations ( Yang-Mills-Higgs equations(rev # 5) | history )
  by Urs Schreiber at August 21, 2025 at 13:58:07
• functorial field theory ( functorial field theory(rev # 85) | history )
  by Tomas? at August 21, 2025 at 13:35:26
• center ( center(rev # 31) | history )
  by Tomas? at August 21, 2025 at 13:27:36
• Drinfeld center ( Drinfeld center(rev # 15) | history )
  by Tomas? at August 21, 2025 at 13:19:45
• center of a category ( center of a category(rev # 4) | history )
  by Tomas? at August 21, 2025 at 13:16:04
• Yang-Mills-Higgs equations ( Yang-Mills-Higgs equations(rev # 4) | history )
  by Urs Schreiber at August 21, 2025 at 13:03:59
• cohomotopy ( cohomotopy(rev # 121) | history )
  by Urs Schreiber at August 21, 2025 at 12:40:13
• Orlando Alvarez ( Orlando Alvarez(rev # 8) | history )
  by Urs Schreiber at August 21, 2025 at 11:23:23
• Dirac charge quantization ( Dirac charge quantization(rev # 50) | history )
  by Urs Schreiber at August 21, 2025 at 11:23:01
• reductive dual pair ( reductive dual pair(rev # 4) | history )
  by An? at August 21, 2025 at 11:00:04
• quantum computation ( quantum computation(rev # 149) | history )
  by Urs Schreiber at August 21, 2025 at 10:27:48
• quantum technology ( quantum technology(rev # 2) | history )
  by Urs Schreiber at August 21, 2025 at 09:35:51
• local cocompletion ( local cocompletion(rev # 3) | history )
  by varkor at August 21, 2025 at 09:30:55
• compactum ( compactum(rev # 10) | history )
  by Urs Schreiber at August 21, 2025 at 08:55:02
• Frank Wilczek ( Frank Wilczek(rev # 18) | history )
  by Urs Schreiber at August 21, 2025 at 08:53:56
• Martin Greiter ( Martin Greiter(rev # 2) | history )
  by Urs Schreiber at August 21, 2025 at 08:51:51
• braid group statistics ( braid group statistics(rev # 72) | history )
  by Urs Schreiber at August 21, 2025 at 08:50:40
• unitary morphism ( unitary morphism(rev # 8) | history )
  by Tomas? at August 21, 2025 at 06:46:40
• unitary representation ( unitary representation(rev # 10) | history )
  by Tomas? at August 21, 2025 at 06:34:59
• particle ( particle(rev # 21) | history )
  by Tomas? at August 20, 2025 at 21:35:52
• differential cohomology ( differential cohomology(rev # 66) | history )
  by Jesus Lopez? at August 20, 2025 at 19:58:40
• local cocompletion ( local cocompletion(rev # 2) | history )
  by Urs Schreiber at August 20, 2025 at 17:14:49
• hom-category ( hom-category(rev # 6) | history )
  by Urs Schreiber at August 20, 2025 at 17:14:30
• semicartesian monoidal category ( semicartesian monoidal category(rev # 40) | history )
  by varkor at August 20, 2025 at 14:10:44
• local cocompletion ( local cocompletion(rev # 1) | history )
  by varkor at August 20, 2025 at 12:32:49
• local colimit ( local colimit(rev # 5) | history )
  by varkor at August 20, 2025 at 12:27:01
• simplicial skeleton ( simplicial skeleton(rev # 46) | history )
  by Won Seong? at August 20, 2025 at 11:36:14
• Jonathan Beardsley ( Jonathan Beardsley(rev # 16) | history )
  by Urs Schreiber at August 20, 2025 at 09:53:38
• Nima Rasekh ( Nima Rasekh(rev # 12) | history )
  by Urs Schreiber at August 20, 2025 at 09:51:00
• filter quotient ( filter quotient(rev # 2) | history )
  by Urs Schreiber at August 20, 2025 at 09:50:10
• field with one element ( field with one element(rev # 53) | history )
  by Urs Schreiber at August 20, 2025 at 09:48:47
• category-theoretic approaches to probability theory ( category-theoretic approaches to probability theory(rev # 43) | history )
  by David Corfield at August 20, 2025 at 09:44:43
• analytic versus synthetic ( analytic versus synthetic(rev # 17) | history )
  by David Corfield at August 20, 2025 at 09:30:43
• filter quotient ( filter quotient(rev # 1) | history )
  by David Corfield at August 20, 2025 at 09:05:02
• Nima Rasekh ( Nima Rasekh(rev # 11) | history )
  by David Corfield at August 20, 2025 at 08:52:15
• homotopy type theory ( homotopy type theory(rev # 153) | history )
  by David Corfield at August 20, 2025 at 08:46:22
• Reidemeister move ( Reidemeister move(rev # 23) | history )
  by Urs Schreiber at August 20, 2025 at 08:39:42
• Cantor space ( Cantor space(rev # 33) | history )
  by Todd Trimble at August 20, 2025 at 01:28:30
• prequantum field theory ( prequantum field theory(rev # 60) | history )
  by Jesus Lopez? at August 20, 2025 at 01:16:50
• stable equivalence of vector bundles ( stable equivalence of vector bundles(rev # 2) | history )
  by Todd Trimble at August 20, 2025 at 00:48:21
• prequantum field theory ( prequantum field theory(rev # 59) | history )
  by David Corfield at August 19, 2025 at 18:22:51
• coreader comonad ( coreader comonad(rev # 27) | history )
  by Urs Schreiber at August 19, 2025 at 15:33:10