nLab Latest Revisions

• algebraic theory ( algebraic theory(rev # 74) | history )
  by varkor at July 8, 2025 at 15:05:28
• exact sequence ( exact sequence(rev # 31) | history )
  by Urs Schreiber at July 8, 2025 at 14:56:25
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 20) | history )
  by Urs Schreiber at July 8, 2025 at 14:36:49
• quantum set ( quantum set(rev # 4) | history )
  by Urs Schreiber at July 8, 2025 at 13:26:01
• quantum relation ( quantum relation(rev # 5) | history )
  by Urs Schreiber at July 8, 2025 at 13:16:11
• Jordan Watts ( Jordan Watts(rev # 2) | history )
  by Urs Schreiber at July 8, 2025 at 11:44:40
• Laura Scull ( Laura Scull(rev # 7) | history )
  by Urs Schreiber at July 8, 2025 at 11:44:16
• twisted Bredon cohomology ( twisted Bredon cohomology(rev # 4) | history )
  by Urs Schreiber at July 8, 2025 at 11:43:49
• strong profunctor ( strong profunctor(rev # 8) | history )
  by varkor at July 8, 2025 at 10:28:19
• dinatural transformation ( dinatural transformation(rev # 29) | history )
  by varkor at July 8, 2025 at 10:23:05
• twisted Bredon cohomology ( twisted Bredon cohomology(rev # 3) | history )
  by Zoran Škoda at July 8, 2025 at 09:29:19
• Bredon cohomology ( Bredon cohomology(rev # 40) | history )
  by Zoran Škoda at July 8, 2025 at 09:27:37
• Sullivan model of loop space ( Sullivan model of loop space(rev # 47) | history )
  by Urs Schreiber at July 8, 2025 at 09:02:17
• exact sequence ( exact sequence(rev # 30) | history )
  by Urs Schreiber at July 8, 2025 at 08:49:13
• homological algebra ( homological algebra(rev # 47) | history )
  by Urs Schreiber at July 8, 2025 at 08:39:45
• Mee Seong Im ( Mee Seong Im(rev # 4) | history )
  by Urs Schreiber at July 8, 2025 at 07:48:34
• étendue ( étendue(rev # 30) | history )
  by Thomas Holder at July 8, 2025 at 07:30:31
• skeletal category ( skeletal category(rev # 46) | history )
  by varkor at July 8, 2025 at 07:16:07
• Bondi-Metzner-Sachs group ( Bondi-Metzner-Sachs group(rev # 5) | history )
  by Urs Schreiber at July 8, 2025 at 05:18:04
• AdS-QCD correspondence ( AdS-QCD correspondence(rev # 218) | history )
  by Urs Schreiber at July 8, 2025 at 05:15:30
• Pieralberto Marchetti ( Pieralberto Marchetti(rev # 2) | history )
  by Urs Schreiber at July 8, 2025 at 05:12:47
• braid group statistics ( braid group statistics(rev # 71) | history )
  by Urs Schreiber at July 8, 2025 at 05:11:42
• Andre Lukas ( Andre Lukas(rev # 13) | history )
  by Urs Schreiber at July 8, 2025 at 05:02:47
• Andrei Constantin ( Andrei Constantin(rev # 3) | history )
  by Urs Schreiber at July 8, 2025 at 05:02:14
• heterotic line bundle ( heterotic line bundle(rev # 22) | history )
  by Urs Schreiber at July 8, 2025 at 05:01:45
• Mee Seong Im ( Mee Seong Im(rev # 3) | history )
  by Mee Seong Im at July 8, 2025 at 03:58:42
• Mikhail Khovanov ( Mikhail Khovanov(rev # 10) | history )
  by Mee Seong Im at July 8, 2025 at 03:56:31
• Stiefel manifold ( Stiefel manifold(rev # 17) | history )
  by David Roberts? at July 8, 2025 at 02:34:30
• standard model of particle physics ( standard model of particle physics(rev # 71) | history )
  by Jesus Lopez? at July 8, 2025 at 00:01:30
• quantum set ( quantum set(rev # 3) | history )
  by Andre Kornell at July 7, 2025 at 23:47:37
• circle ( circle(rev # 28) | history )
  by type theorist? at July 7, 2025 at 23:02:38
• fundamental group ( fundamental group(rev # 37) | history )
  by type theorist? at July 7, 2025 at 23:02:26
• fundamental group of the circle is the integers ( fundamental group of the circle is the integers(rev # 6) | history )
  by type theorist? at July 7, 2025 at 23:02:14
• homotopy group ( homotopy group(rev # 53) | history )
  by type theorist? at July 7, 2025 at 23:02:05
• group ( group(rev # 85) | history )
  by type theorist? at July 7, 2025 at 22:56:56
• higher inductive type ( higher inductive type(rev # 79) | history )
  by type theorist? at July 7, 2025 at 22:56:10
• hierarchy of universes ( hierarchy of universes(rev # 9) | history )
  by type theorist? at July 7, 2025 at 22:55:15
• fundamental theorem of algebra ( fundamental theorem of algebra(rev # 46) | history )
  by type theorist? at July 7, 2025 at 22:49:57
• recollement ( recollement(rev # 19) | history )
  by Grisha Taroyan at July 7, 2025 at 22:01:01
• triangulated type theory ( triangulated type theory(rev # 6) | history )
  by p? at July 7, 2025 at 21:52:11
• synthetic Stone duality ( synthetic Stone duality(rev # 2) | history )
  by p? at July 7, 2025 at 21:51:47
• Hugo Moeneclaey ( Hugo Moeneclaey(rev # 3) | history )
  by synth? at July 7, 2025 at 21:44:20
• Thierry Coquand ( Thierry Coquand(rev # 15) | history )
  by synth? at July 7, 2025 at 21:44:06
• synthetic algebraic geometry ( synthetic algebraic geometry(rev # 9) | history )
  by synth? at July 7, 2025 at 21:43:18
• flux quantum ( flux quantum(rev # 2) | history )
  by Urs Schreiber at July 7, 2025 at 20:02:02
• exchange rule ( exchange rule(rev # 6) | history )
  by Victor Sannier? at July 7, 2025 at 19:05:32
• flux quantum ( flux quantum(rev # 1) | history )
  by Urs Schreiber at July 7, 2025 at 18:12:46
• quantum Hall effect ( quantum Hall effect(rev # 97) | history )
  by Urs Schreiber at July 7, 2025 at 18:11:05
• Grp ( Grp(rev # 21) | history )
  by Simeon Duwel? at July 7, 2025 at 18:06:23
• flux tube ( flux tube(rev # 10) | history )
  by Urs Schreiber at July 7, 2025 at 18:01:10
• flux ( flux(rev # 17) | history )
  by Urs Schreiber at July 7, 2025 at 18:00:06
• Jun John Sakurai ( Jun John Sakurai(rev # 6) | history )
  by Urs Schreiber at July 7, 2025 at 17:52:54
• quantum mechanics ( quantum mechanics(rev # 129) | history )
  by Urs Schreiber at July 7, 2025 at 17:52:35
• physical unit ( physical unit(rev # 17) | history )
  by Urs Schreiber at July 7, 2025 at 17:37:11
• Dirac charge quantization ( Dirac charge quantization(rev # 49) | history )
  by Urs Schreiber at July 7, 2025 at 17:34:22
• Sandbox ( Sandbox(rev # 3725) | history )
  by Urs Schreiber at July 7, 2025 at 17:32:17
• Sandbox ( Sandbox(rev # 3724) | history )
  by Urs Schreiber at July 7, 2025 at 14:37:52
• Ilya G. Kaplan
  by Urs Schreiber at July 7, 2025 at 14:19:30
• Pauli exclusion principle ( Pauli exclusion principle(rev # 13) | history )
  by Urs Schreiber at July 7, 2025 at 14:13:02
• parastatistics ( parastatistics(rev # 21) | history )
  by Urs Schreiber at July 7, 2025 at 14:11:02
• Stiefel manifold ( Stiefel manifold(rev # 16) | history )
  by Urs Schreiber at July 7, 2025 at 12:18:48
• Birkhoff's HSP theorem ( Birkhoff's HSP theorem(rev # 12) | history )
  by Urs Schreiber at July 7, 2025 at 11:29:03
• Birkhoff's HSP theorem ( Birkhoff's HSP theorem(rev # 11) | history )
  by Daniel Luckhardt at July 7, 2025 at 10:21:59
• Grothendieck fibration ( Grothendieck fibration(rev # 121) | history )
  by David Corfield at July 7, 2025 at 09:47:53
• Jacobson radical ( Jacobson radical(rev # 18) | history )
  by Noname672? at July 7, 2025 at 09:01:13
• De Morgan topos ( De Morgan topos(rev # 24) | history )
  by Thomas Holder at July 7, 2025 at 08:25:44
• Bousfield-Kuhn functor ( Bousfield-Kuhn functor(rev # 4) | history )
  by Howard Beck? at July 7, 2025 at 07:51:43
• compact object ( compact object(rev # 74) | history )
  by Todd Trimble at July 7, 2025 at 03:09:34
• Stiefel manifold ( Stiefel manifold(rev # 15) | history )
  by David Roberts? at July 7, 2025 at 01:41:31
• Olaf Lechtenfeld ( Olaf Lechtenfeld(rev # 11) | history )
  by Urs Schreiber at July 6, 2025 at 19:55:42
• Feynman slash notation ( Feynman slash notation(rev # 5) | history )
  by Urs Schreiber at July 6, 2025 at 07:36:39
• pseudomonoid ( pseudomonoid(rev # 16) | history )
  by varkor at July 6, 2025 at 07:33:25
• cartesian object ( cartesian object(rev # 11) | history )
  by varkor at July 6, 2025 at 07:33:05
• Sandbox ( Sandbox(rev # 3723) | history )
  by Urs Schreiber at July 6, 2025 at 07:26:43
• antithesis interpretation ( antithesis interpretation(rev # 15) | history )
  by payoje? at July 6, 2025 at 03:47:49
• Sandbox ( Sandbox(rev # 3722) | history )
  by Dmitri Pavlov at July 6, 2025 at 02:55:25
• dependent product type ( dependent product type(rev # 39) | history )
  by p? at July 5, 2025 at 20:28:03
• Sullivan model of loop space ( Sullivan model of loop space(rev # 46) | history )
  by Urs Schreiber at July 5, 2025 at 20:21:32
• Sandbox ( Sandbox(rev # 3721) | history )
  by Urs Schreiber at July 5, 2025 at 19:52:42
• univalence axiom ( univalence axiom(rev # 113) | history )
  by p? at July 5, 2025 at 18:48:10
• size issues ( size issues(rev # 4) | history )
  by p? at July 5, 2025 at 18:40:45
• resizing axiom ( resizing axiom(rev # 9) | history )
  by p? at July 5, 2025 at 18:40:23
• definitional isomorphism ( definitional isomorphism(rev # 8) | history )
  by p? at July 5, 2025 at 18:12:02
• extensional type theory ( extensional type theory(rev # 39) | history )
  by p? at July 5, 2025 at 17:56:48
• Sandbox ( Sandbox(rev # 3720) | history )
  by Urs Schreiber at July 5, 2025 at 17:35:36
• transfinite construction of free algebras ( transfinite construction of free algebras(rev # 14) | history )
  by Jonas Frey at July 5, 2025 at 16:31:16
• Sandbox ( Sandbox(rev # 3719) | history )
  by Dmitri Pavlov at July 5, 2025 at 16:29:40
• interval type localization ( interval type localization(rev # 6) | history )
  by p? at July 5, 2025 at 15:20:41
• extensional type theory ( extensional type theory(rev # 38) | history )
  by p? at July 5, 2025 at 15:20:16
• identity type ( identity type(rev # 138) | history )
  by p? at July 5, 2025 at 15:06:04
• interval type localization ( interval type localization(rev # 5) | history )
  by p? at July 5, 2025 at 14:39:12
• observation of anyons in fractional quantum Hall systems -- references ( observation of anyons in fractional quantum Hall systems -- references(rev # 11) | history )
  by Urs Schreiber at July 5, 2025 at 13:24:23
• Feynman slash notation ( Feynman slash notation(rev # 4) | history )
  by Urs Schreiber at July 5, 2025 at 13:20:56
• Sandbox ( Sandbox(rev # 3718) | history )
  by Urs Schreiber at July 5, 2025 at 13:11:02
• identity type ( identity type(rev # 137) | history )
  by p? at July 5, 2025 at 12:55:56
• Feynman slash notation ( Feynman slash notation(rev # 3) | history )
  by Urs Schreiber at July 5, 2025 at 07:52:58
• Sandbox ( Sandbox(rev # 3717) | history )
  by Urs Schreiber at July 5, 2025 at 07:50:32
• eta invariant ( eta invariant(rev # 28) | history )
  by Jesus Lopez? at July 5, 2025 at 00:42:25
• observation of anyons in fractional quantum Hall systems -- references ( observation of anyons in fractional quantum Hall systems -- references(rev # 10) | history )
  by Urs Schreiber at July 4, 2025 at 20:28:05
• multiset ( multiset(rev # 41) | history )
  by payoje? at July 4, 2025 at 19:13:03