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.
Quick page, analogous to walking isomorphism.
brief category:people
-entry for hyperlinking references at Berger’s theorem
put a little paragraph into quantum cosmology, to go with this discussion.
brief category:people
-entry for hyperlinking references at orbifold and G-structure
added publication data for
The scan of the writeup of Grothendieck’s 73 Buffalo lecture that we point to at functorial geometry is really badly done. Is there a better scan or any other re-typing available?
[deleted]
[deleted]
I gave Sets for Mathematics a category:reference entry and linked to it from ETCS and from set theory, to start with.
David Corfield kindly alerts me, which I had missed before, that appendix C.1 there has a clear statement of Lawvere’s proposal from 94 of how to think of categorical logic as formalizing objective and subjective logic (to which enty I have now added the relevant quotes).
brief category:people
-entry for hyperlinking references at generalized (Eilenberg-Steenrod) cohomology
Creating the page, which I intend to use at Lack fibration. If I have not made a mistake, this is a 2-groupoid model of the 2-truncation of the 2-sphere, and I have added remarks of this nature to the page, along with a ’computation’ of using this model.
created concrete site
I have expaned a bit at Ab: added a section with some basics on direct sums and tensor products and then slightly expanded on the monoidal category structures.
just testing latex code since there’s no way to preview in the nLab editor Please get a preview button and a way to debug latex code it literally happens everytime I try to edit
[deleted]
[deleted]
I have spelled out the proof (here) of the claim from
that the stabilizer in the automorphism group of the octonionic Albert algebra “of a 4d Minkowski subspace” happens to be the exact gauge group of the standard model of particle physics.
Added
For a way to study ultraproducts in a homotopical setting see
- Tobias Barthel, Tomer Schlank, Nathaniel Stapleton, Chromatic homotopy theory is asymptotically algebraic, (arXiv:1711.00844)
this entry is meant to contain a bare sub-section, to be !include
-ed into relevant entries, such as at equifibered natural transformation, at (infinity,1)-topos and maybe at descent, etc.
equifibered natural transformation misses references. I’ve traced cartesian natural transformation back to: Street - the petit topos of globular sets which refers to: Carboni, Johnstone - Connected limits, familial representability and Artin glueing unfortunately, I do not have access to the latter.
Is this the best source?
started an index of the keywords in Ravenel’s book Complex cobordism and stable homotopy groups of spheres.
So far I got through most of the first chapter. Touched many of the entries involved.
The main entries chromatic spectral sequence and EHP spectral sequence are stubs for the moment.
I am starting an entry spontaneously broken symmetry. But so far no conceptualization or anything, just the most basic example for sponatenously broken global symmetry.
Stub for categorial grammar redirecting also Lambek calculus, basically to record few references so far. Related items: type theory, context-free grammar.
added a bit more of substance to torsion constraints in supergravity.
created a bare minimum at higher order frame bundle and cross-linked a bit
quick entry for infinity-group extension, just so that I can complete links at related entries.
added publication data to these items:
David Carchedi, Étale Stacks as Prolongations, Advances in Mathematics Volume 352, 20 August 2019, Pages 56-132 (arXiv:1212.2282)
{#Carchedi15} David Carchedi, On The Homotopy Type of Higher Orbifolds and Haefliger Classifying Spaces, Advances of Mathematics, Volume 294, 2016, Pages 756-818 (arXiv:1504.02394)