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 bundle 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 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 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 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).
    • starting a category:reference-entry.

      Just a single item so far, but this entry should incrementally grow as more preprints appear (similar to what we have been doing at Handbook of Quantum Gravity and similar entries).

      I know that a soft deadline for submissions of at least one of the sections is this December, so I am guessing this is planned to appear in 2024.

      v1, current

    • We should have an entry on large N limit gradually. But sometimes it can be treated as a semiclassical limit. I quoted a reference by Yaffe where I originally read of that approach to the entry semiclassical expansion.

    • added references for higher curvature corrections in 11d supergravity

      diff, v5, current

    • Made a start on an article fixed point, which might need to be farmed out to “sub-pages” (as this is a mighty big general topic).

    • Cleaning or creating entries related to corings (e.g. grouplike element, Sweedler coring) and entwining structures, including personal entries Gabriella Böhm, Tomasz Brzeziński etc. On the edge of this activity I am interested in the relation between classical correspondence between flat connections and the descent data in abelian context; it could be related to the theorem of Urs and Konrad on the relation between descent data and transport functors in global context. I would like to know the parallel precisely.

    • starting page on the real numbers type

      Anonymouse

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

      v1, current

    • a category:activity-page for hyperlinking references to a new conference series which we are organizing

      v1, current

    • entry to be !include-ed in other entries for ease of cross-linking

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • changed “involution” to “anti-involution”

      diff, v61, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added some indication of the actual construction, below the statement of the theorem.

      (This might deserve to be re-organized entirely, but I don’t have energy for this now.)

      diff, v23, current

    • Signed graphs need not be simple graphs. Added: cycle signs; two kinds of homomorphism.

      diff, v4, current

    • A bare minimum, for the moment just for completeness.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, nothing here yet for the moment

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • for when the editing functionality is back, this here is a good textbook to record at quantization:

    • Two additions:

      • KK can be any commutative rig
      • notion of symmetric monoidal KK-linear category

      diff, v15, current

    • Under definition 1 of salamander lemma, I fixed a mistake in the definition of A A_\Box where there was a direct sum of two submodules, where there needed to be a sum (i.e., join) instead.

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

      Anonymous

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • am starting to work on derived smooth manifold, so far just a little bit on the motivation (correction of limits of manifolds)

      I am a bit hesitant to add a lot of details from David Spivak’s article, since it seems evident that there is some room to streamline the constructions. I need to think about how to deal with this. One really wants to just specify the site as a geometry (for structured (infinity,1)-toposes) and then just say that a derived manifold is a derived scheme in the sense descrived at generalized scheme on this.

      In section 10.1 David Spivak discusses one reason that prevented him from setting things up this way: actually I think this points to the following general issue with the definition of geometry (for structured (infinity,1)-toposes): instead of a Grothendieck topology generated by admissible morphisms the definition ought to just refer to a coverage by admissible morphisms, and instead of the stability under pullback one ought to just consider the coverage-style stability condition.

      More later.

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

    • started some minimum at exceptional field theory (the formulation of 11d supergravity that makes the exceptional U-duality symmetry manifest)

    • brief category:people-entry for hyperlinking references

      v1, current

    • A stub entry, for the moment just for recording some 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

    • I ended up collecting some references at string phenomenology and accompanying them with a bit of text

    • Linked to from https://ncatlab.org/nlab/show/orthogonal+factorization+system and https://ncatlab.org/nlab/show/final+functor

      Todo: add more proofs of this result.

      For some reason the xymatrixes were causing errors so I had to comment them out to submit. Here is an example error:

      An error occurred when running pdflatex on the following diagram. \xymatrix@=5em{e \ar[r]^\gamma \ar[dr]_{\gamma’} & GFc \ar[d]^{Gf} \ & GFc’} The error was: Timed out

      How can I fix this?

      v1, current

    • creating stub on Hypothesis H

      Anonymous

      v1, current

    • created the page for Mealy morphisms and just put in one reference

      Tim Hosgood

      v1, current

    • Added a section with a collection of references on intersection laws for black D-branes ending on black NS5-branes. Then I spelled out the case of D6-branes in some detail, collecting the relevant diagrams from the reference EGKRS00, and used this to identify the corresponding M-theory lift by the M5-brane near horizon ADE-orbifolds of the 4-sphere.

      diff, v22, current

    • starting something, so far some paragraphs of an Idea-section (references to follow in a moment).

      v1, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current