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 added a Definition-section to AKSZ sigma-model with a bit of expanded discussion
I added the comment
Equivalently, a symmetric monoidal (∞,1)-category is a commutative algebra in an (infinity,1)-category in the (infinity,1)-category of (infinity,1)-categories.
to the introduction of symmetric monoidal (infinity,1)-category. I hope that’s correct…
I also added the reference
(and also to E-infinity-ring).
Someone started additive analytic geometry.
Late last night I was reading in Science of Logic vol 1, “The objective logic”.
I see that the idea of cohesion is pretty explicit there, not in the first section of the first book (Determinateness, which has the discussion of “being and becoming” that Lawvere is alluding to in the Como preface) but in the second section of the first book, “The magnitude”.
There the discussion is all about how the continuous is made up from discrete points with “repulsion” to prevent them from collapsing to a single and with “attraction” that keeps them together nevertheless.
This “attraction” is clearly just the same idea as “cohesion”. One can play this a bit further and match Hegel’s Raunen to formal expressions involving the flat modality and the shape modality pretty well. I made some quick notes in the above entry.
On the other hand, that section 1 about being and becoming seems to be more about the underlying type system itself. Notably about the empty type and the unit type, I think
Added some remarks, mostly about extensivity and exactness, to quasitopos.
Now there is Sylow p-subgroup.
Is there a compilation, somewhere, of the results “the (obvious) automorphisms of a small are transitive on ’s maximal s?” The only other example ready in my head is that the maximal tori in a compact Lie group are conjugate, but I know I’ve seen more.
I am giving this generalized homology theory its own little entry, so that it becomes possible to refer to it more specifically, beyond broadly pointing to just “stable homotopy groups”.
(Curious that things are set up such that the most fundamental of homology theories is almost un-nameable, since its canonical name clashes with the name of the whole subject. Curious circularity there.
The other day I was visiting the Grand Mosque. It’s qibla wall has a huge mosaique displaying the 99 names of God in 99 flowers, plus one flower with no name it in, to represent the un-nameable (one can see it well here, only that the sheer size of it is not brought across by photographs). )
brief category:people entry for hyperlinking of references at McKay correspondence and fractional D-brane
brief category:people entry for hyperlinking references at motivic integration
gave the statement an entry with a pointer to a proof: Hausdorff implies sober, then added pointer to this at sober space where it was claimed without proof or citation, and at Hausdorff space where it had previously not been mentioned yet.
brief category:people entry for hyperlinking references at geometric fixed point spectrum
slightly expanded the Idea-section,
added pointer to the lecture notes by Andrew Blumberg,
cross-linked with Mackey-functor and enriched (∞,1)-functor
Added Clark’s comment that many of their bases are EI (∞,1)-categories. I guess many of these are in addition inverse EI (∞,1)-categories.
Is a stratification always well-founded?
stub entry, for the moment just for the purpose of facilitating cross-links from/to Mackey functor
discovered this ancient entry (while searching for occurences of “permutation matrix” on the nLab). This was in very bad shape, with a ill-rendering floating toc and big query box right at the beginning, then a little bit of content, and then some speculation by a contributor who we had to persuade to leave, long ago.
I did a minimum of cleaning up, in particular removed the query box, since it had been dealt with. This is what it had said:
+– {.query}
Zoran: there are several things called “Birkhoff’s theorem” in various field of mathematics and mathematical physics, and belong even to at least 2 different classical Birkhoff’s. Even wikipedia has pages for more than one such theorem. To me the first which comes to mind is Birkhoff’s factorization theorem, now also popular in Kreimer-Connes-Marcolli work and in connection to loop groups (cf. book by Segal nad Pressley). I would like that the lab does not mislead by distinguishing one of the several famous Bikhoff labels without mentioning and directing to 2-3 others.
Ian Durham: Good point. I think this probably ought to be renamed the “Birkhoff-von Neumann theorem.” Is that a good enough label or should we get more specific with it?
Toby: I have moved it. See also the new page Birkhoff’s theorem, which is basically just Zoran's comment above. =–
brief category:people-entry for hyperlinking references at de Sitter spacetime
brief category:people-entry for hyperlinking references at Bayesian interpretation of quantum mechanics
brief category:people-entry for the purpose of hyperlinking references at Feit-Thompson theorem and at permutation representation
Few words added at Catalan number.
stub entry, for the moment just so as to record the reference: the analog of Atiyah-Segal completion, but now for algebraic K-theory over a finite field.
brief category:people-entry for hyperlinking refernces at Kahn-Priddy theorem and stable cohomotopy
brief category:people-entry for hyperlinking references at K-theory of a permutative category and field with one element and algebraic K-theory
made this entry cross-link with Segal-Carlsson theorem, added pointer to the proof in
added the crucial pointer to
and a bit more