nLab Latest Revisions

• factorization algebra ( factorization algebra(rev # 56) | history )
  by Urs Schreiber at May 30, 2026 at 10:23:34
• factorization homology ( factorization homology(rev # 25) | history )
  by Urs Schreiber at May 30, 2026 at 10:22:33
• compact-open topology ( compact-open topology(rev # 45) | history )
  by Urs Schreiber at May 30, 2026 at 10:13:21
• pointed mapping space ( pointed mapping space(rev # 5) | history )
  by Urs Schreiber at May 30, 2026 at 10:12:29
• John Francis ( John Francis(rev # 7) | history )
  by Urs Schreiber at May 30, 2026 at 09:51:53
• David Ayala ( David Ayala(rev # 8) | history )
  by Urs Schreiber at May 30, 2026 at 09:51:37
• Pontryagin-Thom construction -- references ( Pontryagin-Thom construction -- references(rev # 30) | history )
  by Urs Schreiber at May 30, 2026 at 09:50:44
• Sandbox ( Sandbox(rev # 4000) | history )
  by Urs Schreiber at May 30, 2026 at 09:44:49
• restricted product ( restricted product(rev # 8) | history )
  by Matthew Rumizen? at May 30, 2026 at 07:03:17
• group of units ( group of units(rev # 18) | history )
  by Martin Brandenburg at May 30, 2026 at 06:58:03
• superconducting islands in FQH systems -- references ( superconducting islands in FQH systems -- references(rev # 4) | history )
  by Urs Schreiber at May 30, 2026 at 05:04:36
• cartesian monad ( cartesian monad(rev # 31) | history )
  by Naïm Favier? at May 29, 2026 at 23:51:58
• complete Heyting algebra ( complete Heyting algebra(rev # 9) | history )
  by p? at May 29, 2026 at 22:10:19
• cocomplete category ( cocomplete category(rev # 23) | history )
  by p? at May 29, 2026 at 22:08:41
• quotient set ( quotient set(rev # 21) | history )
  by p? at May 29, 2026 at 19:03:19
• type theoretic axiom of replacement ( type theoretic axiom of replacement(rev # 9) | history )
  by p? at May 29, 2026 at 19:00:36
• complete Heyting algebra ( complete Heyting algebra(rev # 8) | history )
  by p? at May 29, 2026 at 18:49:09
• solution set condition ( solution set condition(rev # 13) | history )
  by p? at May 29, 2026 at 18:44:24
• frame ( frame(rev # 37) | history )
  by p? at May 29, 2026 at 18:40:15
• copower ( copower(rev # 39) | history )
  by varkor at May 29, 2026 at 18:21:00
• frame ( frame(rev # 36) | history )
  by p? at May 29, 2026 at 16:57:13
• first-countable space ( first-countable space(rev # 6) | history )
  by p? at May 29, 2026 at 16:05:06
• predicative mathematics ( predicative mathematics(rev # 42) | history )
  by Mohamed Barakat at May 29, 2026 at 15:58:36
• Urs Schreiber ( Urs Schreiber(rev # 147) | history )
  by Urs Schreiber at May 29, 2026 at 13:57:21
• rational model of mapping space ( rational model of mapping space(rev # 27) | history )
  by Urs Schreiber at May 29, 2026 at 13:46:30
• Sandbox ( Sandbox(rev # 3999) | history )
  by Urs Schreiber at May 29, 2026 at 13:39:53
• first-countable space ( first-countable space(rev # 5) | history )
  by p? at May 29, 2026 at 13:30:49
• holographic condensed matter physics ( holographic condensed matter physics(rev # 86) | history )
  by Urs Schreiber at May 29, 2026 at 13:20:13
• rational model of mapping space ( rational model of mapping space(rev # 26) | history )
  by Urs Schreiber at May 29, 2026 at 11:51:04
• Alexander Berglund ( Alexander Berglund(rev # 3) | history )
  by Urs Schreiber at May 29, 2026 at 11:29:56
• closed monoidal structure on presheaves ( closed monoidal structure on presheaves(rev # 23) | history )
  by Urs Schreiber at May 29, 2026 at 11:13:11
• rational model of mapping space ( rational model of mapping space(rev # 25) | history )
  by Urs Schreiber at May 29, 2026 at 10:36:02
• infinity-Lie algebroid-valued differential form ( infinity-Lie algebroid-valued differential form(rev # 36) | history )
  by Urs Schreiber at May 29, 2026 at 10:33:01
• PL de Rham complex ( PL de Rham complex(rev # 9) | history )
  by Urs Schreiber at May 29, 2026 at 10:10:07
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 48) | history )
  by Urs Schreiber at May 29, 2026 at 04:49:40
• Sourav Chatterjee ( Sourav Chatterjee(rev # 6) | history )
  by Urs Schreiber at May 29, 2026 at 04:39:29
• Liouville theory ( Liouville theory(rev # 32) | history )
  by Urs Schreiber at May 29, 2026 at 04:39:01
• constrained mechanics ( constrained mechanics(rev # 7) | history )
  by Urs Schreiber at May 29, 2026 at 04:34:11
• Nicolai map ( Nicolai map(rev # 8) | history )
  by Urs Schreiber at May 29, 2026 at 04:29:11
• rational model of mapping space ( rational model of mapping space(rev # 24) | history )
  by Urs Schreiber at May 28, 2026 at 19:26:32
• rational model of mapping space ( rational model of mapping space(rev # 23) | history )
  by Urs Schreiber at May 28, 2026 at 16:46:46
• Sandbox ( Sandbox(rev # 3998) | history )
  by Urs Schreiber at May 28, 2026 at 16:25:35
• rational model of mapping space ( rational model of mapping space(rev # 22) | history )
  by Urs Schreiber at May 28, 2026 at 15:57:57
• Gordon Semenoff ( Gordon Semenoff(rev # 4) | history )
  by Urs Schreiber at May 28, 2026 at 15:01:53
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 76) | history )
  by Urs Schreiber at May 28, 2026 at 14:59:54
• 2-Hilbert space ( 2-Hilbert space(rev # 8) | history )
  by Dheeran Wiggins? at May 28, 2026 at 14:21:21
• H-star-category ( H-star-category(rev # 1) | history )
  by Dheeran Wiggins? at May 28, 2026 at 14:20:21
• locale of real numbers ( locale of real numbers(rev # 42) | history )
  by p? at May 28, 2026 at 12:47:28
• paracompact locale ( paracompact locale(rev # 2) | history )
  by p? at May 28, 2026 at 12:46:09
• topological manifold ( topological manifold(rev # 31) | history )
  by p? at May 28, 2026 at 12:45:36
• paracompact topological space ( paracompact topological space(rev # 76) | history )
  by p? at May 28, 2026 at 12:38:12
• long line ( long line(rev # 19) | history )
  by p? at May 28, 2026 at 12:29:55
• line with two origins ( line with two origins(rev # 7) | history )
  by p? at May 28, 2026 at 12:00:55
• topological manifold ( topological manifold(rev # 30) | history )
  by p? at May 28, 2026 at 11:28:29
• time-ordered product ( time-ordered product(rev # 19) | history )
  by Urs Schreiber at May 28, 2026 at 10:27:04
• Friedemann Brandt ( Friedemann Brandt(rev # 6) | history )
  by Urs Schreiber at May 28, 2026 at 10:26:09
• Ward identity ( Ward identity(rev # 21) | history )
  by Urs Schreiber at May 28, 2026 at 10:13:49
• Freeman Dyson ( Freeman Dyson(rev # 13) | history )
  by Urs Schreiber at May 28, 2026 at 10:10:58
• Christian Brouder ( Christian Brouder(rev # 3) | history )
  by Urs Schreiber at May 28, 2026 at 10:04:32
• Michael Dütsch ( Michael Dütsch(rev # 5) | history )
  by Urs Schreiber at May 28, 2026 at 10:02:55
• hyperplane line bundle ( hyperplane line bundle(rev # 8) | history )
  by Urs Schreiber at May 28, 2026 at 08:34:55
• hyperplane line bundle ( hyperplane line bundle(rev # 7) | history )
  by 15063662@qq.com? at May 28, 2026 at 06:46:28
• super anti de Sitter spacetime ( super anti de Sitter spacetime(rev # 30) | history )
  by Urs Schreiber at May 28, 2026 at 05:10:04
• Igor Bandos ( Igor Bandos(rev # 25) | history )
  by Urs Schreiber at May 28, 2026 at 05:04:22
• D0-brane ( D0-brane(rev # 14) | history )
  by Urs Schreiber at May 28, 2026 at 05:03:43
• connected limit ( connected limit(rev # 16) | history )
  by Naïm Favier? at May 28, 2026 at 02:35:18
• lesser limited principle of omniscience ( lesser limited principle of omniscience(rev # 7) | history )
  by p? at May 27, 2026 at 15:36:37
• weak limited principle of omniscience ( weak limited principle of omniscience(rev # 7) | history )
  by p? at May 27, 2026 at 15:26:55
• Markov's principle ( Markov's principle(rev # 28) | history )
  by p? at May 27, 2026 at 15:15:54
• limited principle of omniscience ( limited principle of omniscience(rev # 35) | history )
  by p? at May 27, 2026 at 14:55:06
• Richard Szabo ( Richard Szabo(rev # 16) | history )
  by Urs Schreiber at May 27, 2026 at 14:21:41
• monopole ( monopole(rev # 34) | history )
  by Urs Schreiber at May 27, 2026 at 14:21:19
• Grigorios Giotopoulos ( Grigorios Giotopoulos(rev # 18) | history )
  by Urs Schreiber at May 27, 2026 at 14:03:50
• Chris Rogers ( Chris Rogers(rev # 14) | history )
  by Urs Schreiber at May 27, 2026 at 12:24:04
• category of fibrant objects ( category of fibrant objects(rev # 65) | history )
  by Urs Schreiber at May 27, 2026 at 12:21:55
• Joost Nuiten ( Joost Nuiten(rev # 8) | history )
  by Urs Schreiber at May 27, 2026 at 11:59:55
• geometric infinity-stack ( geometric infinity-stack(rev # 11) | history )
  by Urs Schreiber at May 27, 2026 at 11:59:06
• Richard Szabo ( Richard Szabo(rev # 15) | history )
  by Urs Schreiber at May 27, 2026 at 11:54:34
• Martin Bojowald ( Martin Bojowald(rev # 4) | history )
  by Urs Schreiber at May 27, 2026 at 11:53:32
• Roman Jackiw ( Roman Jackiw(rev # 9) | history )
  by Urs Schreiber at May 27, 2026 at 11:49:36
• monopole ( monopole(rev # 33) | history )
  by Urs Schreiber at May 27, 2026 at 11:46:15
• monopole ( monopole(rev # 32) | history )
  by Urs Schreiber at May 27, 2026 at 09:38:51
• closed midpoint algebra ( closed midpoint algebra(rev # 10) | history )
  by Urs Schreiber at May 27, 2026 at 09:34:28
• analytic LLPO ( analytic LLPO(rev # 5) | history )
  by p? at May 26, 2026 at 21:58:54
• lesser limited principle of omniscience ( lesser limited principle of omniscience(rev # 6) | history )
  by p? at May 26, 2026 at 21:45:08
• limited principle of omniscience ( limited principle of omniscience(rev # 34) | history )
  by p? at May 26, 2026 at 21:36:28
• weak limited principle of omniscience ( weak limited principle of omniscience(rev # 6) | history )
  by p? at May 26, 2026 at 20:47:48
• analytic WLPO ( analytic WLPO(rev # 4) | history )
  by p? at May 26, 2026 at 20:44:07
• Adámek's fixed point theorem ( Adámek's fixed point theorem(rev # 7) | history )
  by Rin? at May 26, 2026 at 20:15:00
• analytic LPO ( analytic LPO(rev # 21) | history )
  by p? at May 26, 2026 at 20:06:12
• Markov's principle ( Markov's principle(rev # 27) | history )
  by p? at May 26, 2026 at 19:48:06
• principle of omniscience ( principle of omniscience(rev # 76) | history )
  by p? at May 26, 2026 at 19:43:55
• analytic Markov's principle ( analytic Markov's principle(rev # 16) | history )
  by p? at May 26, 2026 at 19:29:36
• Markov's principle ( Markov's principle(rev # 26) | history )
  by p? at May 26, 2026 at 18:57:55
• limited principle of omniscience ( limited principle of omniscience(rev # 33) | history )
  by p? at May 26, 2026 at 18:38:28
• analytic LPO ( analytic LPO(rev # 20) | history )
  by p? at May 26, 2026 at 18:28:34
• tight apartness relation ( tight apartness relation(rev # 16) | history )
  by p? at May 26, 2026 at 16:59:25
• scale ( scale(rev # 19) | history )
  by Urs Schreiber at May 26, 2026 at 16:59:00
• excluded middle ( excluded middle(rev # 60) | history )
  by p? at May 26, 2026 at 16:50:31
• symmetric closed midpoint algebra ( symmetric closed midpoint algebra(rev # 10) | history )
  by shir Ako? at May 26, 2026 at 15:58:29