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).
    • I looked at real number and thought I could maybe try to improve the way the Idea section flows. Now it reads as follows:

      A real number is something that may be approximated by rational numbers. Equipped with the operations of addition and multiplication induced from the rational numbers, real numbers form a number field, denoted . The underlying set is the completion of the ordered field of rational numbers: the result of adjoining to suprema for every bounded subset with respect to the natural ordering of rational numbers.

      The set of real numbers also carries naturally the structure of a topological space and as such is called the real line also known as the continuum. Equipped with both the topology and the field structure, is a topological field and as such is the uniform completion of equipped with the absolute value metric.

      Together with its cartesian products – the Cartesian spaces n for natural numbers n – the real line is a standard formalization of the idea of continuous space. The more general concept of (smooth) manifold is modeled on these Cartesian spaces. These, in turnm are standard models for the notion of space in particular in physics (see spacetime), or at least in classical physics. See at geometry of physics for more on this.

    • stub for confinement, but nothing much there yet. Just wanted to record the last references there somewhere.

    • brief category:people-entry for hyperlinking references

      v1, current

    • created black holes in string theory, since somebody asked me: a brief paragraph explaining how the entropy-counting works and some references.

    • brief category:people-entry for hyperlinking references

      v1, current

    • have created a stub for supersymmetric quantum mechanics

      Zoran, I see that you once dropped a big query box at quantum mechanics with a complaint. I disagree with the point you make there: we have fundamental definitions of quantum field theory and restricting them to 1 dimension gives quantum mechanics. If you want to turn this around and understand all QFTs as infinite-dimensional quantum mechanics (which, yes, one can do) you are discarding the nice conceptual models and kill the concept of extended QFT.

      In any case, I think remarks like this (in the style of “we can also regard this the other way round like this”) are better added into an entry as what they are – remarks – than as query boxes that give the impression that there is something fishy about the rest of the entry.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Corrected a link. Before the word “derivation” linked to the page for derivations in differential algebra.

      Sam Winnick

      diff, v27, current

    • I came across this tiny page which is called by ’extension’ from the page central extension.

      But what’s this page trying to be? Merely about a certain kind of field extension?

      diff, v3, current

    • Created:

      Idea

      […]

      Related concepts

      References

      Introduced by

      • Wolfgang Soergel, The combinatorics of Harish-Chandra bimodules, Journal für die reine und angewandte Mathematik 429 (1992) 49-74. doi, PDF.

      Survey:

      • Nicolas Libedinsky, Gentle introduction to Soergel bimodules I: The basics, arXiv:1702.00039.

      v1, current

    • This page contains a brief review of the Bousfield–Kan formula and its validity in various settings.

      Kensuke Arakawa

      v1, current

    • Finally noticed that this entry here was a stub without TOC, without references and without cross-links. Have touched it a little.

      diff, v4, current

    • As we discussed, I am orphaning this page and have merged its previous content into page “Bousfield–Kan formula”.

      Kensuke Arakawa

      diff, v13, current

    • Have added to HowTo a description for how to label equations

      In the course of this I restructured the section “How to make links to subsections of a page” by giving it a few descriptively-titled subsections.

    • a stub entry, for the moment just to make the link work

      v1, current

    • briefly recording the “rotation” quantum gates

      v1, current

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

      Anonymous

      diff, v4, current

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

      v1, current

    • I added LaTeX and some text for testing.

      IbrahimMustafa

      v1, current

    • was initially just looking for a page to host this reference:

      but now I wrote a little bit of an Idea-section, too. Leaving much room to be further expanded, of course.

      v1, current

    • made some cosmetic adjustments to the entry,

      and slightly expanded the last remark (which I made a Remark) relating to order theory (prodded by this comment)

      diff, v7, current

    • Added a budget of links from the FAQ to the Eunuch-Code Data-Bank.

      For some odd reason, the TOC generator is not picking up the first heading — ???

    • Created:

      Idea

      An intrinsic notion of an open subobject in an elementary topos.

      Definition

      A monomorphism UX in an elementary topos E is a Penon open if the following statement holds in the internal logic of E:

      xXyX(xU)(¬(y=x)yU).

      Properties

      If UX is a Penon open, then

      xU({yX¬¬(y=x)}U).

      Related concepts

      References

      v1, current

    • added list of publications, as far as currently cited on the nLab (no particular order)

      diff, v6, current

    • came to fix the typesetting glitches of revision 2, ended up re-typing the paragraph from scratch.

      diff, v4, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added these pointers:

      • Dam Thanh Son, Mikhail Stephanov: Relativistic Guiding-Center Motion: Action Principle, Kinetic Theory, and Hydrodynamics, Phys. Rev. Lett. 133 (2024) 145201 [arXiv:2405.08073, doi:10.1103/PhysRevLett.133.145201]

      • Dam Thanh Son: Lorentz-covariant description of relativistic guiding-center motion, talk at Simons Center Physics Seminar (2025-02-12) [webpage]

      (which may ultimately want to go to a more specialized entry, but for the moment I see no better place than to have them here)

      diff, v6, current

    • I included an abstract and preface (test for now!)

      IMustafaNasreddin

      v1, current

    • whart the glorpus??11?22???

      zxorvorp

      v1, current

    • Some × were written as x, so fixed. There were sign changes going on that I didn’t understand, p2(12p2)2 and p2+(12p1)2.

      diff, v45, current

    • Created.

    • Removed a query:

      +– {: .query} Bruce: I’m shooting in the dark here with this ω-groupoid sentence above. Am I right? What does that boil down to concretely? =–

      +– {: .query}

      Bruce: What’s a geometric stack?

      Chris: A stack is geometric if it is quasi-compact (any open cover has a finite sub-cover) and the diagonal morphism is representable and affine, though that probably doesn’t help much. I don’t know much about stacks yet, but maybe someone else can explain this. I think the point is that one needs some hypotheses to actually prove stuff for stacks.

      =–

      diff, v70, current

    • At crossed module it seems we are missing what i think should be the prototypical example: the relative second homotopy group π2(X,A) together with the bundary map δ:π2(X,A)π1(A) and the π1(A)-action on π2(X,A). As someone confirms this example is correct I’ll add it to crossed module.

    • brief category:people-entry for hyperlinking references

      v1, current

    • added some actual content to the entry, so far on the idea of the quantum YBE.

      diff, v6, current

    • I have corrected the statement about the diagonal matrices forming the center: an additional condition is necessary, for example that the ring is an algebraically closed field (Schur lemma).

      diff, v8, current