Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • I tried to implement the connection between D-modules and quasicoherent sheaves a bit more

      • added to D-module the alternative definition in terms of quasicoherent sheaves of the deRham space

      • added to deRham space accordingly a pointer to D-modules (also fixed wrong notation in the formulas there)

      • added to quasicoherent sheaf at the very bottom a pointer to D-modules.

      This needs improving. Notably good references should be given.

    • I have expanded the Idea section at state on a star-algebra and added a bunch of references.

      The entry used to be called “state on an operator algebra”, but I renamed it (keeping the redirect) because part of the whole point of the definition is that it makes sense without necessarily having represented the “abstract” star-algebra as a C*-algebra of linear operators.

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting page on bars

      Anonymouse

      v1, current

    • starting page on bar induction

      Anonymouse

      v1, current

    • Added a section about the preservation of five classes of maps.

      diff, v11, current

    • The mathematician who is the subject of this page is known as C. S. Seshadri, and not C. Seshadri as the current title of the page indicates. Correcting it.

      N. Raghavendra

      diff, v2, current

    • just a stub for the moment, in order to make links work

      v1, current

    • Simply a typo; the constant functor is of type CFunc(K,C)C \rightarrow \text{Func}(K, C).

      diff, v72, current

    • I started an entry on Chern-Simons theory, after having been inspired by news that Witten has thought up a new Morse theory approach to the defining the path integral nonperturbatively (see Not Even Wrong), and Urs' encouragement. There is so much material on Chern-Simons theory, and I am only familiar with a small portion of it, that having to do with "extended topological quantum field theory".
    • Create a stub for this concept.

      v1, current

    • Started the page. The hope is that we might use this page to co-ordinate the recovery of manuscripts in category theory that have been deemed lost. I have many other references I intend to add when I find the time.

      v1, current

    • I have added to homotopy group a very brief pointer to Mike’s HoTT formalization of π 1(S 1)\pi_1(S^1).

      Eventually I would like to have by default our nnLab entries be equipped with detailed pointers to which aspects have been formalized in HoTT (if they have), and in which .v-file precisely.

    • a stub entry, for the moment just to record some references

      v1, current

    • turning this into a disambiguation page. Most of the category theory material on here was a duplicate of material at source.

      Anonymous

      diff, v8, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • have created an entry Khovanov homology, so far containing only some references and a little paragraph on the recent advances in identifying the corresponding TQFT. I have also posted this to the nnCafé here, hoping that others feel inspired to work on expanding this entry

    • brief category:people-entry for hyperlinking references

      v1, current

    • stub entry, for the moment just to satisfy links

      v1, current

    • The page collects the various networks and communities of category theorists around the world. As far as I have seen, such page was missing from the nLab!

      Feel free to continue the list

      v1, current

    • Starting a page on the G-symmetric monoidal envelope

      Natalie Stewart

      v1, current

    • Starting a page on Cartesian G-symmetric monoidal things, as it’s one of the canonical examples of equivariant symmetric monoidal structures.

      Natalie Stewart

      v1, current

    • I have spelled out statement and proof of:

      1. every reflection is a reflective localization,

      2. reflective localizations are given by full subcategories of local objects.

      I have also tried to produce decent cross-links to various entries that mention something related. But there will be more left to do.

      diff, v3, current

    • I am starting higher Segal space (while sitting in a talk by Mikhail Kapranov about them…)

    • Filling in some definitions for the page on geometric satake

      Natalie Stewart

      v1, current

    • Filling in a def’n missing from the geometric satake page

      Natalie Stewart

      v1, current

    • Just a first stab at a user page. I’m a total newbie to contributing here, so be sure to let me know if I seem to be doing anything sub-optimal.

      Thomas Hunter

      v1, current

    • [spam]

    • for the record, Natalie “stwrt” is not me

      Natalie Stewart

      diff, v2, current

    • For now creating page, more content to be added soon.

      Is it possible to add this page to the list “filtered objects – contents”?

      v1, current

    • For now creating page. More content to be added soon.

      v1, current

    • For now creating page.

      (Is there a “dynamical systems” context menu, or similar?)

      v1, current

    • Actually, taking a look at the Sandbox, it's a bit full up and could do with a clean out (I shan't comment on what one usually finds in sandboxes in children's playgrounds ...). I propose we copy any serious words of wisdom to the HowTo, blank the Sandbox, and replace with a link to its own history.

      I know, I know, it's a wiki so I ought to just do it, but I figured that this was something I should get some consensus on first to see if it's just me that doesn't like it.

    • The are several mistakes in AB6 so I just copy the definition in Tohoku paper instead of that.

      C

      diff, v25, current

    • Created a stub to record references. Maybe not the best page name, as the distinguishing feature of these things is not just that they are non-canonical but what they imply about the canonical morphisms; suggestions for a better page name are welcome.

      v1, current

    • Add a new page for Jin-Cheng Guu.

      v1, current

    • I gave Drinfel’d double an Idea-section.

      Also moved a paragraph on module categories from the References to a Properties-section.

    • started a Properties-section at Lawvere theory with some basic propositions.

      Would be thankful if some experts looked over this.

      Also added the example of the theory of sets. (A longer list of examples would be good!) And added the canonical reference.