Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Edit to: doublet-triplet splitting problem by Urs Schreiber at 2018-04-01 00:58:11 UTC.
Author comments:
added textbook reference
an entry with nothing but a bare list of references, to be !include
-ed into the References-sections of relevant entries (at: AdS/QCD, Schwinger effect, DBI-action vacuum polarization)
added pointer to today’s
added pointer to
created a bare minimum at nilpotent homotopy type
I've started a page an elementary treatment of Hilbert spaces. The intention is to see how much of (simple) Hilbert space theory can be done without using the phrases "As a Hilbert space is a normed vector space ..." or "As a Hilbert space is a metric space ...".
I haven't gotten very far yet, as can be seen! Also, it's not intended to be Deep Mathematics (there's a mild centipedal justification on the page) but just playing with some ideas and trying to see what a Hilbert space really is.
brief category:people
-entry for hyperlining references at secondary characteristic class
Have added more of the original (“historical”) References with brief comments and further pointers.
brief category: people
entry for hyperlinking references at diffeological space
Can the nlab’s articles take in Javascript or Java applets? I was thinking of making a simple type theory parser for nlab’s pages with type theory (syntax much the same as type theory). For instance, I would make one to be embedded in the page on Lawvere’s diagonal argument. I have the theory sorted out already, so it’s just a matter of writing it up. I found an algorithm that simplifies triangle identities in worst case where is the number of counits in a diagram, is the number of units in a diagram adjacent to a given counit. On average, and will be small in proportion to . (I’m interested to see if anyone can make a better triangle recognition algorithm for triangle identities in a strict -category - it seems there are tons of tricks one can do).
brief category:people
-entry for hyperlinking references at equivariant rational homotopy theory
added publication data to:
added pointer to:
Norman Steenrod, Homology With Local Coefficients, Annals of Mathematics, Second Series, Vol. 44, No. 4 (Oct., 1943), pp. 610-627 (jstor:1969099)
M. Bullejos, E. Faro, M. A. García-Muñoz, Homotopy colimits and cohomology with local coefficients, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 44 no. 1 (2003), p. 63-80 (numdam:CTGDC_2003__44_1_63_0)
It would seem that Vaughan Jones has died. I think that this was overnight on the 6th to 7th. Berkeley have ‘deceased’ on his page as an Emeritus professor. Does anyone else have more details? I have just checked on Wikipedia and they have changed their entry accordingly but with today’s date, which I think is wrong. I had the news via the MPPM network and someone at Vanderbilt university.
added pointer to:
Have added DOI-s to these:
Matthew Ando, Michael Hopkins, Neil Strickland, Elliptic spectra, the Witten genus and the theorem of the cube, Invent. Math. 146 (2001) 595–687 MR1869850 (doi:10.1007/s002220100175, pdf)
Matthew Ando, Michael Hopkins, Neil Strickland, The sigma orientation is an H-infinity map, American Journal of Mathematics Vol. 126, No. 2 (Apr., 2004), pp. 247-334 (arXiv:math/0204053, doi:10.1353/ajm.2004.0008)
So this one here remains unpublished:
?
I worked on polishing
on John Baez's web. I
added hyperlinks to all the names appearing
turned the remaining "infininty"s to "oo"s
I was almost done when the Lab broke down, though, it seems. Currently the server does not respond.
I have been added a first approximation to an Idea-section to torsion of a G-structure -
Have also added a pointer to Lott 90 and started a stub torsion constraints in supergravity, for the moment only to record some references.
Have also further touched related entries such as torsion of a Cartan connection.
added pointer to:
briefly added to infinity-group of units the statement that sending -rings to their -group of units is a right adjoint, due to ABGHR08.
Added the same also to abelian infinity-group.
I have started on a revision of algebraic K-theory. The old version launched straight into a particular nPOV, which really just summarised the Blumberg et al paper, and did not mention any of the other ideas in the area. At present I have just put in some historical stuff, but given the importance of the subject e.g. in modern C*-algebra the page needs a lot more work.
added pointer to
created a quick pointer to, with a brief remark on, spherical T-duality
Fibrations arise from the adjunction between context extension and dependent sum. They can also be defined by a certain lifting property, which coincides with identity type.
I was wondering if there is a similar setup for cofibrations in a type theoretic paradigm. They are Eckmann Hilton dual, so I tried thinking about how to dualize the adjunctions that give rise to a fibration, but I didn’t get anywhere. However, a certain extension property seems related (I can’t quite tell what it should be), the one you get from dualizing the path space object construction.
Does anyone know if there is a certain “co-context extension” and “codependent sum” which would give rise to cofibrations? Or really any setup.
stub for bundle 2-gerbe
brief category:people
-entry for hyperlinking references at bundle gerbe, bundle 2-gerbe, circle n-bundles with connection
added to gerbe
definition of -gerbes;
classification theorem by -cohomology;
the notion of banded -gerbes.
Changed paragraph regarding analytic versus algebraic proofs. I don’t think it is possible to give a purely algebraic proof of Weierstrass’s original theorem, whose conclusion includes the statement that the power series are convergent in some neighborhood of . How could you, when this is an analytic statement? I think my edit might be what the original author intended.
David Speyer
added to principal 2-bundle in a new Properties-section the classification results by Baez-Stevenson, Stevenson-Roberts (for the topological case) and Nikolaus-Waldorf (for the smooth case).
a bare list of references, to be !include
-ed into the References-sections of relevant entries, such as chiral perturbation theory, WZW term and chiral anomaly
Started literature section with several references at forcing.
Following a post by Jim I have added a link to a lecture by Peter Hilton on the work at Bletchley Park with Alan Turing.
added doi to Schwede’s article, and added pointer, under “Related concepts” to the answer to the evident question raised by the linearity condition:
excisive functor – Characterization via the generic pointed object
stub for universal connection (just to record the references for the moment)
brief category:people
-entry for hyperlinking references at universal connection
brief category:people
-entry for hyperlinking references at universal connection