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 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)
am adding references, such as this one:
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.
finally splitting this off from Chern character
brief category:people
-entry for hyperlinking references at equivariant Chern character
a stub, for the moment just to record a reference
(“phase transition” used to redirect to thermodynamic limit)
created super infinity-groupoid
(to be distinguished from smooth super infinity-groupoid!)
currently the main achievement of the page is to list lots of literature in support of the claim that the site of superpoints is the correct site to consider here.
created stub for Jordan-Lie-Banach algebra
brief category:people
-entry for hyperlinking references at twisted Bredocn cohomology
brief category:people
-entry for hyperlinking references at homological algebra
the equivariant generalization of the fundamental theorem of dg-algebraic rational homotopy theory
to go with PL de Rham complex and with dual vector G-space.
Not sure about the best terminology.