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 nforum nlab noncommutative noncommutative-geometry number-theory 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).
    • Simply a typo; the constant functor is of type CFunc(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".
    • 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(S1).

      Eventually I would like to have by default our nLab 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

    • 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.

    • following Zoran’s suggestion I added to the beginning of the Idea-section at monad a few sentences on the general idea, leading then over to the Idea with respect to algebraic theories that used to be the only idea given there.

      Also added a brief stub-subsection on monads in arbitrary 2-categories. This entry deserves a bit more atention.

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Added the property that final functors and discrete fibrations form an orthogonal factorisation system.

      diff, v22, current

    • starting a collection of commented references here. This is to be !include-ed in the References-section of related entries. Therefore this entry starts out with a sub-section and contains nothing else.

      v1, current

    • In response to a zulip comment here, I did a little rewriting of the section concerning biproducts.

      diff, v16, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Jim Stasheff pointed out a reference that discusses categorifications of associahedra. I added the ref to associahedron

    • starting page on permutahedrons

      Anonymouse

      v1, current

    • added TikZ-code for the standard trefoil knot diagram

      diff, v9, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current