nLab Latest Revisions

• 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
• Directed Algebraic Topology ( Directed Algebraic Topology(rev # 13) | history )
  by perezl.alonso at June 16, 2025 at 16:49:03
• poset-stratified space ( poset-stratified space(rev # 10) | history )
  by perezl.alonso at June 16, 2025 at 15:41:30
• Oka principle ( Oka principle(rev # 20) | history )
  by Urs Schreiber at June 16, 2025 at 14:14:34
• cohesive (infinity,1)-topos -- structures II ( cohesive (infinity,1)-topos -- structures II(rev # 3) | history )
  by Ben Eltschig? at June 16, 2025 at 14:05:12
• descent algebra ( descent algebra(rev # 2) | history )
  by Urs Schreiber at June 16, 2025 at 13:10:15
• set-level type theory ( set-level type theory(rev # 8) | history )
  by Karl Schoenbaum? at June 16, 2025 at 12:44:27
• typal equality ( typal equality(rev # 14) | history )
  by Karl Schoenbaum? at June 16, 2025 at 12:41:14
• propositional equality ( propositional equality(rev # 20) | history )
  by Karl Schoenbaum? at June 16, 2025 at 12:40:21
• logic over dependent type theory ( logic over dependent type theory(rev # 3) | history )
  by Karl Schoenbaum? at June 16, 2025 at 12:04:51
• typal equality ( typal equality(rev # 13) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:50:36
• equality ( equality(rev # 64) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:40:38
• principle of equivalence ( principle of equivalence(rev # 119) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:35:50
• identification ( identification(rev # 6) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:34:06
• propositions as types ( propositions as types(rev # 53) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:33:22
• propositions as some types ( propositions as some types(rev # 15) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:32:20
• uniqueness of identity proofs ( uniqueness of identity proofs(rev # 21) | history )
  by Karl Schoenbaum? at June 16, 2025 at 11:13:40
• contractible type ( contractible type(rev # 32) | history )
  by Karl Schoenbaum? at June 16, 2025 at 10:52:50
• D-topology ( D-topology(rev # 10) | history )
  by Urs Schreiber at June 16, 2025 at 09:36:30
• (n,r)-category ( (n,r)-category(rev # 63) | history )
  by varkor at June 16, 2025 at 08:48:15
• residually finite group ( residually finite group(rev # 8) | history )
  by Urs Schreiber at June 16, 2025 at 08:11:15
• residually finite group ( residually finite group(rev # 7) | history )
  by Urs Schreiber at June 16, 2025 at 07:33:08
• combinatorial group theory ( combinatorial group theory(rev # 12) | history )
  by Urs Schreiber at June 16, 2025 at 07:25:41
• typal equality ( typal equality(rev # 12) | history )
  by Karl Schoenbaum? at June 16, 2025 at 04:32:13