nLab Latest Revisions

• Gray tensor product ( Gray tensor product(rev # 26) | history )
  by Urs Schreiber at August 29, 2025 at 17:53:01
• canonical model structure on 2-categories ( canonical model structure on 2-categories(rev # 7) | history )
  by Urs Schreiber at August 29, 2025 at 17:39:55
• Stephen Lack ( Stephen Lack(rev # 16) | history )
  by Urs Schreiber at August 29, 2025 at 17:37:59
• homotopy in a model category ( homotopy in a model category(rev # 9) | history )
  by Urs Schreiber at August 29, 2025 at 16:13:39
• modification ( modification(rev # 22) | history )
  by Urs Schreiber at August 29, 2025 at 16:07:48
• quiver (editor) ( quiver (editor)(rev # 6) | history )
  by Urs Schreiber at August 29, 2025 at 15:37:50
• equivalence of categories ( equivalence of categories(rev # 46) | history )
  by varkor at August 29, 2025 at 15:13:20
• homotopy in a model category ( homotopy in a model category(rev # 8) | history )
  by bpaul? at August 29, 2025 at 14:45:26
• homotopy in a model category ( homotopy in a model category(rev # 7) | history )
  by _boundless_recursion? at August 29, 2025 at 14:41:27
• pseudonatural transformation ( pseudonatural transformation(rev # 16) | history )
  by Urs Schreiber at August 29, 2025 at 13:30:54
• list of journals publishing homotopy theory and category theory ( list of journals publishing homotopy theory and category theory(rev # 41) | history )
  by Ivan? at August 29, 2025 at 10:38:53
• pseudonatural transformation ( pseudonatural transformation(rev # 15) | history )
  by Urs Schreiber at August 29, 2025 at 09:29:15
• A study in derived algebraic geometry ( A study in derived algebraic geometry(rev # 10) | history )
  by Urs Schreiber at August 29, 2025 at 08:51:09
• Gray tensor product ( Gray tensor product(rev # 25) | history )
  by Urs Schreiber at August 29, 2025 at 08:50:23
• Félix Loubaton
  by Urs Schreiber at August 29, 2025 at 08:48:53
• Jaco Ruit ( Jaco Ruit(rev # 8) | history )
  by Urs Schreiber at August 29, 2025 at 08:45:45
• Giry monad ( Giry monad(rev # 92) | history )
  by Kirk Sturtz at August 29, 2025 at 04:26:53
• A study in derived algebraic geometry ( A study in derived algebraic geometry(rev # 9) | history )
  by David Roberts? at August 29, 2025 at 04:16:39
• Giry monad ( Giry monad(rev # 91) | history )
  by Kirk Sturtz at August 29, 2025 at 03:46:13
• Bruno Bentzen ( Bruno Bentzen(rev # 6) | history )
  by Bruno Bentzen at August 29, 2025 at 01:56:07
• intuitionistic mathematics ( intuitionistic mathematics(rev # 40) | history )
  by Bruno Bentzen at August 29, 2025 at 01:54:36
• absolutely dense functor ( absolutely dense functor(rev # 8) | history )
  by Dmitri Pavlov at August 28, 2025 at 15:45:26
• locally connected topos ( locally connected topos(rev # 25) | history )
  by qschroed? at August 28, 2025 at 13:34:15
• absolutely dense functor ( absolutely dense functor(rev # 7) | history )
  by varkor at August 28, 2025 at 09:40:30
• module over a monad ( module over a monad(rev # 40) | history )
  by varkor at August 28, 2025 at 09:07:32
• weak morphism classifier ( weak morphism classifier(rev # 3) | history )
  by varkor at August 28, 2025 at 08:54:40
• geometric Langlands correspondence ( geometric Langlands correspondence(rev # 63) | history )
  by David Corfield at August 28, 2025 at 07:33:58
• pseudofunctor ( pseudofunctor(rev # 33) | history )
  by varkor at August 28, 2025 at 07:21:02
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 464) | history )
  by Urs Schreiber at August 27, 2025 at 18:14:27
• E-infinity-ring ( E-infinity-ring(rev # 34) | history )
  by Joshua Mundinger? at August 27, 2025 at 17:08:48
• Hopf algebroid ( Hopf algebroid(rev # 48) | history )
  by qschroed? at August 27, 2025 at 11:48:24
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 27) | history )
  by Urs Schreiber at August 27, 2025 at 11:17:07
• topological vector bundle ( topological vector bundle(rev # 49) | history )
  by Qin Yuxuan? at August 27, 2025 at 09:07:08
• Grothendieck fibration ( Grothendieck fibration(rev # 124) | history )
  by nayan? at August 26, 2025 at 18:35:16
• Grothendieck fibration ( Grothendieck fibration(rev # 123) | history )
  by nayan? at August 26, 2025 at 18:35:10
• Evan Patterson ( Evan Patterson(rev # 3) | history )
  by Urs Schreiber at August 26, 2025 at 16:51:49
• Evan Patterson ( Evan Patterson(rev # 2) | history )
  by David Corfield at August 26, 2025 at 13:24:09
• doctrine ( doctrine(rev # 22) | history )
  by David Corfield at August 26, 2025 at 13:23:34
• Dehn-Nielsen-Baer theorem ( Dehn-Nielsen-Baer theorem(rev # 2) | history )
  by Urs Schreiber at August 26, 2025 at 09:43:47
• topological G-space ( topological G-space(rev # 50) | history )
  by Urs Schreiber at August 26, 2025 at 08:29:34
• Bondi-Metzner-Sachs group ( Bondi-Metzner-Sachs group(rev # 6) | history )
  by Urs Schreiber at August 26, 2025 at 06:26:58
• Grothendieck fibration ( Grothendieck fibration(rev # 122) | history )
  by Axel Boldt? at August 26, 2025 at 00:44:12
• fundamental groupoid ( fundamental groupoid(rev # 45) | history )
  by Axel Boldt? at August 25, 2025 at 23:56:38
• fundamental 2-groupoid ( fundamental 2-groupoid(rev # 2) | history )
  by Axel Boldt? at August 25, 2025 at 22:54:04
• equivariant K-theory ( equivariant K-theory(rev # 73) | history )
  by perezl.alonso at August 25, 2025 at 20:27:09
• differential K-theory ( differential K-theory(rev # 49) | history )
  by perezl.alonso at August 25, 2025 at 20:03:36
• John Ratcliffe ( John Ratcliffe(rev # 3) | history )
  by Urs Schreiber at August 25, 2025 at 17:27:01
• Peter Scott
  by Urs Schreiber at August 25, 2025 at 14:22:08
• Seifert fibration ( Seifert fibration(rev # 18) | history )
  by Urs Schreiber at August 25, 2025 at 14:20:56
• geometrization conjecture ( geometrization conjecture(rev # 7) | history )
  by Urs Schreiber at August 25, 2025 at 14:16:06
• orbifold ( orbifold(rev # 119) | history )
  by Urs Schreiber at August 25, 2025 at 14:13:39
• 3-manifold ( 3-manifold(rev # 34) | history )
  by Urs Schreiber at August 25, 2025 at 14:12:17
• Dehn-Nielsen-Baer theorem ( Dehn-Nielsen-Baer theorem(rev # 1) | history )
  by Urs Schreiber at August 25, 2025 at 13:37:47
• Jakob Nielsen ( Jakob Nielsen(rev # 4) | history )
  by Urs Schreiber at August 25, 2025 at 13:31:47
• Nielsen invariant ( Nielsen invariant(rev # 2) | history )
  by Urs Schreiber at August 25, 2025 at 13:31:08
• mapping class group ( mapping class group(rev # 43) | history )
  by Urs Schreiber at August 25, 2025 at 13:24:26
• Max Dehn ( Max Dehn(rev # 2) | history )
  by Urs Schreiber at August 25, 2025 at 13:24:01
• Hansjörg Geiges ( Hansjörg Geiges(rev # 3) | history )
  by Urs Schreiber at August 25, 2025 at 13:22:44
• surface ( surface(rev # 32) | history )
  by Urs Schreiber at August 25, 2025 at 13:20:04
• John Stillwell ( John Stillwell(rev # 2) | history )
  by Urs Schreiber at August 25, 2025 at 13:17:40
• Sandbox ( Sandbox(rev # 3749) | history )
  by Urs Schreiber at August 25, 2025 at 13:04:27
• Dehn surgery ( Dehn surgery(rev # 8) | history )
  by Urs Schreiber at August 25, 2025 at 12:58:51
• Dehn twist ( Dehn twist(rev # 4) | history )
  by Urs Schreiber at August 25, 2025 at 12:58:21
• Sandbox ( Sandbox(rev # 3748) | history )
  by Urs Schreiber at August 25, 2025 at 12:02:26
• mapping class group ( mapping class group(rev # 42) | history )
  by Urs Schreiber at August 25, 2025 at 11:49:26
• Artan Sheshmani ( Artan Sheshmani(rev # 4) | history )
  by Annonymous? at August 25, 2025 at 10:06:38
• 3-manifold ( 3-manifold(rev # 33) | history )
  by Urs Schreiber at August 25, 2025 at 09:11:03
• phase space ( phase space(rev # 77) | history )
  by Hayley Watson? at August 25, 2025 at 08:55:54
• mapping class group ( mapping class group(rev # 41) | history )
  by Urs Schreiber at August 25, 2025 at 08:06:55
• Lagrangian density ( Lagrangian density(rev # 23) | history )
  by Hayley Watson? at August 25, 2025 at 07:50:43
• Hamiltonian ( Hamiltonian(rev # 27) | history )
  by Hayley Watson? at August 25, 2025 at 07:40:12
• Artan Sheshmani ( Artan Sheshmani(rev # 3) | history )
  by Annonymous? at August 24, 2025 at 19:43:53
• effects of foundations on core mathematics ( effects of foundations on core mathematics(rev # 26) | history )
  by Jonas Frey at August 24, 2025 at 16:09:12
• parabolic geometry ( parabolic geometry(rev # 19) | history )
  by An? at August 24, 2025 at 10:57:05
• Nima Rasekh ( Nima Rasekh(rev # 13) | history )
  by Urs Schreiber at August 24, 2025 at 10:44:52
• two-dimensional category theory ( two-dimensional category theory(rev # 2) | history )
  by Urs Schreiber at August 24, 2025 at 10:34:38
• 2-limit ( 2-limit(rev # 2) | history )
  by Urs Schreiber at August 24, 2025 at 10:33:42
• simplicial type theory ( simplicial type theory(rev # 56) | history )
  by Robert Johnson? at August 24, 2025 at 10:32:09
• strict 2-limit ( strict 2-limit(rev # 20) | history )
  by varkor at August 24, 2025 at 09:14:22
• two-dimensional category theory ( two-dimensional category theory(rev # 1) | history )
  by varkor at August 24, 2025 at 09:10:44
• 2-limit ( 2-limit(rev # 1) | history )
  by varkor at August 24, 2025 at 09:08:35
• bicategorical limit ( bicategorical limit(rev # 64) | history )
  by varkor at August 24, 2025 at 09:08:19
• busy beaver function ( busy beaver function(rev # 5) | history )
  by David Roberts at August 24, 2025 at 05:11:05
• dense functor ( dense functor(rev # 36) | history )
  by Dmitri Pavlov at August 24, 2025 at 02:04:00
• busy beaver function ( busy beaver function(rev # 4) | history )
  by Dmitri Pavlov at August 24, 2025 at 01:14:31
• infinity-Chern-Weil theory introduction ( infinity-Chern-Weil theory introduction(rev # 123) | history )
  by Jesus Lopez? at August 24, 2025 at 00:03:34
• dense functor ( dense functor(rev # 35) | history )
  by Dmitri Pavlov at August 23, 2025 at 20:40:25
• Jon Beck ( Jon Beck(rev # 13) | history )
  by Urs Schreiber at August 23, 2025 at 19:23:13
• monadicity theorem ( monadicity theorem(rev # 62) | history )
  by Urs Schreiber at August 23, 2025 at 19:22:43
• pre-net ( pre-net(rev # 4) | history )
  by Mike Shulman at August 23, 2025 at 18:34:01
• Fox derivative ( Fox derivative(rev # 26) | history )
  by Urs Schreiber at August 23, 2025 at 17:36:02
• Borsuk's shape theory ( Borsuk's shape theory(rev # 10) | history )
  by Todd Trimble at August 23, 2025 at 15:47:27
• augmented algebra ( augmented algebra(rev # 7) | history )
  by Urs Schreiber at August 23, 2025 at 15:18:37
• Fox derivative ( Fox derivative(rev # 25) | history )
  by Urs Schreiber at August 23, 2025 at 15:17:11
• left Fox derivative > history ( left Fox derivative > history(rev # 2) | history )
  by Urs Schreiber at August 23, 2025 at 15:12:45
• real number ( real number(rev # 98) | history )
  by p? at August 23, 2025 at 13:48:15
• constructive mathematics ( constructive mathematics(rev # 100) | history )
  by p? at August 23, 2025 at 13:46:53
• Cauchy real number ( Cauchy real number(rev # 51) | history )
  by p? at August 23, 2025 at 13:46:09
• analytic LPO ( analytic LPO(rev # 16) | history )
  by p? at August 23, 2025 at 13:45:19
• irrational number ( irrational number(rev # 20) | history )
  by p? at August 23, 2025 at 13:42:50