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

nLab > Latest Changes

Show all

7861 to 7920 of 14464

  1. <
  2. 1
  3. ...
  4. 128
  5. 129
  6. 130
  7. 131
  8. 132
  9. 133
  10. 134
  11. 135
  12. ...
  13. 242
  14. >

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

      v1, current

    • on Pontryagin’s identification of unstable Cohomotopy of closed manifolds with cobordism classes of their normally framed submanifolds – to go alongside Thom’s theorem (which is originally the analogous statement but for oriented submanifolds and maps into a universal SO(n)SO(n)-Thom space) and the Pontryagin-Thom construction (which has come to be the term used for all kinds of generalizations and variants that neither Pontryagin nor Thom probably ever dreamed of).

      For the moment the bulk of the material is copied over from the existing section at Cohomotopy, but I hope to improve a bit on this a little later.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • I have finally dug out

      which has English translations of Pontryagin’s old articles, like the one with the famous mistake and the one with the famous fix of the mistake.

      So I have added the pointer here, and expanded the commentary around it a little.

      diff, v14, current

    • I have added a subsection Applications – In Cohomotopy and Cobordism theory highlighting how the properness of maps from compact to Hausdorff spaces is what makes the unstable Pontryagin-Thom isomorphism tick – for closed (hence compact) manifolds.

      (This seems profound enough an example to justify mentioning. Also, it’s a point that tends to get lost in accounts of the theorem…)

      diff, v14, current

    • some minimum, just for ease of hyperlinking

      v1, current

    • am giving this a category:reference-page, for better cross-linking

      v1, current

    • I corrected the date of publication from 1965 to 1964.

      diff, v48, current

    • This is a page with fully explicit component computations of properties of the Hodge star operator on Minkowski spacetime. It is a bare sub-section, to be !include-ed inside sections of relevant entries (under “Examples” at Hodge star operator and under “Properties” at Minkowski spacetime)

      v1, current

    • created stub for Pfaffian line bundle, because I needed the link to the entry and to the single reference currently given there. Will fill in more details later today.

      In the course of this I also created an extremely stubby entry fermion.

    • Added all the newly created articles about homotopy (co)limits.

      diff, v18, current

    • Add uniform differentiability. (This could also be split into its own page, like continuous differentiability was, if people want to write more about it.)

      diff, v27, current

    • added pointer to:

      • Cihan Pazarbasi, Dieter Van den Bleeken, Renormalons in quantum mechanics, J. High Energ. Phys. 2019, 96 (2019) (arXiv:1906.07198)

      diff, v2, current

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

      v1, current

    • A stub, to provide a home for today’s

      • Dan N. Vollick, On the Meaning of Various Mass Definitions for Asymptotically Flat Spacetimes (arXiv:2101.12570)

      v1, current

    • Added a section on “walking parallel pair”.

      Added a redirect: walking parallel pair.

      diff, v9, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • A stub, for the moment just so as to make links work.

      v1, current

    • Discovered this old entry. Have touched the formatting and the hyperlinking.

      diff, v5, current

    • A stub.

      I was looking for a canonical reference to go with the term “movie” in relation to higher dimensional bordisms/tangles/knots. Preferably with the words like “A movie of … is …”.

      For the moment I just have a pointer to the original Carter-Saito 93

      v1, current

    • The link to his webpage seemed to be dead so I replaced it by one that works.

      diff, v3, current

    • am splitting this off as a stand-alone statement (from complex projective space)

      Have cleaned-up the formulation of statement and proof and have generalized from ground ring the complex numbers to reals, complex numbers and quaternions.

      v1, current

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

      Benedikt Fluhr

      v1, current

    • For disambiguation of “normal” and “normalization”. List not complete, please add your missing favourite item.

      v1, current

    • Summary and basic definition of mutants of a knot in the context of quantum cryptography. It looks like a page on prime knots is needed in order to make the connection in first sentence.

      Grant

      v1, current

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

      v1, current

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

      v1, current

    • Added a link to slides from a talk about HoTT-style stack semantics:

      diff, v10, current

    • Added remark about 1-complexes of groups versus graphs of groups. Added two suggested subsections

      Sam Hughes

      diff, v7, current

    • First mention of coflare forms on the Lab rather than the Forum.

      diff, v19, current

    • started adding some actual content to categorical semantics: wrote sections defining the interpretation of

      1. Contexts and type judgements

      2. terms

      3. substitution

      in dependent type theory.

    • We had (still have) a proof of the contractibility of some version of S ∞S^\infty in the Definition-section at n-sphere.

      Since that doesn’t seem to be the right place for that material, and in order to make it easier to link to S ∞S^\infty and its contractibility, I am giving it its own page here.

      In creating this page, I have:

      • copied over the material of the section n-sphere – Definition – Infinite-dimensional sphere;

      • expanded out the first paragraph into a new Idea-section here;

      • added a section with the definition as a colimit over relative cell complex inclusions and the quick proof of weak contractibility from that.

      So the previous discussion in terms of infinite-dimensional unit spheres in LCTVSs and/or in shift spaces is currently both here as well as inside n-sphere. But I suggest we remove it at the latter place, and just leave the link to this new page here.

      v1, current

    • I am giving this its own page, in order to have a way to point to quaternionic conjugation etc.

      (Previously “complex conjugation” just redirected to “complex number”.)

      v1, current

    • I have given complex conjugation its own page, in order to have a way to point to quaternionic conjugation etc. (Previously “complex conjugation” just redirected to “complex number”.)

      But the system has a hiccup: The page exists now, but the announcement didn’t get through to here. And any attempt to edit the page first leads to the system claiming that I have locked the page and, ignoring that, to a 500 error message.

      So I can’t fix the page now. I’ll leave it as is for the time being.

    • The first line of the Idea-section read:

      Every magma AA has an opposite A opA^op in which the operation goes the other direction.

      This rather sounded like talking about co-magmas. I have replaced this now with the following more lengthy but less ambiguous sentence:

      The opposite of a magma – hence of a set with a binary operation (x,y)↦xy(x,y) \mapsto x y – has the same underlying set of elements, but binary operation changed by reversing the order of the factors: (x,y)↦yx(x,y) \mapsto y x.

      Also I touched the Definition-section, trying to beautify a little, both the wording and the formulas.

      diff, v4, current

7861 to 7920 of 14464

  1. <
  2. 1
  3. ...
  4. 128
  5. 129
  6. 130
  7. 131
  8. 132
  9. 133
  10. 134
  11. 135
  12. ...
  13. 242
  14. >
Top of Page