nLab Latest Revisions

• density ( density(rev # 14) | history )
  by Dmitri Pavlov at June 22, 2025 at 02:08:06
• B-bordism ( B-bordism(rev # 6) | history )
  by Arun Debray at June 22, 2025 at 00:51:58
• Pontryagin-Thom construction -- references ( Pontryagin-Thom construction -- references(rev # 25) | history )
  by Arun Debray at June 22, 2025 at 00:50:41
• Wu manifold ( Wu manifold(rev # 7) | history )
  by Arun Debray at June 22, 2025 at 00:41:41
• basic complex line bundle on the 2-sphere ( basic complex line bundle on the 2-sphere(rev # 19) | history )
  by Urs Schreiber at June 21, 2025 at 18:31:05
• basic complex line bundle on the 2-sphere ( basic complex line bundle on the 2-sphere(rev # 18) | history )
  by Urs Schreiber at June 21, 2025 at 17:38:39
• restriction and extension of sheaves ( restriction and extension of sheaves(rev # 13) | history )
  by Hugo Herbelin at June 21, 2025 at 17:30:21
• quaternion ( quaternion(rev # 23) | history )
  by Urs Schreiber at June 21, 2025 at 17:17:49
• Andrew Hanson ( Andrew Hanson(rev # 3) | history )
  by Urs Schreiber at June 21, 2025 at 17:12:53
• William Rowan Hamilton ( William Rowan Hamilton(rev # 2) | history )
  by Urs Schreiber at June 21, 2025 at 17:00:38
• Hopf fibration ( Hopf fibration(rev # 39) | history )
  by Urs Schreiber at June 21, 2025 at 16:19:10
• basic complex line bundle on the 2-sphere ( basic complex line bundle on the 2-sphere(rev # 17) | history )
  by Urs Schreiber at June 21, 2025 at 15:55:57
• Fredholm operator ( Fredholm operator(rev # 33) | history )
  by Urs Schreiber at June 21, 2025 at 15:21:55
• Kuiper's theorem ( Kuiper's theorem(rev # 13) | history )
  by Urs Schreiber at June 21, 2025 at 14:59:24
• U(ℋ) ( U(ℋ)(rev # 15) | history )
  by Urs Schreiber at June 21, 2025 at 14:58:14
• multiplier algebra ( multiplier algebra(rev # 10) | history )
  by Urs Schreiber at June 21, 2025 at 14:44:29
• Gert K. Pedersen
  by Urs Schreiber at June 21, 2025 at 14:41:05
• Fredholm operator ( Fredholm operator(rev # 32) | history )
  by Urs Schreiber at June 21, 2025 at 14:37:46
• Atkinson's theorem ( Atkinson's theorem(rev # 4) | history )
  by Urs Schreiber at June 21, 2025 at 14:35:27
• operator algebra ( operator algebra(rev # 29) | history )
  by Urs Schreiber at June 21, 2025 at 14:27:56
• operator norm ( operator norm(rev # 2) | history )
  by Urs Schreiber at June 21, 2025 at 14:13:56
• norm ( norm(rev # 30) | history )
  by Urs Schreiber at June 21, 2025 at 14:05:44
• norm topology ( norm topology(rev # 2) | history )
  by Urs Schreiber at June 21, 2025 at 13:57:24
• operator topology ( operator topology(rev # 7) | history )
  by Urs Schreiber at June 21, 2025 at 13:55:14
• unbounded operator ( unbounded operator(rev # 19) | history )
  by Urs Schreiber at June 21, 2025 at 13:08:52
• Atkinson's theorem ( Atkinson's theorem(rev # 3) | history )
  by Urs Schreiber at June 21, 2025 at 12:58:10
• operator algebra ( operator algebra(rev # 28) | history )
  by Urs Schreiber at June 21, 2025 at 12:50:57
• Atkinson's theorem ( Atkinson's theorem(rev # 2) | history )
  by Urs Schreiber at June 21, 2025 at 12:24:03
• Urs Schreiber ( Urs Schreiber(rev # 121) | history )
  by Urs Schreiber at June 21, 2025 at 09:53:03
• concept with an attitude ( concept with an attitude(rev # 24) | history )
  by Tokarak? at June 21, 2025 at 00:17:30
• FinSet ( FinSet(rev # 35) | history )
  by varkor at June 20, 2025 at 21:09:38
• small object ( small object(rev # 20) | history )
  by Hugo Herbelin at June 20, 2025 at 21:07:57
• Leonardo Castellani ( Leonardo Castellani(rev # 11) | history )
  by Urs Schreiber at June 20, 2025 at 21:04:59
• Lucrezia Ravera ( Lucrezia Ravera(rev # 11) | history )
  by Urs Schreiber at June 20, 2025 at 20:56:19
• trivial algebra ( trivial algebra(rev # 5) | history )
  by Urs Schreiber at June 20, 2025 at 19:23:12
• trivial algebra ( trivial algebra(rev # 4) | history )
  by 000938? at June 20, 2025 at 18:50:30
• stratified homotopy hypothesis ( stratified homotopy hypothesis(rev # 3) | history )
  by perezl.alonso at June 20, 2025 at 15:48:28
• intuitionistic logic ( intuitionistic logic(rev # 26) | history )
  by Bruno Bentzen at June 20, 2025 at 13:31:15
• intuitionistic mathematics ( intuitionistic mathematics(rev # 39) | history )
  by Bruno Bentzen at June 20, 2025 at 13:26:52
• Bruno Bentzen ( Bruno Bentzen(rev # 4) | history )
  by Bruno Bentzen at June 20, 2025 at 13:20:14
• field (physics) ( field (physics)(rev # 80) | history )
  by Jesus Lopez? at June 20, 2025 at 11:53:14
• Eilenberg-Mac Lane space ( Eilenberg-Mac Lane space(rev # 45) | history )
  by Zoran Škoda at June 20, 2025 at 11:38:05
• envelope of an adjunction ( envelope of an adjunction(rev # 6) | history )
  by Tomas? at June 20, 2025 at 11:12:04
• density ( density(rev # 13) | history )
  by varkor at June 20, 2025 at 07:50:16
• temporal logic ( temporal logic(rev # 29) | history )
  by Valeria de Paiva at June 19, 2025 at 19:13:04
• Manuel Amann ( Manuel Amann(rev # 2) | history )
  by perezl.alonso at June 19, 2025 at 16:38:15
• formal dg-algebra ( formal dg-algebra(rev # 13) | history )
  by perezl.alonso at June 19, 2025 at 16:37:55
• formal dg-algebra ( formal dg-algebra(rev # 12) | history )
  by Urs Schreiber at June 19, 2025 at 16:00:36
• Pi-algebra ( Pi-algebra(rev # 17) | history )
  by Daniel Teixeira? at June 19, 2025 at 10:52:15
• geometry of physics -- smooth homotopy types ( geometry of physics -- smooth homotopy types(rev # 19) | history )
  by Ben Eltschig? at June 19, 2025 at 03:16:44
• natural transformation ( natural transformation(rev # 75) | history )
  by Luidnel Maignan? at June 18, 2025 at 14:02:22
• geometry of physics -- smooth homotopy types ( geometry of physics -- smooth homotopy types(rev # 18) | history )
  by Ben Eltschig? at June 18, 2025 at 12:49:37
• harmonic function ( harmonic function(rev # 4) | history )
  by paoloperrone at June 18, 2025 at 12:34:05
• filter ( filter(rev # 50) | history )
  by ＩＱ２? at June 18, 2025 at 08:59:43
• F-theory ( F-theory(rev # 87) | history )
  by Urs Schreiber at June 18, 2025 at 07:45:15
• Matthias Kreck ( Matthias Kreck(rev # 5) | history )
  by Urs Schreiber at June 18, 2025 at 07:39:40
• stratifold ( stratifold(rev # 12) | history )
  by Urs Schreiber at June 18, 2025 at 07:32:08
• spatial locale ( spatial locale(rev # 20) | history )
  by Dmitri Pavlov at June 18, 2025 at 05:13:04
• homotopy theory FAQ ( homotopy theory FAQ(rev # 17) | history )
  by Dmitri Pavlov at June 18, 2025 at 00:17:31
• stratifold ( stratifold(rev # 11) | history )
  by perezl.alonso at June 17, 2025 at 22:55:51
• stratifold ( stratifold(rev # 10) | history )
  by Urs Schreiber at June 17, 2025 at 20:32:57
• stratifold ( stratifold(rev # 9) | history )
  by perezl.alonso at June 17, 2025 at 20:09:49
• Fredholm operator ( Fredholm operator(rev # 31) | history )
  by Urs Schreiber at June 17, 2025 at 20:07:56
• twisted K-theory ( twisted K-theory(rev # 77) | history )
  by Urs Schreiber at June 17, 2025 at 19:47:26
• compact operator ( compact operator(rev # 8) | history )
  by Urs Schreiber at June 17, 2025 at 19:27:38
• Martin Schechter
  by Urs Schreiber at June 17, 2025 at 19:23:59
• Atkinson's theorem ( Atkinson's theorem(rev # 1) | history )
  by Urs Schreiber at June 17, 2025 at 19:20:39
• twisted K-theory ( twisted K-theory(rev # 76) | history )
  by Urs Schreiber at June 17, 2025 at 18:58:23
• BRICS ( BRICS(rev # 3) | history )
  by Urs Schreiber at June 17, 2025 at 17:56:08
• open morphism ( open morphism(rev # 29) | history )
  by Urs Schreiber at June 17, 2025 at 17:52:49
• intrinsic and extrinsic views of typing ( intrinsic and extrinsic views of typing(rev # 13) | history )
  by Urs Schreiber at June 17, 2025 at 17:52:21
• André Joyal ( André Joyal(rev # 48) | history )
  by Urs Schreiber at June 17, 2025 at 17:49:57
• geometric category ( geometric category(rev # 10) | history )
  by Urs Schreiber at June 17, 2025 at 17:49:18
• convex powerset of distributions monad ( convex powerset of distributions monad(rev # 11) | history )
  by Urs Schreiber at June 17, 2025 at 17:48:02
• transition system ( transition system(rev # 21) | history )
  by Urs Schreiber at June 17, 2025 at 17:47:17
• 2-category ( 2-category(rev # 65) | history )
  by Urs Schreiber at June 17, 2025 at 17:46:39
• coercion ( coercion(rev # 16) | history )
  by Urs Schreiber at June 17, 2025 at 17:45:20
• event structure ( event structure(rev # 22) | history )
  by Urs Schreiber at June 17, 2025 at 17:44:25
• regular category ( regular category(rev # 80) | history )
  by Urs Schreiber at June 17, 2025 at 17:43:08
• regular logic ( regular logic(rev # 9) | history )
  by Urs Schreiber at June 17, 2025 at 17:42:18
• profunctor ( profunctor(rev # 83) | history )
  by Urs Schreiber at June 17, 2025 at 17:41:09
• coherence theorem for closed symmetric monoidal categories ( coherence theorem for closed symmetric monoidal categories(rev # 2) | history )
  by Urs Schreiber at June 17, 2025 at 17:39:54
• Mogens Nielsen ( Mogens Nielsen(rev # 2) | history )
  by Urs Schreiber at June 17, 2025 at 17:38:49
• Gian Luca Cattani ( Gian Luca Cattani(rev # 3) | history )
  by Urs Schreiber at June 17, 2025 at 17:38:21
• Glynn Winskel ( Glynn Winskel(rev # 6) | history )
  by Urs Schreiber at June 17, 2025 at 17:37:17
• fundamental category ( fundamental category(rev # 20) | history )
  by Urs Schreiber at June 17, 2025 at 17:28:21
• geometry of physics -- smooth homotopy types ( geometry of physics -- smooth homotopy types(rev # 17) | history )
  by Ben Eltschig? at June 17, 2025 at 16:49:13
• fundamental category ( fundamental category(rev # 19) | history )
  by perezl.alonso at June 17, 2025 at 16:23:44
• multicategory ( multicategory(rev # 41) | history )
  by varkor at June 17, 2025 at 16:04:37
• quantale ( quantale(rev # 43) | history )
  by Daniel Teixeira? at June 17, 2025 at 15:43:00
• Jonas Frey ( Jonas Frey(rev # 3) | history )
  by Urs Schreiber at June 17, 2025 at 15:33:43
• smooth set ( smooth set(rev # 36) | history )
  by Urs Schreiber at June 17, 2025 at 15:31:25
• nuclear object ( nuclear object(rev # 6) | history )
  by Matteo Capucci at June 17, 2025 at 13:40:01
• Robin Cockett ( Robin Cockett(rev # 8) | history )
  by Matteo Capucci at June 17, 2025 at 13:27:20
• Global Homotopy Theory and Cohesion ( Global Homotopy Theory and Cohesion(rev # 11) | history )
  by Urs Schreiber at June 17, 2025 at 11:14:13
• skyrmion ( skyrmion(rev # 108) | history )
  by Urs Schreiber at June 17, 2025 at 05:39:43
• Directed Algebraic Topology ( Directed Algebraic Topology(rev # 15) | history )
  by Urs Schreiber at June 17, 2025 at 05:33:21
• geometry of physics -- groups ( geometry of physics -- groups(rev # 11) | history )
  by Ben Eltschig? at June 17, 2025 at 04:14:38
• Directed Algebraic Topology ( Directed Algebraic Topology(rev # 14) | history )
  by Urs Schreiber at June 16, 2025 at 18:03:21
• category of couplings ( category of couplings(rev # 10) | history )
  by paoloperrone at June 16, 2025 at 17:45:48