nLab Latest Revisions

• conceptual completeness ( conceptual completeness(rev # 16) | history )
  by Umberto Tarantino at July 31, 2025 at 14:09:31
• G-CW complex ( G-CW complex(rev # 56) | history )
  by Urs Schreiber at July 31, 2025 at 10:26:49
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 7) | history )
  by Urs Schreiber at July 31, 2025 at 10:26:35
• Sandbox ( Sandbox(rev # 3743) | history )
  by Urs Schreiber at July 31, 2025 at 10:22:08
• Nicolas Regnault ( Nicolas Regnault(rev # 4) | history )
  by Urs Schreiber at July 30, 2025 at 21:12:33
• B. Andrei Bernevig ( B. Andrei Bernevig(rev # 7) | history )
  by Urs Schreiber at July 30, 2025 at 21:11:29
• unstable classification of topological phases -- references ( unstable classification of topological phases -- references(rev # 6) | history )
  by Urs Schreiber at July 30, 2025 at 21:08:13
• G-CW complex ( G-CW complex(rev # 55) | history )
  by Urs Schreiber at July 30, 2025 at 19:48:54
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 6) | history )
  by Urs Schreiber at July 30, 2025 at 19:47:07
• Sandbox ( Sandbox(rev # 3742) | history )
  by Urs Schreiber at July 30, 2025 at 19:46:08
• quantum set ( quantum set(rev # 32) | history )
  by Andre Kornell at July 30, 2025 at 19:34:56
• Rune Haugseng ( Rune Haugseng(rev # 7) | history )
  by David Corfield at July 30, 2025 at 16:05:40
• unstable classification of topological phases -- references ( unstable classification of topological phases -- references(rev # 5) | history )
  by Urs Schreiber at July 30, 2025 at 15:40:55
• category of fibrant objects ( category of fibrant objects(rev # 64) | history )
  by Girgel? at July 30, 2025 at 15:05:19
• categories mailing list ( categories mailing list(rev # 10) | history )
  by Urs Schreiber at July 30, 2025 at 14:51:10
• linearly distributive category ( linearly distributive category(rev # 28) | history )
  by Guillaume Munch-Maccagnoni? at July 30, 2025 at 14:20:41
• categories mailing list ( categories mailing list(rev # 9) | history )
  by Nick Hu? at July 30, 2025 at 11:45:35
• relative adjoint functor ( relative adjoint functor(rev # 24) | history )
  by Fernando Chu? at July 30, 2025 at 09:35:19
• factorization algebra ( factorization algebra(rev # 54) | history )
  by Urs Schreiber at July 30, 2025 at 08:24:34
• Robert Paré ( Robert Paré(rev # 19) | history )
  by varkor at July 29, 2025 at 13:43:08
• Robert Paré ( Robert Paré(rev # 18) | history )
  by varkor at July 29, 2025 at 09:33:16
• group algebra ( group algebra(rev # 43) | history )
  by perezl.alonso at July 29, 2025 at 08:54:46
• symmetric group ( symmetric group(rev # 24) | history )
  by perezl.alonso at July 29, 2025 at 08:54:08
• topos ( topos(rev # 129) | history )
  by Tom de Jong at July 29, 2025 at 08:48:58
• analytic function ( analytic function(rev # 21) | history )
  by Tomas? at July 29, 2025 at 06:23:45
• valuation ring ( valuation ring(rev # 20) | history )
  by Tomas? at July 29, 2025 at 06:12:43
• Tannaka duality ( Tannaka duality(rev # 64) | history )
  by Jin? at July 28, 2025 at 16:54:42
• Tannaka duality ( Tannaka duality(rev # 63) | history )
  by Jin? at July 28, 2025 at 15:33:36
• Yuri Ximenes Martins ( Yuri Ximenes Martins(rev # 21) | history )
  by Yuri Ximenes Martins at July 28, 2025 at 15:09:23
• (sub)object classifier in an (infinity,1)-topos ( (sub)object classifier in an (infinity,1)-topos(rev # 53) | history )
  by Naïm Favier? at July 27, 2025 at 22:15:40
• Raymond Laflamme ( Raymond Laflamme(rev # 9) | history )
  by Urs Schreiber at July 27, 2025 at 19:06:14
• wallpaper group ( wallpaper group(rev # 14) | history )
  by Urs Schreiber at July 27, 2025 at 18:37:51
• Tomáš Bzdušek ( Tomáš Bzdušek(rev # 5) | history )
  by Urs Schreiber at July 27, 2025 at 17:50:24
• free product of groups ( free product of groups(rev # 10) | history )
  by Qin Yuxuan? at July 27, 2025 at 12:24:50
• profunctor ( profunctor(rev # 85) | history )
  by varkor at July 27, 2025 at 11:29:54
• algebraic weak factorization system ( algebraic weak factorization system(rev # 31) | history )
  by varkor at July 27, 2025 at 10:44:08
• colimits in categories of algebras ( colimits in categories of algebras(rev # 38) | history )
  by varkor at July 27, 2025 at 10:41:03
• sigma-ideal ( sigma-ideal(rev # 8) | history )
  by Daniel Nascimento? at July 27, 2025 at 08:15:09
• ETCC ( ETCC(rev # 42) | history )
  by Tomas? at July 27, 2025 at 06:44:50
• net ( net(rev # 41) | history )
  by Trivial Editor? at July 26, 2025 at 19:29:41
• wallpaper group ( wallpaper group(rev # 13) | history )
  by Urs Schreiber at July 26, 2025 at 16:19:37
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 5) | history )
  by Urs Schreiber at July 26, 2025 at 15:06:59
• Sandbox ( Sandbox(rev # 3741) | history )
  by Urs Schreiber at July 26, 2025 at 15:06:24
• G-CW complex ( G-CW complex(rev # 54) | history )
  by Urs Schreiber at July 26, 2025 at 11:49:31
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 4) | history )
  by Urs Schreiber at July 26, 2025 at 11:39:46
• Sandbox ( Sandbox(rev # 3740) | history )
  by Urs Schreiber at July 26, 2025 at 11:38:18
• Peano arithmetic ( Peano arithmetic(rev # 18) | history )
  by snc? at July 26, 2025 at 08:58:29
• truth value ( truth value(rev # 26) | history )
  by Trebor? at July 26, 2025 at 07:35:08
• category of filters ( category of filters(rev # 4) | history )
  by ＩＱ２? at July 26, 2025 at 05:14:33
• Sierpinski space ( Sierpinski space(rev # 22) | history )
  by Trebor? at July 25, 2025 at 08:32:11
• subobject classifier ( subobject classifier(rev # 62) | history )
  by Trivial Editor? at July 25, 2025 at 05:06:34
• modulating morphism ( modulating morphism(rev # 5) | history )
  by Trivial Editor? at July 25, 2025 at 04:27:04
• Hurewicz connection ( Hurewicz connection(rev # 22) | history )
  by Trivial Editor? at July 25, 2025 at 02:53:43
• profunctor ( profunctor(rev # 84) | history )
  by Pseudonium? at July 24, 2025 at 22:06:55
• opposite category ( opposite category(rev # 35) | history )
  by Pseudonium? at July 24, 2025 at 21:34:25
• fibrant object ( fibrant object(rev # 11) | history )
  by Daniel? at July 24, 2025 at 18:34:20
• Clark Barwick ( Clark Barwick(rev # 16) | history )
  by Urs Schreiber at July 24, 2025 at 16:05:38
• factorization algebra ( factorization algebra(rev # 53) | history )
  by Urs Schreiber at July 24, 2025 at 16:05:08
• Open problems in topos theory ( Open problems in topos theory(rev # 5) | history )
  by Thomas Holder at July 24, 2025 at 15:47:23
• factorization algebra ( factorization algebra(rev # 52) | history )
  by David Corfield at July 24, 2025 at 14:59:13
• Open problems in topos theory ( Open problems in topos theory(rev # 4) | history )
  by Urs Schreiber at July 24, 2025 at 14:58:01
• sheaf and topos theory ( sheaf and topos theory(rev # 53) | history )
  by Urs Schreiber at July 24, 2025 at 14:49:02
• William Lawvere ( William Lawvere(rev # 109) | history )
  by Urs Schreiber at July 24, 2025 at 14:46:32
• Ryuya Hora ( Ryuya Hora(rev # 2) | history )
  by Urs Schreiber at July 24, 2025 at 14:32:09
• Open problems in topos theory ( Open problems in topos theory(rev # 3) | history )
  by Thomas Holder at July 24, 2025 at 12:36:26
• pointed endofunctor ( pointed endofunctor(rev # 15) | history )
  by kjc? at July 24, 2025 at 12:29:04
• Open problems in topos theory ( Open problems in topos theory(rev # 2) | history )
  by Thomas Holder at July 24, 2025 at 10:57:22
• Open problems in topos theory ( Open problems in topos theory(rev # 1) | history )
  by David Corfield at July 24, 2025 at 10:41:21
• William Lawvere ( William Lawvere(rev # 108) | history )
  by David Corfield at July 24, 2025 at 10:38:57
• monad ( monad(rev # 149) | history )
  by Tomas? at July 24, 2025 at 09:35:32
• join of simplicial sets ( join of simplicial sets(rev # 58) | history )
  by Tomas? at July 24, 2025 at 09:15:19
• Sergei M. Kuzenko ( Sergei M. Kuzenko(rev # 4) | history )
  by Urs Schreiber at July 24, 2025 at 08:09:41
• super anti de Sitter spacetime ( super anti de Sitter spacetime(rev # 28) | history )
  by Urs Schreiber at July 24, 2025 at 08:09:04
• weak inverse ( weak inverse(rev # 7) | history )
  by qexat? at July 24, 2025 at 07:18:19
• lattice gauge theory ( lattice gauge theory(rev # 52) | history )
  by Urs Schreiber at July 24, 2025 at 05:52:40
• Emil Prodan ( Emil Prodan(rev # 2) | history )
  by Emil Prodan at July 24, 2025 at 02:15:55
• gauge group ( gauge group(rev # 24) | history )
  by Jesus Lopez? at July 24, 2025 at 00:18:54
• Hurewicz cofibration ( Hurewicz cofibration(rev # 53) | history )
  by jikeda? at July 23, 2025 at 23:38:41
• Snaith theorem ( Snaith theorem(rev # 33) | history )
  by Arun Debray at July 23, 2025 at 21:11:55
• model structure on cubical sets ( model structure on cubical sets(rev # 25) | history )
  by Naïm Favier? at July 23, 2025 at 13:42:55
• William Lawvere ( William Lawvere(rev # 107) | history )
  by Urs Schreiber at July 23, 2025 at 11:10:06
• topological phase of matter ( topological phase of matter(rev # 64) | history )
  by Urs Schreiber at July 23, 2025 at 10:39:10
• William Lawvere ( William Lawvere(rev # 106) | history )
  by Urs Schreiber at July 23, 2025 at 10:22:45
• Markov category ( Markov category(rev # 79) | history )
  by Urs Schreiber at July 23, 2025 at 10:21:43
• monads of probability, measures, and valuations ( monads of probability, measures, and valuations(rev # 52) | history )
  by Urs Schreiber at July 23, 2025 at 10:21:08
• category-theoretic approaches to probability theory ( category-theoretic approaches to probability theory(rev # 42) | history )
  by Urs Schreiber at July 23, 2025 at 10:20:44
• Sandbox ( Sandbox(rev # 3739) | history )
  by Giovanni Giacalone? at July 23, 2025 at 09:47:27
• William Lawvere ( William Lawvere(rev # 105) | history )
  by Urs Schreiber at July 23, 2025 at 09:44:03
• monads of probability, measures, and valuations ( monads of probability, measures, and valuations(rev # 51) | history )
  by Urs Schreiber at July 23, 2025 at 09:40:58
• Markov category ( Markov category(rev # 78) | history )
  by Urs Schreiber at July 23, 2025 at 09:39:24
• category-theoretic approaches to probability theory ( category-theoretic approaches to probability theory(rev # 41) | history )
  by paoloperrone at July 23, 2025 at 09:30:23
• monads of probability, measures, and valuations ( monads of probability, measures, and valuations(rev # 50) | history )
  by paoloperrone at July 23, 2025 at 09:16:11
• Markov category ( Markov category(rev # 77) | history )
  by paoloperrone at July 23, 2025 at 09:15:11
• conservative cocompletion ( conservative cocompletion(rev # 15) | history )
  by Sam Staton at July 23, 2025 at 08:45:11
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 3) | history )
  by Urs Schreiber at July 23, 2025 at 07:49:45
• conservative cocompletion ( conservative cocompletion(rev # 14) | history )
  by Sam Staton at July 23, 2025 at 07:22:35
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 2) | history )
  by Urs Schreiber at July 22, 2025 at 20:09:50
• G-CW complex ( G-CW complex(rev # 53) | history )
  by Urs Schreiber at July 22, 2025 at 17:17:10
• conservative cocompletion ( conservative cocompletion(rev # 13) | history )
  by Sam Staton at July 22, 2025 at 17:10:30
• equivariant cell structure on 2-tori -- section ( equivariant cell structure on 2-tori -- section(rev # 1) | history )
  by Urs Schreiber at July 22, 2025 at 16:32:13