Not signed in (Sign In)

Start a new discussion

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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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).
    • this table used to be hidden at supersymmetry, but it really ought to cross-link its entries. Therefore here its stand-alone version, for !inclusion

      v1, current

    • I have added to M5-brane a fairly detailed discussion of the issue with the fractional quadratic form on differential cohomology for the dual 7d-Chern-Simons theory action (from Witten (1996) with help of Hopkins-Singer (2005)).

      In the new section Conformal blocks and 7d Chern-Simons dual.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added to simplicial object a section on the canonical simplicial enrichment and tensoring of D Δ opD^{\Delta^{op}} for DD having colimits and limits.

    • Added to derivator the explanation that Denis-Charles Cisinski had posted to the blog.

      Zoran, I have made the material you had here the section "References", as this was mainly pointers to the literature. Please move material that you think you should go into other sections.

    • made some minor cosmetic edits, such as replacing

        \bar W G

      (which comes out with too short an overline) with

        \overline{W} G

      diff, v2, current

    • Simply the definition, as found in “Combinatorics of coxeter groups” by Bjorner and Brenti.


      v1, current

    • In articles by Balmer I see “tensor monoidal category” to be explained as a triangulated category equipped with a symmetric monoidal structure such that tensor product with any object “is an exact functor”, but I don’t see where he is specific about what “exact functor” is meant to mean. Maybe I am just not looking in the right article.

      Clearly one wants it to mean “preserving exact triangles” in some evident sense. One place where this is made precise is in def. A.2.1 (p.106) of Hovey-Palmieri-Strickland’s “Axiomatic stable homotopy theory” (pdf).

      However, these authors do not use the terminology “tensor triangulated” but say “symmetric monoidal compatible with the triangulation”. On the other hand, Balmer cites them as a reference for “tensor triangulated categories” (e.g. page 2 of his “The spectrum of prime ideals in tensor triangulated categories” ).

      My question is: may I assume that “tensor triangulated category” is used synonymously with Hovey-Palmieri-Strickland’s “symmetric monoidal comaptible with the triangulation”?

    • added pointer to

      • Paul Balmer, The spectrum of prime ideals in tensor triangulated categories. J. Reine Angew. Math., 588:149–168, 2005 (arXiv:math/0409360)

      • Paul Balmer, Spectra, spectra, spectra—tensor triangular spectra versus Zariski spectra of endomorphism rings, Algebr. Geom. Topol., 10(3):1521–1563, 2010 (pdf)

      (which have been listed at Paul Balmer all along, but were missing here, strangely)

      and to the recent:

      diff, v9, current

    • some minimum, for completeness of the list at D4

      v1, current

    • added

      • more hyperlinks (and some whitespace) to the paragraph on maximal tori.

      • the statement that smooth actions of compact Lie groups on smooth manifolds are proper

      diff, v9, current

    • added to orbit category a remark on what the name refers to (since I saw sonebody wondering about that)

    • This page had, besides its minimum content, somewhat weird formatting overhead. I have deleted that now, including the multiple category:-declarations

      diff, v3, current

    • In the section “In terms of truncations” I have added a few more cross links (both between the definitions in that section as well as to the respective items in HTT).

      diff, v55, current

    • added a brief historical comment to Higgs field and added the historical references

    • Added a page about the category FinRel of finite sets and relations, and some of its properties.

      v1, current

    • Added to bimonoid the fact that the category of modules over a bimonoid is monoidal.