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.
stub for spin-statistics theorem. Just recording a first few references so far.
Added a reference of Robert Furber, Bart Jacobs at Giry monad.
I added the word “strict” here:
The theorem is then that the following are equivalent:
- p is a strict Conduché functor.
- p is exponentiable in the 1-category Cat.
- p is exponentiable in the strict 2-category Cat.
because strict and weak Conduché functors are being distinguished in this article.
promted by demand from my Basic-Course-On-Category-Theory-Students I expanded the entry 2-category:
mentioned more relations to other concepts in the Idea-section;
added an Examples-section with a bunch of (classes of) examples;
added a list of references. Please add more if you can think of more!
Made some some small improvements (ordering of sections, note on how the definition defaults to the usual definition of adjoints, fixing broken link in the references, etc) in relative adjoint functor.
New page: double category of algebras.
am starting fibrations of quasi-categories
pointer
added pointer to:
We already have main references at Richard Askey, so why not ?
brief category:people
-entry for hyperlinking references at elliptic genus
Not to confuse with Macdonald conjecture on plane partitions.
started a minimum at functor with smash products (the realization of ring spectra in terms of lax monoidal functors)
In the end this is entirely a story about monoids with respect to Day convolution tensor products. I suppose there is room to say this yet a bit more general abstractly than MMSS00 did.
added at dendroidal set
a section on the relation to simplicial sets
a section on the symmetric monoidal structure on the cat of dendroidal sets
(also added a stubby "overview" section to model structure on dendroidal sets)
I have expanded Lawvere-Tierney topology, also reorganized it in the process
some bare minimum on the free coproduct cocompletion.
The term used to redirect to the entry free cartesian category, where however the simple idea of free coproduct completion wasn’t really brought out.
Person entry.
Warning: we have a webpage for another algebraist, the group theorist Robert A. Wilson, and elsewhere in the nLab Robert Wilson shortcut is carelessly used for the latter. People tend to shorten links in nLab and the confusion and illegal links might occur in this case. Maybe we should not use version without middle initial for these two guys in links.
In statu nascendi.
A method for calculating determinants. It is related to cluster algebras and a special case of Sylvester identity.
I have been adding some material to matroid. I haven’t gotten around to defining oriented matroid yet (and of course there’s much besides to add).
I should say – for those watching the logs and wondering – that I started editing the entry global equivariant homotopy theory such as to reflect Charles Rezk’s account in a coherent way.
But I am not done yet. The entry has now some of the key basics, but is still missing the general statement in its relation to orbispaces. Also some harmonizing of the whole entry may be necessary now, as I moved around some stuff.
So better don’t look at it yet. I hope to bring it into shape tomorrow or so.
(In the process I have split off global orbit category now.)
created a minimum at Penrose-Hawking singularity theorem
I have edited group scheme and algebraic group slightly. To the latter I added Example-pointers to multiplicative group and additive group
added pointer to:
Tim van Beek has graced us with these: Haag-Kastler axioms.