nLab Latest Revisions

• Félix Loubaton ( Félix Loubaton(rev # 3) | history )
  by Urs Schreiber at July 18, 2026 at 17:18:24
• enriched (infinity,1)-category ( enriched (infinity,1)-category(rev # 14) | history )
  by Urs Schreiber at July 18, 2026 at 17:11:09
• Hadrian Heine ( Hadrian Heine(rev # 1) | history )
  by Urs Schreiber at July 18, 2026 at 17:10:48
• generalized homology ( generalized homology(rev # 22) | history )
  by Urs Schreiber at July 18, 2026 at 17:08:10
• homology ( homology(rev # 34) | history )
  by Urs Schreiber at July 18, 2026 at 17:07:05
• David Gepner ( David Gepner(rev # 16) | history )
  by Urs Schreiber at July 18, 2026 at 17:05:33
• Gray tensor product ( Gray tensor product(rev # 39) | history )
  by Urs Schreiber at July 18, 2026 at 17:05:07
• Naruki Masuda
  by Urs Schreiber at July 18, 2026 at 16:58:20
• infinity-category ( infinity-category(rev # 41) | history )
  by Urs Schreiber at July 18, 2026 at 16:57:15
• (∞,Z)-category ( (∞,Z)-category(rev # 6) | history )
  by Urs Schreiber at July 18, 2026 at 16:54:13
• Paul Lessard
  by Urs Schreiber at July 18, 2026 at 16:53:18
• higher category theory - contents ( higher category theory - contents(rev # 35) | history )
  by Urs Schreiber at July 18, 2026 at 16:51:29
• spectrum ( spectrum(rev # 71) | history )
  by Urs Schreiber at July 18, 2026 at 16:50:46
• David Kern ( David Kern(rev # 3) | history )
  by Urs Schreiber at July 18, 2026 at 16:47:26
• spectrum - disambiguation ( spectrum - disambiguation(rev # 11) | history )
  by Urs Schreiber at July 18, 2026 at 16:37:31
• Sandbox ( Sandbox(rev # 4051) | history )
  by Urs Schreiber at July 18, 2026 at 16:36:44
• Anderson duality ( Anderson duality(rev # 15) | history )
  by Urs Schreiber at July 18, 2026 at 16:32:00
• generalized homology ( generalized homology(rev # 21) | history )
  by Urs Schreiber at July 18, 2026 at 16:20:40
• Germán Stefanich ( Germán Stefanich(rev # 6) | history )
  by Urs Schreiber at July 18, 2026 at 15:54:05
• (∞,Z)-category ( (∞,Z)-category(rev # 5) | history )
  by Urs Schreiber at July 18, 2026 at 15:51:34
• spectrum - disambiguation ( spectrum - disambiguation(rev # 10) | history )
  by Urs Schreiber at July 18, 2026 at 15:34:40
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 49) | history )
  by Urs Schreiber at July 18, 2026 at 14:25:08
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 48) | history )
  by Urs Schreiber at July 18, 2026 at 07:06:01
• bornological topological vector space ( bornological topological vector space(rev # 17) | history )
  by Mark John Hopkins at July 18, 2026 at 07:03:50
• Joan S. Birman ( Joan S. Birman(rev # 8) | history )
  by Urs Schreiber at July 18, 2026 at 06:41:09
• Burau representation ( Burau representation(rev # 5) | history )
  by Urs Schreiber at July 18, 2026 at 06:40:38
• braid group representations -- references ( braid group representations -- references(rev # 19) | history )
  by Urs Schreiber at July 18, 2026 at 06:39:45
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 47) | history )
  by Will Orrick? at July 17, 2026 at 14:06:48
• Master course on algebraic stacks ( Master course on algebraic stacks(rev # 4) | history )
  by Elías Guisado? at July 17, 2026 at 13:43:14
• Sandbox ( Sandbox(rev # 4050) | history )
  by Elías Guisado? at July 17, 2026 at 13:43:06
• continuum hypothesis ( continuum hypothesis(rev # 43) | history )
  by Morgan Rogers at July 17, 2026 at 13:35:09
• inter-universal Teichmüller theory ( inter-universal Teichmüller theory(rev # 46) | history )
  by Will Orrick? at July 17, 2026 at 13:17:55
• shape via cohesive path ∞-groupoid ( shape via cohesive path ∞-groupoid(rev # 31) | history )
  by Urs Schreiber at July 17, 2026 at 07:42:12
• Dmitri Pavlov ( Dmitri Pavlov(rev # 12) | history )
  by Urs Schreiber at July 17, 2026 at 07:26:16
• model structure on diffeological spaces ( model structure on diffeological spaces(rev # 9) | history )
  by Urs Schreiber at July 17, 2026 at 07:25:33
• opposite model structure ( opposite model structure(rev # 5) | history )
  by B.S.? at July 17, 2026 at 07:07:23
• open quantum system ( open quantum system(rev # 6) | history )
  by Urs Schreiber at July 17, 2026 at 06:04:53
• Raphaël Sterbac ( Raphaël Sterbac(rev # 2) | history )
  by Urs Schreiber at July 17, 2026 at 05:59:48
• hierarchy of universes ( hierarchy of universes(rev # 14) | history )
  by post? at July 16, 2026 at 23:26:05
• hierarchy of universes ( hierarchy of universes(rev # 13) | history )
  by post? at July 16, 2026 at 21:39:35
• hierarchy of universes ( hierarchy of universes(rev # 12) | history )
  by post? at July 16, 2026 at 20:22:18
• hierarchy of universes ( hierarchy of universes(rev # 11) | history )
  by post? at July 16, 2026 at 18:55:36
• hierarchy of universes ( hierarchy of universes(rev # 10) | history )
  by post? at July 16, 2026 at 17:40:11
• Raphaël Sterbac ( Raphaël Sterbac(rev # 1) | history )
  by post? at July 16, 2026 at 17:33:36
• Antonio R. Garzón ( Antonio R. Garzón(rev # 7) | history )
  by Urs Schreiber at July 16, 2026 at 12:29:35
• shape via cohesive path ∞-groupoid ( shape via cohesive path ∞-groupoid(rev # 30) | history )
  by Urs Schreiber at July 16, 2026 at 12:13:49
• Antonio R. Garzón ( Antonio R. Garzón(rev # 6) | history )
  by Tim Porter at July 16, 2026 at 11:48:45
• comma category ( comma category(rev # 69) | history )
  by varkor at July 16, 2026 at 06:43:34
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 54) | history )
  by Urs Schreiber at July 16, 2026 at 05:29:38
• Yoneda lemma for (infinity,1)-categories ( Yoneda lemma for (infinity,1)-categories(rev # 30) | history )
  by Urs Schreiber at July 16, 2026 at 05:26:02
• Peter May ( Peter May(rev # 34) | history )
  by Urs Schreiber at July 16, 2026 at 05:23:02
• symmetric monoidal category ( symmetric monoidal category(rev # 60) | history )
  by Urs Schreiber at July 16, 2026 at 05:22:15
• Michele Schiavina ( Michele Schiavina(rev # 8) | history )
  by Urs Schreiber at July 16, 2026 at 05:17:20
• Katarzyna Rejzner ( Katarzyna Rejzner(rev # 8) | history )
  by Urs Schreiber at July 16, 2026 at 05:16:41
• perturbative algebraic quantum field theory ( perturbative algebraic quantum field theory(rev # 45) | history )
  by Urs Schreiber at July 16, 2026 at 05:16:11
• restriction category ( restriction category(rev # 10) | history )
  by varkor at July 15, 2026 at 15:28:49
• 2-vector space ( 2-vector space(rev # 63) | history )
  by Urs Schreiber at July 15, 2026 at 09:47:12
• exotic 7-sphere ( exotic 7-sphere(rev # 19) | history )
  by Urs Schreiber at July 15, 2026 at 07:24:51
• Benedikt Ahrens ( Benedikt Ahrens(rev # 14) | history )
  by Urs Schreiber at July 15, 2026 at 05:13:42
• Rzk ( Rzk(rev # 5) | history )
  by Urs Schreiber at July 15, 2026 at 05:13:08
• Foling Zou ( Foling Zou(rev # 3) | history )
  by Urs Schreiber at July 15, 2026 at 05:09:42
• Peter May ( Peter May(rev # 33) | history )
  by Urs Schreiber at July 15, 2026 at 05:09:23
• monadicity theorem ( monadicity theorem(rev # 63) | history )
  by Urs Schreiber at July 15, 2026 at 05:08:30
• equivariant stable homotopy theory ( equivariant stable homotopy theory(rev # 57) | history )
  by Urs Schreiber at July 15, 2026 at 05:03:42
• Latham Boyle ( Latham Boyle(rev # 5) | history )
  by Urs Schreiber at July 15, 2026 at 04:56:53
• Albert algebra ( Albert algebra(rev # 25) | history )
  by Urs Schreiber at July 15, 2026 at 04:56:27
• Marco Benini ( Marco Benini(rev # 23) | history )
  by Urs Schreiber at July 15, 2026 at 04:50:43
• Alexander Schenkel ( Alexander Schenkel(rev # 32) | history )
  by Urs Schreiber at July 15, 2026 at 04:50:09
• semi-topological D=4 Chern-Simons theory ( semi-topological D=4 Chern-Simons theory(rev # 24) | history )
  by Urs Schreiber at July 15, 2026 at 04:49:16
• end ( end(rev # 74) | history )
  by Marco Vianello? at July 14, 2026 at 16:49:48
• comma category ( comma category(rev # 68) | history )
  by Robert Furber? at July 14, 2026 at 16:01:52
• coherence and strictification ( coherence and strictification(rev # 2) | history )
  by varkor at July 14, 2026 at 11:08:25
• coherence and strictification for symmetric monoidal categories ( coherence and strictification for symmetric monoidal categories(rev # 12) | history )
  by varkor at July 14, 2026 at 11:07:56
• coherence and strictification for monoidal categories ( coherence and strictification for monoidal categories(rev # 26) | history )
  by varkor at July 14, 2026 at 11:07:32
• Sandbox2 ( Sandbox2(rev # 143) | history )
  by Dean Young? at July 14, 2026 at 09:45:37
• Giry monad ( Giry monad(rev # 109) | history )
  by kirk_sturtz? at July 14, 2026 at 08:29:58
• end ( end(rev # 73) | history )
  by fosco? at July 14, 2026 at 08:21:19
• controllability and observability ( controllability and observability(rev # 12) | history )
  by David Corfield at July 14, 2026 at 08:08:23
• Giry monad ( Giry monad(rev # 108) | history )
  by kirk_sturtz? at July 14, 2026 at 07:49:07
• Sandbox2 ( Sandbox2(rev # 142) | history )
  by Dean Young? at July 14, 2026 at 04:40:05
• Giry monad ( Giry monad(rev # 107) | history )
  by kirk_sturtz? at July 14, 2026 at 03:39:56
• controllability and observability ( controllability and observability(rev # 11) | history )
  by David Corfield at July 13, 2026 at 18:08:35
• Finite Quantum Electrodynamics -- The Causal Approach ( Finite Quantum Electrodynamics -- The Causal Approach(rev # 5) | history )
  by Ishan Deo? at July 13, 2026 at 16:18:53
• notation ( notation(rev # 8) | history )
  by Άπειρον Αρχή? at July 13, 2026 at 14:42:35
• syntomic cohomology ( syntomic cohomology(rev # 7) | history )
  by Elías Guisado? at July 13, 2026 at 13:06:14
• monoidal model category ( monoidal model category(rev # 71) | history )
  by Urs Schreiber at July 13, 2026 at 06:01:12
• change of enriching category ( change of enriching category(rev # 9) | history )
  by Urs Schreiber at July 13, 2026 at 06:00:03
• Leonardo Rastelli ( Leonardo Rastelli(rev # 10) | history )
  by Urs Schreiber at July 13, 2026 at 05:52:34
• vertex operator algebra ( vertex operator algebra(rev # 68) | history )
  by Urs Schreiber at July 13, 2026 at 05:51:51
• transitive relation ( transitive relation(rev # 9) | history )
  by Madeleine Birchfield at July 12, 2026 at 20:21:59
• hom-functor preserves limits ( hom-functor preserves limits(rev # 14) | history )
  by Roey? at July 12, 2026 at 20:13:18
• (0,1)-category ( (0,1)-category(rev # 21) | history )
  by Madeleine Birchfield at July 12, 2026 at 19:52:12
• Hodge-filtered differential cohomology ( Hodge-filtered differential cohomology(rev # 7) | history )
  by Geoff? at July 12, 2026 at 17:47:59
• abelian sheaf ( abelian sheaf(rev # 10) | history )
  by Urs Schreiber at July 12, 2026 at 14:39:20
• abelian sheaf ( abelian sheaf(rev # 9) | history )
  by David Roberts at July 12, 2026 at 12:13:45
• Categories and Sheaves ( Categories and Sheaves(rev # 58) | history )
  by David Roberts at July 12, 2026 at 12:13:21
• category of elements ( category of elements(rev # 53) | history )
  by Patrick Nicodemus? at July 12, 2026 at 04:01:00
• del Pezzo surface ( del Pezzo surface(rev # 8) | history )
  by John Baez at July 11, 2026 at 21:25:02
• Daniel Freed ( Daniel Freed(rev # 31) | history )
  by Urs Schreiber at July 11, 2026 at 17:02:03
• Weyl group ( Weyl group(rev # 16) | history )
  by Urs Schreiber at July 11, 2026 at 14:22:06