nLab Latest Revisions

• directed colimit ( directed colimit(rev # 15) | history )
  by David Corfield at February 6, 2025 at 20:12:15
• derivations of smooth functions are vector fields ( derivations of smooth functions are vector fields(rev # 16) | history )
  by Dmitri Pavlov at February 6, 2025 at 17:55:38
• near-ring ( near-ring(rev # 9) | history )
  by J-B Vienney at February 6, 2025 at 15:51:11
• Pauli gate ( Pauli gate(rev # 2) | history )
  by Urs Schreiber at February 6, 2025 at 15:31:41
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 404) | history )
  by Urs Schreiber at February 6, 2025 at 11:30:43
• subobject ( subobject(rev # 45) | history )
  by Elia Immanuel Auer? at February 6, 2025 at 11:03:59
• poset of subobjects ( poset of subobjects(rev # 19) | history )
  by Elia Immanuel Auer? at February 6, 2025 at 11:03:23
• superinsulator ( superinsulator(rev # 3) | history )
  by Urs Schreiber at February 6, 2025 at 10:14:26
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 403) | history )
  by Urs Schreiber at February 6, 2025 at 08:53:04
• superinsulator ( superinsulator(rev # 2) | history )
  by Urs Schreiber at February 6, 2025 at 08:52:03
• Carlo A. Trugenberger ( Carlo A. Trugenberger(rev # 2) | history )
  by Urs Schreiber at February 6, 2025 at 08:51:31
• confinement ( confinement(rev # 81) | history )
  by Urs Schreiber at February 6, 2025 at 08:51:16
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 402) | history )
  by Urs Schreiber at February 6, 2025 at 07:10:38
• electric field ( electric field(rev # 5) | history )
  by Urs Schreiber at February 6, 2025 at 07:09:46
• electric-magnetic duality ( electric-magnetic duality(rev # 25) | history )
  by Urs Schreiber at February 6, 2025 at 07:08:13
• superconductivity ( superconductivity(rev # 39) | history )
  by Urs Schreiber at February 6, 2025 at 07:07:23
• superinsulator ( superinsulator(rev # 1) | history )
  by Urs Schreiber at February 6, 2025 at 07:06:38
• confinement ( confinement(rev # 80) | history )
  by Urs Schreiber at February 6, 2025 at 07:05:10
• Carlo A. Trugenberger ( Carlo A. Trugenberger(rev # 1) | history )
  by Urs Schreiber at February 6, 2025 at 07:04:42
• Sandbox ( Sandbox(rev # 3539) | history )
  by Urs Schreiber at February 6, 2025 at 07:01:38
• M. Cristina Diamantini
  by Urs Schreiber at February 6, 2025 at 07:00:53
• linear subspace ( linear subspace(rev # 5) | history )
  by Urs Schreiber at February 6, 2025 at 06:54:16
• linear subspace ( linear subspace(rev # 4) | history )
  by Dmitri Pavlov at February 5, 2025 at 18:44:37
• lax algebra for a 2-monad ( lax algebra for a 2-monad(rev # 7) | history )
  by Adrián Doña Mateo? at February 5, 2025 at 17:24:38
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 18) | history )
  by Urs Schreiber at February 5, 2025 at 12:50:04
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 401) | history )
  by Urs Schreiber at February 5, 2025 at 12:42:03
• definite form ( definite form(rev # 7) | history )
  by Massimo Bertolotti? at February 5, 2025 at 08:53:39
• standard Borel space ( standard Borel space(rev # 5) | history )
  by John Baez at February 5, 2025 at 06:46:04
• Harold Steinacker ( Harold Steinacker(rev # 12) | history )
  by Urs Schreiber at February 5, 2025 at 03:49:24
• IKKT matrix model ( IKKT matrix model(rev # 48) | history )
  by Urs Schreiber at February 5, 2025 at 03:48:46
• light-cone quantization ( light-cone quantization(rev # 32) | history )
  by Urs Schreiber at February 5, 2025 at 03:44:18
• universal enveloping algebra ( universal enveloping algebra(rev # 25) | history )
  by Jesus Lopez? at February 5, 2025 at 01:25:59
• end ( end(rev # 68) | history )
  by Greyson Wesley? at February 5, 2025 at 01:11:23
• coextension of scalars ( coextension of scalars(rev # 10) | history )
  by Ari R? at February 4, 2025 at 16:34:08
• philosophy ( philosophy(rev # 86) | history )
  by Robin Adams? at February 4, 2025 at 11:10:43
• double nerve ( double nerve(rev # 4) | history )
  by Urs Schreiber at February 4, 2025 at 09:34:08
• Mohammad Garousi ( Mohammad Garousi(rev # 4) | history )
  by Urs Schreiber at February 4, 2025 at 09:07:07
• S-duality ( S-duality(rev # 46) | history )
  by Urs Schreiber at February 4, 2025 at 09:04:34
• Tate vector space ( Tate vector space(rev # 2) | history )
  by Urs Schreiber at February 4, 2025 at 05:51:51
• Tate vector space ( Tate vector space(rev # 1) | history )
  by Dmitri Pavlov at February 3, 2025 at 19:52:43
• Introduction to the Adams Spectral Sequence ( Introduction to the Adams Spectral Sequence(rev # 63) | history )
  by Manuel Araújo? at February 3, 2025 at 11:10:44
• algebraic definition of higher categories ( algebraic definition of higher categories(rev # 24) | history )
  by Tomas? at February 3, 2025 at 10:17:20
• Theta category ( Theta category(rev # 32) | history )
  by Tomas? at February 3, 2025 at 09:14:43
• thin element ( thin element(rev # 13) | history )
  by Tomas? at February 3, 2025 at 08:51:43
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 400) | history )
  by Urs Schreiber at February 3, 2025 at 07:14:28
• Ore condition in a category ( Ore condition in a category(rev # 8) | history )
  by Urs Schreiber at February 3, 2025 at 06:44:33
• point of a topos ( point of a topos(rev # 52) | history )
  by Michael Janou Glaeser? at February 3, 2025 at 04:06:54
• Krzysztof Gawedzki ( Krzysztof Gawedzki(rev # 10) | history )
  by Urs Schreiber at February 3, 2025 at 03:54:52
• quantum cohomology ring ( quantum cohomology ring(rev # 27) | history )
  by Urs Schreiber at February 3, 2025 at 03:53:25
• Young diagram ( Young diagram(rev # 33) | history )
  by Urs Schreiber at February 2, 2025 at 13:17:30
• primitive element ( primitive element(rev # 15) | history )
  by Manuel Araújo? at February 2, 2025 at 08:59:04
• Karl Svozil
  by Urs Schreiber at February 2, 2025 at 08:54:04
• quantum logic ( quantum logic(rev # 70) | history )
  by Urs Schreiber at February 2, 2025 at 08:51:13
• Ore condition in a category ( Ore condition in a category(rev # 7) | history )
  by Urs Schreiber at February 2, 2025 at 06:13:40
• Ore condition ( Ore condition(rev # 2) | history )
  by Urs Schreiber at February 2, 2025 at 06:10:15
• Ore set ( Ore set(rev # 6) | history )
  by Urs Schreiber at February 2, 2025 at 06:04:41
• Peano arithmetic ( Peano arithmetic(rev # 17) | history )
  by Luc Voo? at February 2, 2025 at 01:36:43
• ETCS with elements ( ETCS with elements(rev # 7) | history )
  by Robin Adams? at February 1, 2025 at 19:35:54
• sequential limit ( sequential limit(rev # 12) | history )
  by watcher? at February 1, 2025 at 19:07:39
• sequential colimit
  by Anonymouse? at February 1, 2025 at 19:07:30
• quantale ( quantale(rev # 42) | history )
  by Cioffo and Bonchi? at February 1, 2025 at 19:03:25
• Ore set ( Ore set(rev # 5) | history )
  by watcher? at February 1, 2025 at 18:52:30
• Ore condition ( Ore condition(rev # 1) | history )
  by watcher? at February 1, 2025 at 18:49:06
• Ore condition in a category ( Ore condition in a category(rev # 6) | history )
  by watcher? at February 1, 2025 at 18:44:24
• simplicial type theory ( simplicial type theory(rev # 18) | history )
  by Anonymouse? at February 1, 2025 at 17:42:52
• ETCS with elements ( ETCS with elements(rev # 6) | history )
  by Robin Adams? at February 1, 2025 at 17:33:24
• twisted arrow modality ( twisted arrow modality(rev # 2) | history )
  by Anonymouse? at February 1, 2025 at 17:03:52
• twisted arrow
  by Anonymouse? at February 1, 2025 at 16:48:34
• simplicial type theory ( simplicial type theory(rev # 17) | history )
  by Anonymouse? at February 1, 2025 at 16:45:33
• twisted arrow (∞,1)-category ( twisted arrow (∞,1)-category(rev # 7) | history )
  by Anonymouse? at February 1, 2025 at 16:45:00
• Nima Rasekh ( Nima Rasekh(rev # 7) | history )
  by Anonymouse? at February 1, 2025 at 16:35:48
• Chirantan Mukherjee
  by Anonymouse? at February 1, 2025 at 16:35:35
• coverage ( coverage(rev # 44) | history )
  by Urs Schreiber at February 1, 2025 at 16:33:06
• groupoid cardinality ( groupoid cardinality(rev # 32) | history )
  by Mike Shulman at February 1, 2025 at 16:09:12
• continuum ( continuum(rev # 16) | history )
  by Anonymouse? at February 1, 2025 at 15:54:48
• coverage ( coverage(rev # 43) | history )
  by Dmitri Pavlov at February 1, 2025 at 15:29:29
• functoriality of categories of presheaves ( functoriality of categories of presheaves(rev # 9) | history )
  by David Corfield at February 1, 2025 at 14:23:37
• functoriality of categories of presheaves ( functoriality of categories of presheaves(rev # 8) | history )
  by Urs Schreiber at February 1, 2025 at 10:37:54
• Sandbox ( Sandbox(rev # 3538) | history )
  by Urs Schreiber at February 1, 2025 at 06:57:47
• formal (infinity,1)-category theory ( formal (infinity,1)-category theory(rev # 10) | history )
  by Anonymouse? at January 31, 2025 at 21:22:19
• twisted arrow modality ( twisted arrow modality(rev # 1) | history )
  by Anonymouse? at January 31, 2025 at 21:12:49
• Yoneda lemma for (infinity,1)-categories ( Yoneda lemma for (infinity,1)-categories(rev # 28) | history )
  by Anonymouse? at January 31, 2025 at 21:03:27
• Segal type ( Segal type(rev # 10) | history )
  by Anonymouse? at January 31, 2025 at 21:00:05
• simplicial type theory ( simplicial type theory(rev # 16) | history )
  by Anonymouse? at January 31, 2025 at 20:59:35
• op modality ( op modality(rev # 3) | history )
  by Anonymouse? at January 31, 2025 at 20:54:08
• spatial type theory ( spatial type theory(rev # 3) | history )
  by Anonymouse? at January 31, 2025 at 20:50:26
• (infinity,1)-Kan extension ( (infinity,1)-Kan extension(rev # 10) | history )
  by Anonymouse? at January 31, 2025 at 20:38:50
• formal (infinity,1)-category theory ( formal (infinity,1)-category theory(rev # 9) | history )
  by Anonymouse? at January 31, 2025 at 20:31:32
• Yoneda lemma for (infinity,1)-categories ( Yoneda lemma for (infinity,1)-categories(rev # 27) | history )
  by Anonymouse? at January 31, 2025 at 20:27:20
• Ulrik Buchholtz ( Ulrik Buchholtz(rev # 16) | history )
  by Anonymouse? at January 31, 2025 at 20:26:30
• Jonathan Weinberger ( Jonathan Weinberger(rev # 9) | history )
  by Anonymouse? at January 31, 2025 at 20:26:09
• Daniel Gratzer ( Daniel Gratzer(rev # 12) | history )
  by Anonymouse? at January 31, 2025 at 20:25:47
• detailed balance ( detailed balance(rev # 3) | history )
  by Paolo Perrone? at January 31, 2025 at 18:41:16
• stationary stochastic process ( stationary stochastic process(rev # 2) | history )
  by Paolo Perrone? at January 31, 2025 at 18:38:27
• detailed balance ( detailed balance(rev # 2) | history )
  by paoloperrone at January 31, 2025 at 18:07:24
• time-reversible stochastic process ( time-reversible stochastic process(rev # 3) | history )
  by paoloperrone at January 31, 2025 at 17:48:03
• invariant measure ( invariant measure(rev # 10) | history )
  by paoloperrone at January 31, 2025 at 17:35:29
• stationary stochastic process ( stationary stochastic process(rev # 1) | history )
  by paoloperrone at January 31, 2025 at 17:33:45
• iid random variables ( iid random variables(rev # 11) | history )
  by paoloperrone at January 31, 2025 at 17:28:18
• quantale ( quantale(rev # 41) | history )
  by Urs Schreiber at January 31, 2025 at 17:26:29