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.
a bare list of references, to be !include-ed into the References-lists of relevant entries (such as at anyon and quantum Hall effect) for ease of updating and synchronizing
I tried adding some material to framed link, but as in other recent edits (Dehn twist, Dehn surgery), my efforts might well make an expert smile indulgently. I do mean to – or someone else could – fix up or polish up the recent edit at Dehn surgery, which I’m not particularly happy with at the moment.
I have added to the References at double negation pointer to Andrej’s exposition:
which is really good. I have also added this to double negation transformation, but clearly that entry needs some real references, too.
added these two pointers:
Karen Uhlenbeck, notes by Laura Fredrickson, Equations of Gauge Theory, lecture at Temple University, 2012 (pdf)
Simon Donaldson, Mathematical uses of gauge theory (pdf)
(if anyone has the date or other data for the second one, let’s add it)
Added a link to Todd’s nice page on free cartesian category.
I did not change anything, I would not like to do it without Urs’s consent and some opinion. The entry AQFT equates algebraic QFT and axiomatic QFT. In the traditional circle, algebraic quantum field theory meant being based on local nets – local approach of Haag and Araki. This is what the entry now describes. The Weightman axioms are somewhat different, they are based on fields belonging some spaces of distributions, and 30 years ago it was called field axiomatics, unlike the algebraic axiomatics. But these differences are not that important for the main entry on AQFT. What is a bigger drawback is that the third approach to axiomatic QFT if very different and was very strong few decades ago and still has some followers. That is the S-matrix axiomatics which does not believe in physical existence of observables at finite distance, but only in the asymptotic values given by the S-matrix. The first such axiomatics was due Bogoliubov, I think. (Of course he later worked on other approaches, especially on Wightman’s. Both the Wightman’s and Bogoliubov’s formalisms are earlier than the algebraic QFT.)
I would like to say that axiomatic QFT has 3 groups of approaches, and especially to distinguish S-matrix axiomatics from the “algebraic QFT”. Is this disputable ?
I have further expanded the Idea-section and the list of commented references at perturbative quantum field theory.
(Not proof-read yet, need to run to catch a train.)
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?
edited dualizable object a little, added a brief paragraph on dualizable objects in symmetric monoidal (∞,n)-categories
same as in companion pair
Created descent morphism.
In adding links, I discovered that Euclidean-topological infinity-groupoid and separated (infinity,1)-presheaf use the phrase “descent morphism” to refer to the comparison functor mapping into the category of descent data. If no one has any objections, I would like to change this to avoid confusion, but I’m not sure what to change it to: would “comparison functor” be good enough?
I felt we needed a dedicated entry on model/category of models. So I started one. But just a puny stub so far.
I am working on an entry cohesive homotopy type theory.
This started out as material split off from cohesive (infinity,1)-topos, but is expanding now.
starting page on type theories with parametricity, as a separate article from the article on polymorphism.
Anonymouse
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)