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.
discovered that we have this old entry.
I touched the wording in the first paragraph (there is room to improve it further)
and took the liberty of deleting the second (which was trying to state a theorem but didn’t even declare its symbols and ended up being mainly a pointer to Schumacher & Westmoreland 2010, for which I have now added the publication data)
this entry remains a stub
this is a bare sub-section — meant to be !include
ed into relevant entries such as at quantum channel and at quantum decoherence — towards the theorem that quantum channels are exactly the “bath-averages of bath-coupled unitary evolutions”
Starting an entry (to rhyme on “quantum reader monad”) on the linear version of the costate comonad and how its coKleisli category on the tensor unit alone exhibits the structure of quantum observables.
I have split off spin^c from spin^c structure
I have added (here) pointer to:
(This edit prompted by discussion in another thread of the same name: here)
created article for linking the reference
Anonymouse
stub for endomorphism ring
A stub, for the moment just to have a place for recording a couple of references (which were previously at fusion category.
I edited the formatting of internal category a bit and added a link to internal infinity-groupoid
it looks like the first query box discussion there has been resolved. Maybe we can remove that box now?
Adding reference
Anonymous
I added a note to compact closed category on the fact that the inclusion from compact closed categories into SMCCs has a left adjoint, pointing to an article by Day where he describes the free compact closed category over a closed symmetric monoidal category as a localization. Question: this left adjoint is not full, but I believe it is faithful – does anyone know how to prove that?
added to identity type a mentioning of the alternative definition in terms of inductive types (paths).
added pointer to today’s
Added pointer to today’s
Guillaume Bossard, Franz Ciceri, Gianluca Inverso, Axel Kleinschmidt, Maximal supergravities from higher dimensions [arXiv:2309.07232]
Guillaume Bossard, Franz Ciceri, Gianluca Inverso, Axel Kleinschmidt, Consistent truncation of eleven-dimensional supergravity on [arXiv:2309.07233]
I created a short page for chord diagram, and also added a bit of relevant information to Vassiliev invariant.
stub for Goodwillie calculus
I gave Drinfel’d double an Idea-section.
Also moved a paragraph on module categories from the References to a Properties-section.
Started a bare minimum at cyclotomic spectrum. So far it’s essentially just a pointer to the canonical reference by Blumberg-Mandell. (Thomas Nikolaus and Peter Scholze have a new foundation of the theory in preparation for which notes however are not public yet, also Clark Barwick has something in preparation, for which you may find notes by looking at his website and being clever in deducing hidden URLs, he says.)
For the moment the only fact that I have actually recorded in the entry is a fact that is trivial for anyone familiar with the theory,but which looks interesting from the point of view of the story at Generalized cohomology of M2/M5-branes (schreiber): the global equivariant sphere spectrum for all the cyclic groups (all the A-type finite groups in the ADE classification…) carries canonical cyclotomic structure and as such is the tensor unit among cyclotomic spectra.
Apart from mentioning this, I have added brief cross-links with topological cyclic homology, equivariant sphere spectrum, cyclic group and maybe other entries.
stub for quantum sheaf cohomology
Created solid functor with an SVG graphic. The SVG editor is awesome! Even if it is still a little buggy.