nLab Latest Revisions

• (infinity,0)-category ( (infinity,0)-category(rev # 13) | history )
  by Urs Schreiber at January 2, 2025 at 07:59:44
• Julie Bergner ( Julie Bergner(rev # 12) | history )
  by Urs Schreiber at January 2, 2025 at 07:58:44
• residually discrete local ring ( residually discrete local ring(rev # 3) | history )
  by Anonymouse? at January 2, 2025 at 07:41:36
• apartness ring ( apartness ring(rev # 2) | history )
  by Anonymouse? at January 2, 2025 at 07:38:55
• apartness ring ( apartness ring(rev # 1) | history )
  by Anonymouse? at January 2, 2025 at 05:35:09
• normed ring ( normed ring(rev # 18) | history )
  by Anonymouse? at January 2, 2025 at 05:33:10
• strictly weakly ordered ring ( strictly weakly ordered ring(rev # 10) | history )
  by Anonymouse? at January 2, 2025 at 05:25:33
• approximate integral domain ( approximate integral domain(rev # 12) | history )
  by Anonymouse? at January 2, 2025 at 05:23:01
• antisubalgebra ( antisubalgebra(rev # 14) | history )
  by Anonymouse? at January 2, 2025 at 05:17:10
• residually discrete local ring ( residually discrete local ring(rev # 2) | history )
  by Anonymouse? at January 2, 2025 at 05:08:42
• strongly extensional function ( strongly extensional function(rev # 5) | history )
  by Anonymouse? at January 2, 2025 at 04:44:05
• local ring ( local ring(rev # 49) | history )
  by Anonymouse? at January 2, 2025 at 04:38:01
• ring ( ring(rev # 97) | history )
  by Anonymouse? at January 2, 2025 at 04:33:45
• dagger category ( dagger category(rev # 82) | history )
  by Anonymouse? at January 2, 2025 at 04:08:13
• residually discrete local ring ( residually discrete local ring(rev # 1) | history )
  by Anonymouse? at January 2, 2025 at 04:05:13
• constructive mathematics ( constructive mathematics(rev # 95) | history )
  by Anonymouse? at January 2, 2025 at 03:25:53
• local ring ( local ring(rev # 48) | history )
  by Anonymouse? at January 2, 2025 at 03:20:29
• nilradical ( nilradical(rev # 17) | history )
  by Anonymouse? at January 2, 2025 at 03:02:23
• von Neumann regular ring ( von Neumann regular ring(rev # 22) | history )
  by Anonymouse? at January 2, 2025 at 02:42:28
• groupoid object in an (infinity,1)-category ( groupoid object in an (infinity,1)-category(rev # 55) | history )
  by Dmitri Pavlov at January 2, 2025 at 02:41:30
• dagger category ( dagger category(rev # 81) | history )
  by Dmitri Pavlov at January 2, 2025 at 02:41:24
• von Neumann regular ring ( von Neumann regular ring(rev # 21) | history )
  by Todd Trimble at January 2, 2025 at 01:50:03
• von Neumann regular ring ( von Neumann regular ring(rev # 20) | history )
  by Todd Trimble at January 1, 2025 at 23:23:59
• von Neumann regular ring ( von Neumann regular ring(rev # 19) | history )
  by Todd Trimble at January 1, 2025 at 21:53:38
• Sandbox ( Sandbox(rev # 3501) | history )
  by Urs Schreiber at January 1, 2025 at 19:21:29
• Marc Rieffel ( Marc Rieffel(rev # 8) | history )
  by Urs Schreiber at January 1, 2025 at 18:42:22
• noncommutative torus ( noncommutative torus(rev # 9) | history )
  by Urs Schreiber at January 1, 2025 at 18:42:09
• cohomotopy ( cohomotopy(rev # 110) | history )
  by Urs Schreiber at January 1, 2025 at 17:26:06
• Borromean link ( Borromean link(rev # 4) | history )
  by Urs Schreiber at January 1, 2025 at 16:27:07
• group extension ( group extension(rev # 61) | history )
  by Urs Schreiber at January 1, 2025 at 13:45:25
• cohomotopy ( cohomotopy(rev # 109) | history )
  by Urs Schreiber at January 1, 2025 at 11:19:42
• Heisenberg group ( Heisenberg group(rev # 21) | history )
  by Urs Schreiber at January 1, 2025 at 11:02:13
• cubical-type model category ( cubical-type model category(rev # 16) | history )
  by Evan Cavallo at January 1, 2025 at 01:45:37
• Beck-Chevalley condition ( Beck-Chevalley condition(rev # 62) | history )
  by Evan Cavallo at January 1, 2025 at 01:45:20
• premodel category ( premodel category(rev # 9) | history )
  by Evan Cavallo at January 1, 2025 at 00:23:19
• model structure on cubical sets ( model structure on cubical sets(rev # 24) | history )
  by Evan Cavallo at December 31, 2024 at 23:53:11
• test category ( test category(rev # 38) | history )
  by Dmitri Pavlov at December 31, 2024 at 23:17:41
• torsion of a Cartan connection ( torsion of a Cartan connection(rev # 8) | history )
  by Urs Schreiber at December 31, 2024 at 21:44:02
• Adam Marsh ( Adam Marsh(rev # 2) | history )
  by Urs Schreiber at December 31, 2024 at 21:41:50
• Riemannian geometry ( Riemannian geometry(rev # 32) | history )
  by Urs Schreiber at December 31, 2024 at 21:41:23
• premodel category ( premodel category(rev # 8) | history )
  by Evan Cavallo at December 31, 2024 at 19:07:13
• cylinder functor ( cylinder functor(rev # 18) | history )
  by Evan Cavallo at December 31, 2024 at 18:42:37
• pushout-product ( pushout-product(rev # 29) | history )
  by Evan Cavallo at December 31, 2024 at 18:37:28
• pushout-product ( pushout-product(rev # 28) | history )
  by Evan Cavallo at December 31, 2024 at 17:29:53
• cohomotopy ( cohomotopy(rev # 108) | history )
  by Urs Schreiber at December 31, 2024 at 17:28:45
• BF-theory ( BF-theory(rev # 12) | history )
  by Urs Schreiber at December 31, 2024 at 17:09:09
• cohomotopy ( cohomotopy(rev # 107) | history )
  by Urs Schreiber at December 31, 2024 at 16:58:36
• Sandbox ( Sandbox(rev # 3500) | history )
  by Urs Schreiber at December 31, 2024 at 16:37:43
• Heisenberg group ( Heisenberg group(rev # 20) | history )
  by Urs Schreiber at December 31, 2024 at 16:26:51
• pushout-product ( pushout-product(rev # 27) | history )
  by Evan Cavallo at December 31, 2024 at 15:53:59
• free abelian group ( free abelian group(rev # 20) | history )
  by Urs Schreiber at December 31, 2024 at 15:42:50
• algebra ( algebra(rev # 45) | history )
  by Urs Schreiber at December 31, 2024 at 15:42:09
• Serge Lang ( Serge Lang(rev # 2) | history )
  by Urs Schreiber at December 31, 2024 at 15:41:40
• real closed field ( real closed field(rev # 22) | history )
  by Urs Schreiber at December 31, 2024 at 15:40:56
• Sandbox ( Sandbox(rev # 3499) | history )
  by Evan Cavallo at December 31, 2024 at 15:20:27
• pushout-product ( pushout-product(rev # 26) | history )
  by Evan Cavallo at December 31, 2024 at 15:19:59
• pushout-product ( pushout-product(rev # 25) | history )
  by Evan Cavallo at December 31, 2024 at 14:44:00
• Heisenberg group ( Heisenberg group(rev # 19) | history )
  by Urs Schreiber at December 31, 2024 at 14:28:09
• Yuan-Ming Lu
  by Urs Schreiber at December 31, 2024 at 14:01:57
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 6) | history )
  by Urs Schreiber at December 31, 2024 at 13:58:17
• Xie Chen ( Xie Chen(rev # 4) | history )
  by Urs Schreiber at December 31, 2024 at 13:57:19
• Ashvin Vishwanath ( Ashvin Vishwanath(rev # 3) | history )
  by Urs Schreiber at December 31, 2024 at 13:56:06
• symmetry protected topological phase ( symmetry protected topological phase(rev # 52) | history )
  by Urs Schreiber at December 31, 2024 at 13:55:18
• Sandbox ( Sandbox(rev # 3498) | history )
  by Urs Schreiber at December 31, 2024 at 13:10:39
• cohomotopy ( cohomotopy(rev # 106) | history )
  by Urs Schreiber at December 31, 2024 at 12:49:15
• Michael Barratt ( Michael Barratt(rev # 9) | history )
  by Urs Schreiber at December 31, 2024 at 12:44:32
• compact-open topology ( compact-open topology(rev # 39) | history )
  by Urs Schreiber at December 31, 2024 at 12:43:57
• Joseph Goguen ( Joseph Goguen(rev # 11) | history )
  by David Corfield at December 31, 2024 at 12:06:31
• cohomotopy ( cohomotopy(rev # 105) | history )
  by Urs Schreiber at December 31, 2024 at 12:05:31
• compact-open topology ( compact-open topology(rev # 38) | history )
  by Urs Schreiber at December 31, 2024 at 12:04:30
• Herbert Federer ( Herbert Federer(rev # 2) | history )
  by Urs Schreiber at December 31, 2024 at 12:03:07
• Michael N. Dyer
  by Urs Schreiber at December 31, 2024 at 11:56:43
• group extension ( group extension(rev # 60) | history )
  by Urs Schreiber at December 31, 2024 at 11:14:10
• Sandbox ( Sandbox(rev # 3497) | history )
  by Urs Schreiber at December 31, 2024 at 10:31:01
• topos ( topos(rev # 124) | history )
  by Tomas? at December 31, 2024 at 08:56:13
• Nima Arkani-Hamed ( Nima Arkani-Hamed(rev # 14) | history )
  by Urs Schreiber at December 31, 2024 at 06:17:08
• Grant N. Remmen ( Grant N. Remmen(rev # 2) | history )
  by Urs Schreiber at December 31, 2024 at 06:16:47
• string scattering amplitude ( string scattering amplitude(rev # 38) | history )
  by Urs Schreiber at December 31, 2024 at 06:11:42
• Dialectica interpretation ( Dialectica interpretation(rev # 5) | history )
  by Valeria de Paiva at December 31, 2024 at 01:44:57
• Vagn Lundsgaard Hansen ( Vagn Lundsgaard Hansen(rev # 2) | history )
  by Urs Schreiber at December 31, 2024 at 00:11:19
• cohomotopy ( cohomotopy(rev # 104) | history )
  by Urs Schreiber at December 31, 2024 at 00:07:13
• Sandbox ( Sandbox(rev # 3496) | history )
  by Urs Schreiber at December 30, 2024 at 23:58:36
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 8) | history )
  by Urs Schreiber at December 30, 2024 at 23:07:24
• Frobenius reciprocity ( Frobenius reciprocity(rev # 60) | history )
  by Urs Schreiber at December 30, 2024 at 23:06:18
• Jaume Gomis ( Jaume Gomis(rev # 5) | history )
  by Urs Schreiber at December 30, 2024 at 23:03:05
• Frobenius reciprocity ( Frobenius reciprocity(rev # 59) | history )
  by Evan Cavallo at December 30, 2024 at 22:40:44
• braid group ( braid group(rev # 69) | history )
  by Urs Schreiber at December 30, 2024 at 22:33:07
• Deborah L. Goldsmith
  by Urs Schreiber at December 30, 2024 at 22:31:42
• loop braid group ( loop braid group(rev # 10) | history )
  by Urs Schreiber at December 30, 2024 at 22:28:27
• relation between type theory and category theory ( relation between type theory and category theory(rev # 91) | history )
  by Evan Cavallo at December 30, 2024 at 21:31:36
• HOL Light ( HOL Light(rev # 3) | history )
  by Valeria de Paiva at December 30, 2024 at 21:10:03
• NuPRL ( NuPRL(rev # 12) | history )
  by Valeria de Paiva at December 30, 2024 at 21:09:30
• Lean ( Lean(rev # 22) | history )
  by Valeria de Paiva at December 30, 2024 at 21:08:07
• geogebra ( geogebra(rev # 4) | history )
  by Valeria de Paiva at December 30, 2024 at 21:02:25
• (classical) axiom of multiple choice ( (classical) axiom of multiple choice(rev # 6) | history )
  by Valeria de Paiva at December 30, 2024 at 18:54:29
• category of cubes ( category of cubes(rev # 36) | history )
  by Naïm Favier? at December 30, 2024 at 18:52:21
• Sandbox2 ( Sandbox2(rev # 112) | history )
  by Naïm Favier? at December 30, 2024 at 18:39:51
• anodyne morphism ( anodyne morphism(rev # 17) | history )
  by Naïm Favier? at December 30, 2024 at 18:16:32
• axiom of choice ( axiom of choice(rev # 95) | history )
  by Valeria de Paiva at December 30, 2024 at 17:32:26
• logic ( logic(rev # 72) | history )
  by Valeria de Paiva at December 30, 2024 at 17:30:55