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

9601 to 9660 of 14421

  1. <
  2. 1
  3. ...
  4. 157
  5. 158
  6. 159
  7. 160
  8. 161
  9. 162
  10. 163
  11. 164
  12. ...
  13. 241
  14. >

    • Fixed a grey link and created a webpage for Dirk Hofmann.

      (Edit: I added a few articles and the title of his thesis from 1999: Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem.)

      v1, current

    • Added link to Bourn’s excellent 2017 introductory textbook on his research: From Groups to Categorial Algebra : Introduction to Protomodular and Mal’tsev Categories

      diff, v6, current

    • Thanks to a Guest comment here I looked at this page for essentially the first time, and realized that it’s one more thing that’s naturally done in linear constructive mathematics (“complemented subsets” or “disjoint pairs” are the elements of the linear powerset).

      One question: this page says that the disjoint pairs form a “Boolean rig”, but that doesn’t seem right to me. A Boolean rig would, I presume, lack a negation operation entirely; but here we do have an involutive “negation” even though it’s not the “additive inverse”. I would say that the disjoint pairs form a De Morgan algebra, and in fact more generally a *\ast-autonomous lattice. Am I misinterpreting the intended meaning of “Boolean rig”?

      Also, what is the “Handbook of Constructive Analysis” referred to (as a graylink from Bishop \& Bridges)? I can’t find it on google.

      diff, v4, current

    • Started a page to collect links to lists of journals

      v1, current

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

      v1, current

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

    • 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

    • The name was the incorrect “semi-locally simply topological connected space”

      diff, v8, current

    • Idea of the definition which is the clusters and mutations thereof

      Anonymous

      diff, v11, current

    • Tried to improve the wording of the first paragraph.

      diff, v7, current

    • Created page with definitions and some examples.

      v1, current

    • Created page about Novikov fields, another kind of generalized power series field. I’m looking for a good notation for these along the lines of k[[x]]k[[x]] for power series rings, k((x))k((x)) for Laurent series fields, k((x G))k((x^G)) for Hahn series fields; the only notation in the literature seems to be Λ(k)\Lambda(k), which doesn’t suggest its meaning to me and clashes with exterior algebras.

      v1, current

    • Created page, with examples and links

      v1, current

    • a minimum, just so that the link works

      v1, current

    • Someone anonymous (probably from Gottingen) had changed simplicial homotopy. The old version seems to have had a different convention on the ordeing of the parts which was not ’wrong’ but was slightly different from some sources. I have added a note to the entry pointing out the existence of different conventions, and have cleaned up the use of Δ n\Delta^n instead of the more usual Δ[n]\Delta[n] in that entry.

      I checked back in the linked entry simplex, there, and found that the entry was a bit confusing as to the simplicial set Δ[n]\Delta[n]. I have altered the structure and wording slightly to clarify things (I hope).

    • Create page to complete a link.

      v1, current

    • In the spirit of yesterday’s discussion about applied topics on the nLab, I have begun creating an article for game theory. The page previously existed just as a list of references, but there doesn’t seem to be an nForum thread about it.

    • added to measure space a link to measurable locale.

      In the course I notice the following remnant discussion, which hereby I move from there to here

      Eric: Some day this should hopefully tie into the beautiful stuff on Leinster measure (blog).

      +– {: .query} Eric: dd is also the exterior derivative and dμd\mu is a volume form. Is there a nice way to say this that is consistent with the above? Update: The Usenet discussion probably discusses this, but I’m too lazy to read the whole thing right now (past my bedtime!).

      Toby: As a volume form is not, in general, the exterior derivative of anything, you cannot interpret the ‘d\mathrm{d}’ in (eq:excessive) as an exterior derivative. You can do this for the ‘d\mathrm{d}’ in (eq:Leibniz), of course, because that is on the real line, where the volume form is the exterior derivative of the identity function (x↦x)(x \mapsto x). But in general, an absolutely continuous Radon measure μ\mu on an oriented smooth nn-dimensional manifold XX defines an nn-form on XX (and vice versa), so if you call the form μ\mu as well, then you want to use (eq:simple). (The exterior deriviative of the volume form, of course, would be zero!)

      I'm actually halfway through writing an article differential form where I will address some of this. (I guess that I'm going through old Usenet posts of mine; I am using the conversation that you and I had with John in this old thread as reference for some of it!)

      Eric: I look forward to it! By the way, that Usenet discussion was a nice blast from the past :)

      Eric: I put some comments about that discussion here.

      Toby: I should note that, even given what I wrote above, there is still a slight clash of notation between measure theory and differential topology. To fix this, the dx\mathrm{d}x in (eq:full) could be replaced with |dx||\mathrm{d}x|. This has to do with the whole the-absolute-value-of-an-nnform-is-an-nnpseudoform and integration-of-nnpseudoforms-is-more-fundamental-than-integration-of-nnforms issue. I referred to this clash of notation in our Usenet conversation here.

      Eric: It’s starting to come back to me now. Yeah, the measure is really a pseudo nn-form and we settled on the notation |dx||dx| for that. We should at least give a nod to that idea I think in the above.

    • Gave an explicit definition as the quotient ring A[x]/(ax−1)A[x] / (ax - 1), and mentioned the equivalent definition in terms of multiplicative systems. Gave the example of Laurent polynomials. The explicit definition was already given at localisation of a commutative ring, but the multiplicative system was not given, and I think the construction is fundamental enough to warrant its own page. I will tweak localisation of a commutative ring to link to the new page.

      v1, current

    • Added formatting, hyperlinks, toc and floating-toc.

      But mainly I came here to see if decidable inclusion should redirect here (which is now required at constructive model structure on simplicial sets). I have made it a redirect, but there is much room in this and related entries for experts to live out their expertise

      diff, v4, current

    • I am writing an exposition (or a dictionary) integral transforms on sheaves.

      Check it out. I will have to go offline soon. Maybe somebody feels like further polishing/expanding this up a bit. Then later I want to supply that for the current nnCafé discussion.

    • a stub, on occasion of today’s

      and to provide the previously missing link at flavour anomaly for

      • David Marzocca, Addressing the B-physics anomalies in a fundamental Composite Higgs Model, JHEP07(2018)121 (arXiv:1803.10972)

      v1, current

    • a stub, for the moment just so as to record references

      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

    • brief category:people-entry for hyperlinking references at AdS/CFT

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

9601 to 9660 of 14421

  1. <
  2. 1
  3. ...
  4. 157
  5. 158
  6. 159
  7. 160
  8. 161
  9. 162
  10. 163
  11. 164
  12. ...
  13. 241
  14. >
Top of Page