Processing math: 100%
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 finite 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 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).
    • Since O is not a non-sigma operad, it does not make sense to talk of its algebras in a cartesian “monoidal” structure, only the associated symmetric monoidal structure

      Natalie Stewart

      diff, v4, current

    • Added a reference of Robert Furber, Bart Jacobs at Giry monad.

    • I added the word “strict” here:

      The theorem is then that the following are equivalent:

      • p is a strict Conduché functor.
      • p is exponentiable in the 1-category Cat.
      • p is exponentiable in the strict 2-category Cat.

      because strict and weak Conduché functors are being distinguished in this article.

      diff, v24, current

    • promted by demand from my Basic-Course-On-Category-Theory-Students I expanded the entry 2-category:

      • mentioned more relations to other concepts in the Idea-section;

      • added an Examples-section with a bunch of (classes of) examples;

      • added a list of references. Please add more if you can think of more!

    • Made some some small improvements (ordering of sections, note on how the definition defaults to the usual definition of adjoints, fixing broken link in the references, etc) in relative adjoint functor.

    • vn enveloping algebra has VERY different spectrum from the original (the spectrum of the vn enveloping algebra of C(K) is the so-called “hyperstonean envelope” of K, and is quite intractable)

      Vasily Melnikov

      diff, v8, current

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

      Anonymous

      v1, current

    • Since Inj had a link here, I started something.

      v1, current

    • Mention relevance to (bo, ff) factorization system.

      diff, v6, current

    • Started something. There seem to be other ways of presenting this idea.

      v1, current

    • started a minimum at functor with smash products (the realization of ring spectra in terms of lax monoidal functors)

      In the end this is entirely a story about monoids with respect to Day convolution tensor products. I suppose there is room to say this yet a bit more general abstractly than MMSS00 did.

    • In statu nascendi. For now, only collecting the basic references.

      v1, current

    • Created, with so far just an overview of all the possibilities.

      v1, current

    • some bare minimum on the free coproduct cocompletion.

      The term used to redirect to the entry free cartesian category, where however the simple idea of free coproduct completion wasn’t really brought out.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Person entry.

      Warning: we have a webpage for another algebraist, the group theorist Robert A. Wilson, and elsewhere in the nLab Robert Wilson shortcut is carelessly used for the latter. People tend to shorten links in nLab and the confusion and illegal links might occur in this case. Maybe we should not use version without middle initial for these two guys in links.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have been adding some material to matroid. I haven’t gotten around to defining oriented matroid yet (and of course there’s much besides to add).

    • I should say – for those watching the logs and wondering – that I started editing the entry global equivariant homotopy theory such as to reflect Charles Rezk’s account in a coherent way.

      But I am not done yet. The entry has now some of the key basics, but is still missing the general statement in its relation to orbispaces. Also some harmonizing of the whole entry may be necessary now, as I moved around some stuff.

      So better don’t look at it yet. I hope to bring it into shape tomorrow or so.

      (In the process I have split off global orbit category now.)

    • These things are used all the time, and I want to be able to link to this page for examples in the G-∞-categories page

      Natalie Stewart

      v1, current

    • The notion of G-categories is fundamental to the modern approach in equivariant homotopy theory

      Natalie Stewart

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Expanded motivation section and wrote a bit on coordinate representation.

      diff, v5, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub, for the moment just to make the link work

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Geometry Gems is no longer available

      HieronymousCoward

      diff, v165, current

    • Added result discussed at the Cafe that tensor products of symmetric pseudomonoids are a weak 2-coproduct.

      diff, v9, current

    • fixed spelling of the word constraint (one instance) in paragraph under ### Gravity as a (non-)gauge theory

      cofo

      diff, v56, current

    • I filled in a bit on the Wightman axioms. I also have a query there about adding an "axiom" environment to the LaTeX/CSS style sheets of nLab. I don't know how to do it on nLab but an axiom environment seems like it might be useful.