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-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck 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 infinity integration integration-theory k-theory lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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-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 finally completing this table (previously at quark) to be !include-ed into relevant entries, for ease of cross-linking

      v1, current

    • brief category:people-entry for hyperlinking references at massive type IIA supergravity

      (didn’t find any webpage to point to regarding Romans; if anyone has a pointer, let’s add it)

      v1, current

    • renamed entry to fit more systematic naming pattern

      diff, v3, current

    • I have added at HomePage in the section Discussion a new sentence with a new link:

      If you do contribute to the nLab, you are strongly encouraged to similarly drop a short note there about what you have done – or maybe just about what you plan to do or even what you would like others to do. See Welcome to the nForum (nlabmeta) for more information.

      I had completly forgotton about that page Welcome to the nForum (nlabmeta). I re-doscivered it only after my recent related comment here.

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

      diff, v39, current

    • A stub for M-theory. What’s supposed to be so mysterious about it? Is it that people don’t even know what form it would take?

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

      v1, current

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

      v1, current

    • recently there were some questions about it here on the nForum: now there is an entry on the Kaluza-Klein mechanism

    • added a bunch of references to M2-brane

    • prodded by discussion here I finally gave this an entry, explaining what I propose is the right slogan:

      swampland = cokernel of point-particle-limit-map

      v1, current

    • The cut rule for linear logic used to be stated as

      If ΓA\Gamma \vdash A and AΔA \vdash \Delta, then ΓΔ\Gamma \vdash \Delta.

      I don’t think this is general enough, so I corrected it to

      If ΓA,Φ\Gamma \vdash A, \Phi and Ψ,AΔ\Psi,A \vdash \Delta, then Ψ,ΓΔ,Φ\Psi,\Gamma \vdash \Delta,\Phi.

    • Added pointers concerning the suggestion that the observed Higgs mass is related to asymptotic safety.

      diff, v7, current

    • finally giving this a table-entry to be !includeed into relevant entries, for ease of hyperlinking

      v1, current

    • I am working on the entry supergravity C-field. On the one hand I am in the process of adding in more on the DFM model. On the other I am describing how to reformulate aspects of this in terms of infinity-Chern-Weil theory (this with Domenico Fiorenza and Hisham Sati behind the scenes).

      Not done yet, so beware.

    • am finally giving this an entry of its own

      v1, current