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.
brief category:people
-entry for hyperlinking references at equivariant de Rham cohomology and __equivariant ordinary differential cohomology
I was about to create a new entry “characteristic differential form” when I discrovered this old entry.
Have added more redirects to it and more cross-links with Chern-Weil homomorphism.
I have re-written the content at differentiable manifold, trying to make it look a little nicer. Also gave topological manifold some minimum of content.
I’m interested in editing Mac Lane’s proof of the coherence theorem for monoidal categories, as I recently went through all the gory details myself and wrote it up. I was wondering if anybody has any thoughts on what should be left alone with regard to any future changes. Many people clearly put in a lot of work into the page, but it looks like people got busy and it hasn’t been updated in a while.
I think the first few paragraphs are fine, but I think the rest is a bit wordy, it could be more formal, and notation could be changed (very slightly) to be less clunky. I specifically want to make the current document more formal (e.g., saying “Definition: blah blah”), include some nice diagrams, change the notation (e.g., to avoid using double primes, to avoid denoting a monoidal category as B since I think the letter M pedagogically makes more sense), and complete the incomplete entries at the bottom. I’m not really sure if anyone would be against such changes, hence my inquiry.
brief category: people
-entry for hyperlinking references at equivariant de Rham cohomology
added these pointers:
For analogous discussion see
and for review see
this table used to be hidden at supersymmetry, but it really ought to cross-link its entries. Therefore here its stand-alone version, for !inclusion
added pointer to
Paul Balmer, The spectrum of prime ideals in tensor triangulated categories. J. Reine Angew. Math., 588:149–168, 2005 (arXiv:math/0409360)
Paul Balmer, Spectra, spectra, spectra—tensor triangular spectra versus Zariski spectra of endomorphism rings, Algebr. Geom. Topol., 10(3):1521–1563, 2010 (pdf)
(which have been listed at Paul Balmer all along, but were missing here, strangely)
and to the recent:
starting something, on
brief category: people
-entry for hyperlinking references at equivariant de Rham cohomology
Came across this categorification of pro-object.
brief category:people
-entry for hyperlinking references at super Cartan geometry and supergravity
brief category:people
-entry for hyperlinking references at fiber bundles in physics and mathematical physics
apparently this was a typo for and duplicate of Augusto Sagnotti – am clearing the entry (a stub anyway), adding redirect to the proper entry
Created the page atomic topos and moved some of the material from atomic geometric morphism over.
added to renormalization group the explanation of how the Stückelberg-Petermann renormalization group relates to the Gell-Mann-Low renormalization cocycle (in general not a group).
For the moment and for completeness, I copied the same text into these three entries. All these entries are still stubs. They will pick up more distinct content in a while..
starting something (a bare list of references, to be !include
ed into relevant entries, such as at G2-manifold and conical singularity)
a bare list of references, to be !include
-ed into the References-sections of relevant entries (such as flavor (particle physics))
a stub, to satisfy links at Schanuel topos
I have typed into infinitesimal interval object a detailed description of the simplicial object inuced on a microlinear space from the infinitesimal interval in immediate analogy to the construction of the finite path simplicial object induced from an interval object (as discussed there).
I also give the inclusion of the infinitesimal simplicial object into the finite one.
All the proofs here are straightforward checking, which I think I have done rather carefully on paper, but not typed up. What I would appreciate, though, is if somebody gave me a sanity check on the definition of the infinitesimal simplicial object (which is typed in detail).
In the very last section, which is the one that is still just a sketch, I am hoping to describe an isomorphism from my simplicial infinitesimal object to that considered by Anders Kock, which is currently described at infinitesimal singular simplicial complex in the case that the space X satisfies Kock's assumptions (it must be a "formal manifold").
The construction I discuss at infinitesimal interval object is supposed to generalize Kock's construction to all microlinear spaces and motivated by having that canonical obvious inclusion into the finite version at interval object.
The isomorphism should be evident: my construction evidently yields in degree k k-tuples of pairwise first oder neighbours if the space X admits that notion. But I want to sleep over this statement one more night...
added this second-order-quote:
Chen Ning Yang writes in C. N. Yang, Selected papers, 1945-1980, with commentary, W. H. Freeman and Company, San Francisco, 1983, on p. 567:
In 1975, impressed with the fact that gauge fields are connections on fiber bundles, I drove to the house of S. S. Chern in El Cerrito, near Berkeley… I said I found it amazing that gauge theory are exactly connections on fiber bundles, which the mathematicians developed without reference to the physical world. I added: “this is both thrilling and puzzling, since you mathematicians dreamed up these concepts out of nowhere.” He immediately protested: “No, no. These concepts were not dreamed up. They were natural and real.”
added these two quotes:
Yang wrote in C. N. Yang, Selected papers, 1945-1980, with commentary, W. H. Freeman and Company, San Francisco, 1983, on p. 567:
In 1975, impressed with the fact that gauge fields are connections on fiber bundles, I drove to the house of S. S. Chern in El Cerrito, near Berkeley… I said I found it amazing that gauge theory are exactly connections on fiber bundles, which the mathematicians developed without reference to the physical world. I added: “this is both thrilling and puzzling, since you mathematicians dreamed up these concepts out of nowhere.” He immediately protested: “No, no. These concepts were not dreamed up. They were natural and real.
Yang expanded on this passage in an interview recorded as: C. N. Yang and contemporary mathematics, chapter in: Robin Wilson, Jeremy Gray (eds.), Mathematical Conversations: Selections from The Mathematical Intelligencer, Springer 2001, on p. 72 (GoogleBooks):
But it was not just joy. There was something more, something deeper: After all, what could be more mysterious, what could be more awe-inspiring, than to find that the structure of the physical world is intimately tied to the deep mathematical concepts, concepts which were developed out of considerations rooted only in logic and the beauty of form?
I split off inhabited object from inhabited set.
(moved Mike's and Toby's old discussion query box to the new entry, too)
I added an Examples section with a remark about this issue in the context of Models for Smooth Infinitesimal Analysis, that I happen to be looking into.
personally, I feel I need more examples still at internal logic to follow this in its full scope. I guess I should read the Elephant one day, finally.
In the book Moerdijk-Reyes say in a somewhat pedestrian way that existential quantifiers in the internal logic of a sheaf topos are to be evaluated on covers, hence asking internally if a sheaf has a (internally global) element means asking if for any cover of the point, there is a morphism .
That's fine with me and I follow this in as far as the purpose of their book is concerned, but I need to get a better idea of how the logical quantifiers are formulate in internal logic in full generality.
a stub, to make links at Schanuel topos work.
I created a new page generalized quantifier mostly to drop some references.
at Künneth theorem I have spelled out statemennt and detailed proof of the Künneth theorem in ordinary homology.
commented in the discussion at point of a topos and have a question there.