nLab Latest Revisions

• opposite magma ( opposite magma(rev # 6) | history )
  by shir Ako? at May 27, 2025 at 10:26:41
• symmetric closed midpoint algebra ( symmetric closed midpoint algebra(rev # 9) | history )
  by shir Ako? at May 27, 2025 at 10:26:21
• Ranger
  by Ranger at May 27, 2025 at 07:49:44
• graded vector space ( graded vector space(rev # 33) | history )
  by Ranger at May 27, 2025 at 07:46:17
• Sil Linskens ( Sil Linskens(rev # 5) | history )
  by David Corfield at May 27, 2025 at 06:37:43
• Tobias Lenz ( Tobias Lenz(rev # 3) | history )
  by David Corfield at May 27, 2025 at 06:37:12
• Bastiaan Cnossen ( Bastiaan Cnossen(rev # 7) | history )
  by David Corfield at May 27, 2025 at 06:36:52
• six operations ( six operations(rev # 49) | history )
  by David Corfield at May 27, 2025 at 06:35:36
• Rocq ( Rocq(rev # 35) | history )
  by type theorist? at May 27, 2025 at 02:16:37
• adhesive category ( adhesive category(rev # 24) | history )
  by John Baez at May 26, 2025 at 22:55:30
• Eilenberg-Watts theorem ( Eilenberg-Watts theorem(rev # 16) | history )
  by Joshua Mundinger? at May 26, 2025 at 19:06:57
• semi-locally simply-connected topological space ( semi-locally simply-connected topological space(rev # 12) | history )
  by Dmitri Pavlov at May 26, 2025 at 17:01:13
• covering space ( covering space(rev # 57) | history )
  by Dmitri Pavlov at May 26, 2025 at 16:59:40
• Beck module ( Beck module(rev # 7) | history )
  by Matthew Bolan? at May 26, 2025 at 16:10:30
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 38) | history )
  by Urs Schreiber at May 26, 2025 at 16:05:18
• Xiao-Gang Wen ( Xiao-Gang Wen(rev # 43) | history )
  by Urs Schreiber at May 26, 2025 at 15:57:15
• Maissam Barkeshli ( Maissam Barkeshli(rev # 7) | history )
  by Urs Schreiber at May 26, 2025 at 15:56:38
• abelian Chern-Simons for fractional quantum Hall effect -- references ( abelian Chern-Simons for fractional quantum Hall effect -- references(rev # 21) | history )
  by Urs Schreiber at May 26, 2025 at 15:54:48
• Laughlin wavefunctions as conformal blocks -- references ( Laughlin wavefunctions as conformal blocks -- references(rev # 5) | history )
  by Urs Schreiber at May 26, 2025 at 15:11:42
• Steven H. Simon ( Steven H. Simon(rev # 10) | history )
  by Urs Schreiber at May 26, 2025 at 15:10:07
• Thors Hans Hansson ( Thors Hans Hansson(rev # 2) | history )
  by Urs Schreiber at May 26, 2025 at 15:09:22
• quantum Hall effect ( quantum Hall effect(rev # 87) | history )
  by Urs Schreiber at May 26, 2025 at 15:08:10
• David Carchedi ( David Carchedi(rev # 19) | history )
  by David Corfield at May 26, 2025 at 14:00:30
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 37) | history )
  by Urs Schreiber at May 26, 2025 at 13:02:41
• quantum Hall effect ( quantum Hall effect(rev # 86) | history )
  by Urs Schreiber at May 26, 2025 at 13:01:14
• linear-non-linear adjunction ( linear-non-linear adjunction(rev # 3) | history )
  by Matteo Capucci at May 26, 2025 at 12:39:44
• Jainendra K. Jain ( Jainendra K. Jain(rev # 8) | history )
  by Urs Schreiber at May 26, 2025 at 11:56:16
• quantum Hall effect ( quantum Hall effect(rev # 85) | history )
  by Urs Schreiber at May 26, 2025 at 11:55:54
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 36) | history )
  by Urs Schreiber at May 26, 2025 at 10:05:15
• higher inductive type ( higher inductive type(rev # 76) | history )
  by Evan Cavallo at May 26, 2025 at 09:27:34
• Evan Cavallo ( Evan Cavallo(rev # 5) | history )
  by Evan Cavallo at May 26, 2025 at 08:57:27
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 35) | history )
  by Urs Schreiber at May 26, 2025 at 08:40:29
• black hole information paradox ( black hole information paradox(rev # 14) | history )
  by Urs Schreiber at May 26, 2025 at 06:51:37
• covering space ( covering space(rev # 56) | history )
  by Dmitri Pavlov at May 25, 2025 at 16:15:18
• action groupoid ( action groupoid(rev # 35) | history )
  by varkor at May 25, 2025 at 12:49:45
• covering space ( covering space(rev # 55) | history )
  by ʇɐ? at May 25, 2025 at 12:41:27
• Sandbox ( Sandbox(rev # 3687) | history )
  by Urs Schreiber at May 24, 2025 at 21:55:09
• certified programming ( certified programming(rev # 41) | history )
  by Urs Schreiber at May 24, 2025 at 21:54:29
• Dongho Lee ( Dongho Lee(rev # 6) | history )
  by Urs Schreiber at May 24, 2025 at 21:53:55
• François Bobot
  by Urs Schreiber at May 24, 2025 at 21:53:00
• Sébastien Bardin
  by Urs Schreiber at May 24, 2025 at 21:51:07
• Christophe Chareton
  by Urs Schreiber at May 24, 2025 at 21:49:42
• Benoît Valiron ( Benoît Valiron(rev # 10) | history )
  by Urs Schreiber at May 24, 2025 at 21:47:47
• Valentin Perrelle ( Valentin Perrelle(rev # 2) | history )
  by Urs Schreiber at May 24, 2025 at 21:46:58
• QBricks
  by Urs Schreiber at May 24, 2025 at 21:45:28
• quantum programming languages -- references ( quantum programming languages -- references(rev # 32) | history )
  by Urs Schreiber at May 24, 2025 at 21:45:12
• CoqQ ( CoqQ(rev # 5) | history )
  by Urs Schreiber at May 24, 2025 at 21:42:14
• Quipper ( Quipper(rev # 35) | history )
  by Urs Schreiber at May 24, 2025 at 21:41:44
• QWIRE ( QWIRE(rev # 12) | history )
  by Urs Schreiber at May 24, 2025 at 21:39:12
• MSp ( MSp(rev # 13) | history )
  by Arun Debray at May 24, 2025 at 17:13:13
• quasi-Borel space ( quasi-Borel space(rev # 10) | history )
  by David Corfield at May 24, 2025 at 07:11:27
• monomorphism ( monomorphism(rev # 47) | history )
  by Naïm Favier? at May 23, 2025 at 16:23:11
• monomorphism ( monomorphism(rev # 46) | history )
  by Naïm Favier? at May 23, 2025 at 16:23:04
• enhanced 2-category ( enhanced 2-category(rev # 14) | history )
  by Matteo Capucci at May 23, 2025 at 16:08:04
• Sandbox ( Sandbox(rev # 3686) | history )
  by Matteo Capucci at May 23, 2025 at 15:56:48
• Sandbox ( Sandbox(rev # 3685) | history )
  by Matteo Capucci at May 23, 2025 at 15:05:44
• relation between type theory and category theory ( relation between type theory and category theory(rev # 92) | history )
  by Urs Schreiber at May 23, 2025 at 15:01:38
• Urs Schreiber ( Urs Schreiber(rev # 120) | history )
  by Urs Schreiber at May 23, 2025 at 14:00:56
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 461) | history )
  by Urs Schreiber at May 23, 2025 at 13:57:48
• Frobenius reciprocity ( Frobenius reciprocity(rev # 62) | history )
  by Naïm Favier? at May 23, 2025 at 11:36:52
• existential quantifier ( existential quantifier(rev # 31) | history )
  by Naïm Favier? at May 23, 2025 at 10:57:24
• Urs Schreiber ( Urs Schreiber(rev # 119) | history )
  by Urs Schreiber at May 23, 2025 at 10:11:06
• opposite 2-category ( opposite 2-category(rev # 9) | history )
  by varkor at May 23, 2025 at 10:00:23
• Graham Ellis ( Graham Ellis(rev # 4) | history )
  by Tim Porter at May 23, 2025 at 09:53:57
• graph of a functor ( graph of a functor(rev # 24) | history )
  by varkor at May 23, 2025 at 08:36:48
• category of elements ( category of elements(rev # 47) | history )
  by varkor at May 23, 2025 at 08:34:48
• Sandbox ( Sandbox(rev # 3684) | history )
  by Urs Schreiber at May 22, 2025 at 21:18:10
• Noether's theorem ( Noether's theorem(rev # 46) | history )
  by perezl.alonso at May 22, 2025 at 18:55:35
• Sandbox ( Sandbox(rev # 3683) | history )
  by Urs Schreiber at May 22, 2025 at 15:20:23
• Sandbox ( Sandbox(rev # 3682) | history )
  by Urs Schreiber at May 22, 2025 at 14:12:51
• basics of etale cohomology ( basics of etale cohomology(rev # 11) | history )
  by her.ominous? at May 22, 2025 at 13:01:12
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 460) | history )
  by Urs Schreiber at May 22, 2025 at 11:25:45
• Sandbox ( Sandbox(rev # 3681) | history )
  by Urs Schreiber at May 22, 2025 at 11:23:17
• first-order hyperdoctrine ( first-order hyperdoctrine(rev # 20) | history )
  by Naïm Favier? at May 22, 2025 at 08:43:36
• subterminal object ( subterminal object(rev # 21) | history )
  by Naïm Favier? at May 22, 2025 at 07:42:45
• positive element ( positive element(rev # 20) | history )
  by shir Ako? at May 21, 2025 at 19:58:24
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 459) | history )
  by Urs Schreiber at May 21, 2025 at 19:38:16
• Sandbox ( Sandbox(rev # 3680) | history )
  by Urs Schreiber at May 21, 2025 at 19:22:59
• uniqueness of identity proofs ( uniqueness of identity proofs(rev # 19) | history )
  by Ioannis Mariakis? at May 21, 2025 at 13:35:09
• circle type ( circle type(rev # 42) | history )
  by Ioannis Mariakis? at May 21, 2025 at 12:48:23
• Kazhdan-Luzstig correspondence
  by Zoran Škoda at May 21, 2025 at 11:39:01
• George Lusztig ( George Lusztig(rev # 6) | history )
  by Zoran Škoda at May 21, 2025 at 11:10:50
• factorizable sheaf
  by Zoran Škoda at May 21, 2025 at 11:07:37
• Starobinsky model of cosmic inflation ( Starobinsky model of cosmic inflation(rev # 49) | history )
  by Urs Schreiber at May 21, 2025 at 11:06:54
• Andrei Linde ( Andrei Linde(rev # 2) | history )
  by Urs Schreiber at May 21, 2025 at 10:53:20
• Renata Kallosh ( Renata Kallosh(rev # 7) | history )
  by Urs Schreiber at May 21, 2025 at 10:52:52
• cosmic inflation ( cosmic inflation(rev # 42) | history )
  by Urs Schreiber at May 21, 2025 at 10:52:05
• Michael Finkelberg ( Michael Finkelberg(rev # 2) | history )
  by Zoran Škoda at May 21, 2025 at 09:45:43
• Ivan Mirković ( Ivan Mirković(rev # 5) | history )
  by Zoran Škoda at May 21, 2025 at 09:45:18
• geometric Langlands correspondence ( geometric Langlands correspondence(rev # 62) | history )
  by Zoran Škoda at May 21, 2025 at 09:37:58
• coherent ring ( coherent ring(rev # 6) | history )
  by Zoran Škoda at May 21, 2025 at 09:31:04
• universal fibration of (infinity,1)-categories ( universal fibration of (infinity,1)-categories(rev # 22) | history )
  by David Corfield at May 21, 2025 at 08:44:33
• hierarchy of universes ( hierarchy of universes(rev # 8) | history )
  by P? at May 21, 2025 at 00:04:35
• full image ( full image(rev # 8) | history )
  by Mike Shulman at May 20, 2025 at 22:35:00
• locally cartesian closed category ( locally cartesian closed category(rev # 49) | history )
  by varkor at May 20, 2025 at 21:01:03
• Emil Prodan
  by Urs Schreiber at May 20, 2025 at 20:42:12
• topological phases of matter via K-theory -- references ( topological phases of matter via K-theory -- references(rev # 26) | history )
  by Urs Schreiber at May 20, 2025 at 20:41:21
• T-duality in K-theory classification of topological phases -- references ( T-duality in K-theory classification of topological phases -- references(rev # 4) | history )
  by Urs Schreiber at May 20, 2025 at 20:39:35
• topological phase of matter ( topological phase of matter(rev # 59) | history )
  by Urs Schreiber at May 20, 2025 at 20:39:18
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 458) | history )
  by Urs Schreiber at May 20, 2025 at 20:35:56