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).
    • brief category:people-entry for hyperlinking references

      v1, current

    • starting stub on simplicial type theory

      Anonymous

      v1, current

    • starting something, but my battery is dying and it remains a stub

      v1, current

    • In most recent works, quantale is defined more generally, as a semigroup in the monoidal category of suplattices.

      diff, v35, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      v1, current

    • making this a stand-alone entry (“2-sphere” used to redirect to sphere, which however ended up being about n-spheres in generality)

      but it is just a stub for the time being. Mainly I was looking to make a home for these references on ΩS2:

      in relation to braid groups:

      • Frederick R. Cohen, J. Wu: On Braid Groups, Free Groups, and the Loop Space of the 2-Sphere, in: Categorical Decomposition Techniques in Algebraic Topology, in Progress in Mathematics 215, Birkhäuser (2003) 93-105 [doi:10.1007/978-3-0348-7863-0_6]

      and regarded as a classifying space, ΩS2BΩ2S2 (for “line” bundles):

      v1, current

    • Added pointers to the Hanany-Witten construction and cross-linked with new section at NS5-brane on D-branes ending on NS5-branes.

      diff, v6, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

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

      v1, current

    • brief category:peole-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to these two recent references, identifying further L-algebra structure in Feynman amplitudes/S-matrices of perturbative quantum field theory:

      • Markus B. Fröb, Anomalies in time-ordered products and applications to the BV-BRST formulation of quantum gauge theories (arXiv:1803.10235)

      • Alex Arvanitakis, The L-algebra of the S-matrix (arXiv:1903.05643)

      diff, v11, current

    • have hyperlinked the keywords under “Contents”, as far as nLab entries exist for them

      diff, v4, current

    • added table of contents and section headers to the article

      Anonymouse

      diff, v6, current

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

      Anonymous

      v1, current

    • added these two quotes:


      Yang wrote in C. N. Yang, Selected papers, 1945-1980, with commentary, W. H. Freeman and Company, San Francisco, 1983, on p. 567:

      In 1975, impressed with the fact that gauge fields are connections on fiber bundles, I drove to the house of S. S. Chern in El Cerrito, near Berkeley… I said I found it amazing that gauge theory are exactly connections on fiber bundles, which the mathematicians developed without reference to the physical world. I added: “this is both thrilling and puzzling, since you mathematicians dreamed up these concepts out of nowhere.” He immediately protested: “No, no. These concepts were not dreamed up. They were natural and real.

      Yang expanded on this passage in an interview recorded as: C. N. Yang and contemporary mathematics, chapter in: Robin Wilson, Jeremy Gray (eds.), Mathematical Conversations: Selections from The Mathematical Intelligencer, Springer 2001, on p. 72 (GoogleBooks):

      But it was not just joy. There was something more, something deeper: After all, what could be more mysterious, what could be more awe-inspiring, than to find that the structure of the physical world is intimately tied to the deep mathematical concepts, concepts which were developed out of considerations rooted only in logic and the beauty of form?

      diff, v3, current

    • Stub.

      Consequently, I removed the redirects to this notion which were previously at ZFC.

      v1, current

    • recording the 1-categorical equivalence Ho(CombModCat)Ho(PresentableDerivators) obtained from Renaudin06

      v1, current

    • I have expanded various sections at disjoint coproduct. In particular towards the end is now a mentioning of the fact that in a positive category morphisms into a disjoint coproduct are given by factoring disjoint summands of the domain through the canonical inclusions.

      Also,I made positive category and variants redirect to extensive category.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Pointers to videos and slides of TASI 2020 lectures by Schmitt on subtopic Statistics for theorists (theoretical physicists), from a particle experimentalist. For a newcomer, the level increases sharply from the first to the second and third lecture.

      diff, v9, current

    • at DHR superselection theory I have added the argument (here) for why every DHR representation indeed comes from a net-endomorphism, assuming Haag duality and that the net takes values in vN algebras.

    • Mention the Yoneda embedding/free cocompletion which was somehow not referenced before.

      diff, v13, current

    • brief category:people-entry for hyperlinking regerences

      v1, current

    • Finally, some classical references added. Category class algebra added.

      diff, v6, current

    • added link to wreath product of wreaths (to create) & some refs to contextualize the text

      diff, v4, current

    • added to equivariant K-theory comments on the relation to the operator K-theory of crossed product algebras and to the ordinary K-theory of homotopy quotient spaces (Borel constructions). Also added a bunch of references.

      (Also finally added references to Green and Julg at Green-Julg theorem).

      This all deserves to be prettified further, but I have to quit now.

    • Added to Hopf monad the Bruguières-Lack-Virelizier definition and some properties.

    • a bare list of references, to be !include-ed into the list of references in relevant entries, for easy of synchronizing

      v1, current

    • a stub entry — for the moment just such as to make the link work

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current