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.
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.
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
Have been polishing and expanding the first part of invariant polynomial.
One more item for the list of Sullivan models – examples
brief category:people-entry for hyperlinking references at universal connection and at diffeological spaces
brief category:people-entry for hyperlinking references at rational homotopy theory
finally added to crossed complex…. the definition! :-)
Also added a paragraph on what the crossed complex associated to a strict globular -groupoid is.
for hyperlinking references at model structure on chain complexes
brief category: people-entry for hyperlinking references at higher category theory and physics
How about the terminology “sub-modal object” for a subobject of a modal object?
[or maybe better: for which specifically the modality unit is a monomorphism]
In line with “subquotient”.
E.g. concrete objects would be the sub--modal objects.
(or alternatively: separated modal objects, in line with separated presheaves ??)
created The Rising Sea to record a reference (once I had found it)
brief category:people-entry fro hyperlinking references at rational homotopy theory and model structure on dgc-algebras
brief category:people-entry for hyperlinking references at string field theory
started a Reference-entry on the book Connections, Curvature, and Cohomology
added a quick paragraph under Omega-spectrum – Examples – Completion of a suspension spectrum.
added pointer to:
{#Buchstaber70} Victor Buchstaber, The Chern–Dold character in cobordisms. I,
Russian original: Mat. Sb. (N.S.), 1970 Volume 83(125), Number 4(12), Pages 575–595 (mathnet:3530)
English translation: Mathematics of the USSR-Sbornik, Volume 12, Number 4, AMS 1970 (doi:10.1070/SM1970v012n04ABEH000939)
brief category:people-entry for hyperlinking references at heterotic line bundle model
created a stub for twisted differential cohomology and cross-linked a bit.
This for the moment just to record the existence of
No time right now for more. But later.
brief category:people-entry for hyperlinking references at heterotic string theory
At closed subspace, I added some material on the 14 operations derivable from closures and complements. For no particularly great reason except that it’s a curiosity I’d never bothered to work through until now.