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.
started Guillemin-Sternberg geometric quantization conjecture
So far just the brief Idea and a few commented references.
brief category:people
-entry for hyperlinking references at sphere-fiber bundle and exotic 7-sphere
brief category:people
-entry for hyperlinking references at sphere-fiber bundle and exotic 7-sphere
brief category:people
-entry for hyperlinking references at opetopic type theory
brief category:people
-entry for hyperlinking references at opetopic type theory
tried to polish a bit the matrial at Chern-Weil theory.
(not that there is much, yet, but still)
expanded homotopy lifting property
added pointer to:
brief category:people
-entry for hyperlinking references at cosmic structure formation and cosmic reionization
a stub in cosmology, for the moment just so as to satisfy links at cosmic structure formation
added some more keywords to the “index” (came here to add action object, but added a few more while I was at it)
starting something, to be another item of internalization along with monoid object and group object.
Not done yet, but need to save.
(Our entry “action” does cover internal notions of actions, but it seems hard to bring that old entry into a good shape, and in any case splitting off an entry on the internal notion might just be the first step of bringing it into shape)
The evident question for compiling this entry is: What are the canonical original references?
Eckmann-Hilton in their articles originally introducing the notion of internal group objects (here) have all the ingredients in hand to say “action object”, but it seems they don’t (?).
I found the notion stated clearly and explicitly, albeit somewhat in passing, in:
but if anyone has other/better references, let’s add them.
just for completeness, to go alongside dimension of a cell complex and dimension of a manifold
Am finally giving this its own entry, alongside dimension of a cell complex
(this here used to just redirect to dimension)
have created covering dimension
I rephrased and restructured the Definition-section at join of simplicial sets a bit, in an attempt to make the exposition clearer. Please check if I succeeded.
brief category:people
-entry for hyperlinking references at absolute neighbourhood retract
I have split off an entry classical model structure on simplicial sets from “model structure on simplicial set”. This entry should eventually contain detailed, self-contained and polished discussion of the definition, verification and key properties of the standard Kan-Quillen model structure.
So far I have inserted fair bit of background material regarding (minimal) fibrations and geometric realizations, essentially the material in chapter 1 of Goerss-Jardine. A bunch of little proofs are spelled out, but not yet the more laborious ones. Discussion of the verification of the axioms is not yet in the entry, but the key parts of the Quillen equivalence to are (modulo relying on previous lemmas that don’t have proofs spelled out yet).
The somewhat random list of properties of that used to be sitting at “model structure on simplicial sets” I have copied over to a section “Basic properties”, just for completenes, but this now needs re-organization to give decent logical flow.
For the moment I have to leave it at that, need to take care of something else now for a little bit.
Moved some content from polyhedron.
Added the references
Aurelio Carboni, Bob Walters, Cartesian Bicategories, I, article
Aurelio Carboni, Max Kelly, Bob Walters, Richard Wood, Cartesian Bicategories II, (arXiv:0708.1921)
I gave the reference
the following commentary-line:
for historical context see Hitchin 20, Sec. 8
I admit that I only fully grasp this now, that Jaffe-Quinn’s article was in response to Atiyah’s influence on mathematics in whose wake Witten received the Fields medal.
I have tried to brush up the entry dense subcategory a little
(moved the references to the References, moved the part that alluded to the application with nerves to its own section and expanded slightly, added the relevant back-links).
am finally splitting this off from Hopf degree theorem, to make the material easier to navigate. Still much room to improve this entry further (add an actual Idea-statement to the Idea-section, add more examples, etc.)
I added a Definition section to Burnside ring (and made Burnside rig redirect to it).
starting something, in equivariant parallel to CW-approximation. Not much here yet, but need to save.
There has been a pretty massive expansion at proof net. All who are interested in this are invited to have a look (but the nLab is super-slow in loading now from where I write).
Noam Z., if you are reading this: I had looked at the notes you kindly mentioned to me recently. Could you comment on what the connection might be with the sequentialization result (see the remark 2 under theorem 1 in proof net)? The outline of proof reminded me of your description of inversion and focusing, but I confess I had a little trouble following everything (my fault, not yours).
added pointer to:
I fleshed out the page Arf-Kervaire invariant problem, and added a link to the new notes of HHR giving a nice introduction to the problem.
created an entry twisted Umkehr map. The material now has some overlap with what I just put into Pontrjagin-Thom collapse map. But that doesn’t hurt, I think.
added some lines to differential algebraic K-theory
also a stub Beilinson regulator