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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry 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-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-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).
    • Started a page to collect links to lists of journals

      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).

    • expanded the section Idea – In brief at Bohr topos just a little bit, in order to amplify the relation to Jordan algebras better (which previously was a bit hidden in entry).

    • Since no one objected to my offer, I started a stub for the Kochen-Specker theorem and will continue working on it a bit later.

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

      v1, current

    • Created a hyperlinked table of contents.

      v1, current

    • created page to provide target for link. It is just a stub!

      v1, current

    • I added more info on pseudo double categories and double bicategories to double category. I also simplified the picture of a square, which had been bristling with scary unnecessary detail. There's a slight blemish in the left vertical arrow, which I can't see how to fix.
    • there was an X veeX^{vee} that I replaced with X X^{\vee}

      Joe M

      diff, v7, current

    • have added a minimum on the level decompositon of the first fundamental rep of E 11E_{11} here.

    • added a bunch of references to M2-brane

    • Added the adjective grouplike to A_infty space as else I just get a monoid object instead of a group object.


      diff, v27, current

    • added this, under References – Review:

      In March 2013, following an accurate processing of available measurement data, the Planck Scientific Collaboration published the highest-resolution photograph ever of the early Universe when it was only a few hundred thousand years old. The photograph showed galactic seeds in sufficient detail to test some nontrivial theoretical predictions made more than thirty years ago. Most amazing was that all predictions were confirmed to be remarkably accurate. With no exaggeration, we may consider it established experimentally that quantum physics, which is normally assumed to be relevant on the atomic and subatomic scale, also works on the scale of the entire Universe, determining its structure with all its galaxies, stars, and planets.

      diff, v22, current

    • I have incorporated Jonas’ comment into the text at pretopos, changing the definition to “a category that is both exact and extensive”, as this is sufficient to imply that it is both regular and coherent.

    • Update the link to Drinfeld’s paper (pdf).


      diff, v4, current

    • added mentioning of the θ\theta-angle in AdS/QCD models being the graviphoton in the higher WZW-term of the D4-brane, with pointer to today’s

      • Si-wen Li, around (3.1) of The theta-dependent Yang-Mills theory at finite temperature in a holographic description (arXiv:1907.10277)

      and cross-linked with other relevant entries

      diff, v7, current