nLab
Latest Revisions

• ultracategory ( ultracategory(rev # 8) | history )
  by David Corfield at June 23, 2020 at 06:28:13
• Poisson-Lie T-duality ( Poisson-Lie T-duality(rev # 23) | history )
  by Luigi Alfonsi at June 23, 2020 at 06:11:48
• ultracategory ( ultracategory(rev # 7) | history )
  by David Corfield at June 23, 2020 at 05:12:40
• linear logic ( linear logic(rev # 93) | history )
  by Toby Bartels at June 22, 2020 at 20:03:29
• VitalyR
  by Vitaly R at June 22, 2020 at 15:00:21
• math blogs ( math blogs(rev # 172) | history )
  by Vitaly R at June 22, 2020 at 14:54:37
• exponentiable topos ( exponentiable topos(rev # 17) | history )
  by Thomas Holder at June 22, 2020 at 11:46:16
• exponentiable topos ( exponentiable topos(rev # 16) | history )
  by Thomas Holder at June 22, 2020 at 08:56:10
• theory of model homomorphisms ( theory of model homomorphisms(rev # 5) | history )
  by Thomas Holder at June 22, 2020 at 08:37:38
• principle of equivalence ( principle of equivalence(rev # 92) | history )
  by Anonymous at June 21, 2020 at 21:56:41
• Lie's three theorems ( Lie's three theorems(rev # 26) | history )
  by John Baez at June 21, 2020 at 20:01:40
• exponentiable topos ( exponentiable topos(rev # 15) | history )
  by Thomas Holder at June 21, 2020 at 07:04:07
• theory of model homomorphisms ( theory of model homomorphisms(rev # 4) | history )
  by Thomas Holder at June 21, 2020 at 06:08:56
• generalized multicategory ( generalized multicategory(rev # 20) | history )
  by David Corfield at June 21, 2020 at 05:09:38
• infinity-action ( infinity-action(rev # 40) | history )
  by Urs Schreiber at June 20, 2020 at 14:32:15
• differential geometry ( differential geometry(rev # 45) | history )
  by Urs Schreiber at June 20, 2020 at 14:31:48
• higher order frame bundle ( higher order frame bundle(rev # 4) | history )
  by Urs Schreiber at June 20, 2020 at 14:31:01
• natural bundle ( natural bundle(rev # 7) | history )
  by Urs Schreiber at June 20, 2020 at 14:30:07
• Natural operations in differential geometry ( Natural operations in differential geometry(rev # 3) | history )
  by Urs Schreiber at June 20, 2020 at 14:29:45
• infinity-group ( infinity-group(rev # 29) | history )
  by Urs Schreiber at June 20, 2020 at 14:28:26
• coherent logic ( coherent logic(rev # 16) | history )
  by Thomas Holder at June 20, 2020 at 08:46:12
• cobordism category ( cobordism category(rev # 20) | history )
  by Urs Schreiber at June 20, 2020 at 08:17:18
• twisted cohomotopy ( twisted cohomotopy(rev # 13) | history )
  by Urs Schreiber at June 20, 2020 at 08:16:52
• higher order frame bundle ( higher order frame bundle(rev # 3) | history )
  by Urs Schreiber at June 20, 2020 at 07:53:09
• Natural operations in differential geometry ( Natural operations in differential geometry(rev # 2) | history )
  by Urs Schreiber at June 20, 2020 at 07:49:19
• frame bundle ( frame bundle(rev # 12) | history )
  by Urs Schreiber at June 20, 2020 at 07:43:15
• integrability of G-structures ( integrability of G-structures(rev # 21) | history )
  by Urs Schreiber at June 20, 2020 at 06:27:09
• cocone ( cocone(rev # 8) | history )
  by Richard Williamson at June 20, 2020 at 05:30:37
• theory of model homomorphisms ( theory of model homomorphisms(rev # 3) | history )
  by Thomas Holder at June 19, 2020 at 14:22:15
• theory of objects ( theory of objects(rev # 18) | history )
  by Thomas Holder at June 19, 2020 at 14:09:56
• exponentiable topos ( exponentiable topos(rev # 14) | history )
  by Thomas Holder at June 19, 2020 at 13:48:30
• theory of model homomorphisms ( theory of model homomorphisms(rev # 2) | history )
  by Thomas Holder at June 19, 2020 at 13:13:57
• theory of model homomorphisms ( theory of model homomorphisms(rev # 1) | history )
  by Thomas Holder at June 19, 2020 at 10:30:13
• geometric theory ( geometric theory(rev # 47) | history )
  by Thomas Holder at June 19, 2020 at 10:16:50
• Sandbox ( Sandbox(rev # 2032) | history )
  by Thomas Holder at June 19, 2020 at 09:35:46
• theory of objects ( theory of objects(rev # 17) | history )
  by Thomas Holder at June 19, 2020 at 06:22:35
• kinship ( kinship(rev # 40) | history )
  by Thomas Holder at June 19, 2020 at 05:49:29
• internal hom ( internal hom(rev # 66) | history )
  by Fabian? at June 19, 2020 at 05:12:53
• big and little toposes ( big and little toposes(rev # 36) | history )
  by Urs Schreiber at June 19, 2020 at 05:01:00
• derived differential geometry ( derived differential geometry(rev # 6) | history )
  by Urs Schreiber at June 19, 2020 at 04:36:18
• David Carchedi ( David Carchedi(rev # 9) | history )
  by Urs Schreiber at June 19, 2020 at 04:27:44
• étale infinity-groupoid ( étale infinity-groupoid(rev # 9) | history )
  by Urs Schreiber at June 19, 2020 at 04:26:13
• David Carchedi ( David Carchedi(rev # 8) | history )
  by Urs Schreiber at June 19, 2020 at 03:51:34
• homotopy category ( homotopy category(rev # 32) | history )
  by Elves? at June 19, 2020 at 02:09:19
• full and faithful functor ( full and faithful functor(rev # 18) | history )
  by David Roberts at June 18, 2020 at 21:37:06
• exponentiable topos ( exponentiable topos(rev # 13) | history )
  by Thomas Holder at June 18, 2020 at 17:33:45
• quasi-Hopf algebra ( quasi-Hopf algebra(rev # 19) | history )
  by Sean Sanford? at June 18, 2020 at 15:39:28
• adjoint functor theorem ( adjoint functor theorem(rev # 51) | history )
  by Bartosz Milewski? at June 18, 2020 at 14:21:54
• model category ( model category(rev # 88) | history )
  by Mike Shulman at June 18, 2020 at 13:21:44
• weak factorization system ( weak factorization system(rev # 43) | history )
  by Mike Shulman at June 18, 2020 at 13:21:03
• directed homotopy type theory ( directed homotopy type theory(rev # 11) | history )
  by Anonymous at June 18, 2020 at 10:43:13
• cartesian closed functor ( cartesian closed functor(rev # 10) | history )
  by Fabian? at June 18, 2020 at 10:18:20
• exceptional field theory ( exceptional field theory(rev # 18) | history )
  by Urs Schreiber at June 18, 2020 at 04:43:10
• Bott-Chern cohomology ( Bott-Chern cohomology(rev # 2) | history )
  by Urs Schreiber at June 18, 2020 at 04:17:26
• Hodge structure ( Hodge structure(rev # 25) | history )
  by Urs Schreiber at June 18, 2020 at 04:13:05
• Daniele Angella
  by Urs Schreiber at June 18, 2020 at 03:41:42
• Bott-Chern cohomology ( Bott-Chern cohomology(rev # 1) | history )
  by Urs Schreiber at June 18, 2020 at 03:41:03
• complex manifold ( complex manifold(rev # 20) | history )
  by Urs Schreiber at June 18, 2020 at 03:40:42
• Cartan geometry ( Cartan geometry(rev # 27) | history )
  by Urs Schreiber at June 18, 2020 at 03:34:29
• Dolbeault cohomology ( Dolbeault cohomology(rev # 11) | history )
  by Urs Schreiber at June 18, 2020 at 03:30:24
• David Berman ( David Berman(rev # 10) | history )
  by Luigi Alfonsi at June 18, 2020 at 03:04:49
• exceptional field theory ( exceptional field theory(rev # 17) | history )
  by Luigi Alfonsi at June 18, 2020 at 03:03:19
• Picard 2-group ( Picard 2-group(rev # 9) | history )
  by David Corfield at June 18, 2020 at 02:27:31
• Picard 3-group ( Picard 3-group(rev # 11) | history )
  by David Corfield at June 18, 2020 at 02:26:37
• Bartosz Milewski ( Bartosz Milewski(rev # 2) | history )
  by Bartosz Milewski at June 17, 2020 at 23:05:06
• descent morphism ( descent morphism(rev # 8) | history )
  by Dmitri Pavlov at June 17, 2020 at 22:30:38
• adjoint functor theorem ( adjoint functor theorem(rev # 50) | history )
  by Bartosz Milewski at June 17, 2020 at 22:26:27
• exact real computer arithmetic ( exact real computer arithmetic(rev # 3) | history )
  by Nikolaj K? at June 17, 2020 at 20:01:29
• Picard 3-group ( Picard 3-group(rev # 10) | history )
  by David Corfield at June 17, 2020 at 15:39:08
• Dmitri Nikshych
  by David Corfield at June 17, 2020 at 15:31:21
• Brauer group ( Brauer group(rev # 32) | history )
  by David Corfield at June 17, 2020 at 15:29:43
• Artin gluing ( Artin gluing(rev # 27) | history )
  by Mamuka Jibladze at June 17, 2020 at 14:04:46
• PCT theorem ( PCT theorem(rev # 9) | history )
  by Anonymous at June 17, 2020 at 11:13:45
• power set ( power set(rev # 24) | history )
  by Oscar Cunningham at June 17, 2020 at 09:56:41
• Hopf algebroid ( Hopf algebroid(rev # 36) | history )
  by Zoran Škoda at June 17, 2020 at 09:36:27
• poset of subobjects ( poset of subobjects(rev # 14) | history )
  by Urs Schreiber at June 17, 2020 at 07:29:37
• nous ( nous(rev # 7) | history )
  by Luigi Alfonsi at June 17, 2020 at 07:05:33
• logos (in philosophy) ( logos (in philosophy)(rev # 6) | history )
  by Luigi Alfonsi at June 17, 2020 at 07:05:15
• hermeticism ( hermeticism(rev # 5) | history )
  by Luigi Alfonsi at June 17, 2020 at 07:04:37
• metaphysics ( metaphysics(rev # 12) | history )
  by Luigi Alfonsi at June 17, 2020 at 05:49:47
• open problem of confinement -- references ( open problem of confinement -- references(rev # 2) | history )
  by Urs Schreiber at June 17, 2020 at 01:51:21
• Sebastian M. Schmidt
  by Urs Schreiber at June 17, 2020 at 01:49:51
• Craig Roberts
  by Urs Schreiber at June 17, 2020 at 01:48:13
• Sandbox ( Sandbox(rev # 2031) | history )
  by Urs Schreiber at June 17, 2020 at 01:35:33
• mass gap ( mass gap(rev # 30) | history )
  by Urs Schreiber at June 17, 2020 at 01:27:03
• John Duskin ( John Duskin(rev # 10) | history )
  by Dmitri Pavlov at June 16, 2020 at 23:42:52
• nonstandard model of arithmetic ( nonstandard model of arithmetic(rev # 6) | history )
  by Anonymous at June 16, 2020 at 18:27:13
• Legendre transformation ( Legendre transformation(rev # 13) | history )
  by Jin? at June 16, 2020 at 16:56:34
• Jónsson-Tarski topos ( Jónsson-Tarski topos(rev # 19) | history )
  by Thomas Holder at June 16, 2020 at 15:07:26
• kinship ( kinship(rev # 39) | history )
  by Thomas Holder at June 16, 2020 at 15:04:32
• Smith space (functional analysis) ( Smith space (functional analysis)(rev # 2) | history )
  by David Corfield at June 16, 2020 at 14:43:38
• functional analysis - contents ( functional analysis - contents(rev # 12) | history )
  by David Corfield at June 16, 2020 at 14:29:44
• infinity-cosmos ( infinity-cosmos(rev # 5) | history )
  by Anonymous at June 16, 2020 at 12:40:22
• tangent bundle ( tangent bundle(rev # 47) | history )
  by Alan? at June 16, 2020 at 10:15:05
• Marianne Smith ( Marianne Smith(rev # 2) | history )
  by Urs Schreiber at June 16, 2020 at 10:08:27
• Marianne Smith ( Marianne Smith(rev # 1) | history )
  by David Corfield at June 16, 2020 at 10:06:57
• Smith space (functional analysis) ( Smith space (functional analysis)(rev # 1) | history )
  by David Corfield at June 16, 2020 at 10:04:00
• generalized smooth space ( generalized smooth space(rev # 29) | history )
  by David Corfield at June 16, 2020 at 09:32:36
• Smith space (generalized smooth space) ( Smith space (generalized smooth space)(rev # 3) | history )
  by David Corfield at June 16, 2020 at 09:31:30
• Walter Lewis Baily
  by Urs Schreiber at June 16, 2020 at 09:29:45