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 categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory 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 limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology natural 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 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).
    • am starting something. So far this is just a glorified pointer to today’s informative:

      • Paolo Gambino, Martin Jung, Stefan Schacht, The V cbV_{c b} puzzle: an update (arXiv:1905.08209)

      v1, current

    • Updated the linkref weak initial algebras' toweak inital’ (a.k.a. ‘weakly initial’)

      diff, v25, current

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

      v1, current

    • I do not understand the entry G-structure. G-structure is, as usual, defined there as the principal GG-subbundle of the frame bundle which is a GL(n)GL(n)-principal bundle. I guess this makes sense for equivariant injections along any Lie group homomorphism GGL(n)G\to GL(n). The entry says something about spin structure, warning that the group Spin(n)Spin(n) is not a subgroup of GL(n)GL(n). So what is meant ? The total space of a subbundle is a subspace at least. Does this mean that I consider the frame bundle first as a (non-principal) Spin(n)Spin(n)-bundle by pulling back along a fixed noninjective map Spin(n)GL(n)Spin(n)\to GL(n) and then I restrict to a chosen subspace on which the induced action of Spin group is principal ?

    • Finally created funny tensor product. This is not really a very good name for a serious mathematical concept, but I don’t know of a better one.

    • I have tried to improve the list of references at stable homotopy theory and related entries a bit. I think the key for having a satisfactory experience with the non-\infty-categorical literature reflecting the state of the art, is to first have a general but quick survey, and then turn for the details of highly structured ring spectra to a comprehensive reference on S-modules or orthogonal spectra. So I have tried to make that better visible in the list of reference.

      I find that for the first point (general but quick survey) Malkiewich 14 is the best that I have seen.

      Of the highly structured models, probably orthogonal spectra maximize efficiency. A slight issue as far as references go is that the maybe best comprehensive account of their theory is Schwede’s Global homotopy theory, which presents something more general than beginners may want to see (on the other hand, beginners often don’t know what they really want). In any case, I have kept adding this book reference as a reference for orthogonal spectra, joint with the comment that the inclined reader is to chooce the collection \mathcal{F} of groups as trivial, throughout.

    • Created to ’ungrey’ a link.

      v1, current

    • Gave the definition, and collected some key Galois-theoretic observations. As usual, would be nice with some explicit examples if someone has the energy!

      v1, current

    • added the statement of the Fubini theorem for ends to a new section Properties.

      (I wish this page would eventually give a good introduction to ends. I remember the long time when I banged my head against Kelly’s book and just didn’t get it. Then suddenly it all became obvious. It’s some weird effect with this enriched category theory that some of it is obvious once you understand it, but looks deeply mystifying to the newcomer. Kelly’s book for instance is a magnificently elegant resource for everyone who already understands the material, but hardly serves as an exposition of the ideas involved. I am hoping that eventually the nLab entries on enriched category theory can fill this gap. Currently they do not really. But I don’t have time for it either.)

    • Created a stub for internal type theory to collect some references. At some point we could move more from Mike’s blog post.

    • I think the line between the two types of Kan extension (weak versus pointwise) is drawn at the wrong place. Am I missing something?

    • A bare minimum on Rankin-Cohen brackets and deformation. I will do later an entry on related Jordanian twists, kind of Drinfeld twists (invertible counital 2-cocycles on bialgebras) which I worked on recently with collaborators in Zagreb. However, my new interest comes from a project in Hradec on geometry of foliations. Note that there are two Cohen’s in the subject – different initials are not typoi.

      v1, current

    • stub entry, for the moment just so as to satisfy links

      v1, current

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

      v1, current

    • A brief idea section and one form of the definition. An example would be nice, if somebody has energy to add one! No doubt much more could usefully be said.

      v1, current

    • I decided it would be a good idea to split off realizability topos into a separate entry (it had been tucked away under partial combinatory algebra). I’ve only just begun, mainly to get down the connection with COSHEP. A good (free, online) reference is Menni’s thesis.

    • an entry to glorify the combination

      I 8148(p 2(12p 1) 2) I_8 \;\coloneqq\; \tfrac{1}{48} \Big( p_2 \;-\; \big( \tfrac{1}{2} p_1\big)^2 \Big)

      seriously, I’ll need to refer to this from various other entries, so it’s useful to have a link

      v1, current

    • Some ×\times were written as xx, so fixed. There were sign changes going on that I didn’t understand, p 2(12p 2) 2p_2 - (\frac{1}{2}p_2)^2 and p 2+(12p 1) 2p_2 + (\frac{1}{2}p_1)^2.

      diff, v45, current

    • I am trying to collect citable/authorative references that amplify the analog of the mass gap problem in particle phenomenology, where it tramslates into the open problem of computing hadron masses and spins from first principles (due to the open problem of showing existence of hadrons in the first place!).

      This is all well and widely known, but there is no culture as in mathematics of succinctly highlighting open problems such that one could refer to them easily.

      I have now created a section References – Phenomenology to eventually collect references that come at least close to making this nicely explicit. (Also checked with the PF community here)

      diff, v4, current

    • Strangely, we don’t seem to have an nForum discussion for probability theory.

      I added a reference there to

      It replaces the category of measurable spaces, which isn’t cartesian closed, with the category of quasi-Borel spaces, which is. As they point out in section IX, what they’re doing is working with concrete sheaves on an established category of spaces, rather like the move to diffeological spaces.

      [Given the interest in topology around these parts at the moment, we hear of ’C-spaces’ as generalized topological spaces arising from a similar sheaf construction in C. Xu and M. Escardo, “A constructive model of uniform continuity,” in Proc. TLCA, 2013.]

    • a bare sub-section with a list of references – to be !included into relevant entries – mainly at confinement and at mass gap problem (where this list already used to live)

      v1, current

    • I fixed a broken link to Guy Moore’s lectures

      diff, v9, current

    • starting something. Not done yet but need to save

      v1, current

    • I changed a typo in the definition of the center of a Lie algebra, which was

      “…all elements zL z\in L such that [l,z]=0[l,z]=0 for all zLz\in L”.

      Now it is

      “…all elements zL z\in L such that [l,z]=0[l,z]=0 for all lLl\in L”.

      Vinícius Bernardes da Silva

      diff, v24, current

    • I noticed that the entry classifying space is in bad shape. I have added a table of contents and tried to structure it slightly, but much more needs to be done here.

      I have added a paragraph on standard classifying spaces for topological principal bundles via the geometric realization of the simplicial space associated to the given topological group.

      In the section “For crossed complexes” there is material that had been provided by Ronnie Brown which needs to be harmonized with the existing Idea-section. It proposes something like a general axiomatics on the notion of “classifying space” more than giving details on the geometric realization of crossed complexes

    • subdivided the Properties-section into subsections; added subsection for branched coverings of nn-spheres

      diff, v39, current

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

      v1, current