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.
some minimum (on the notion in solid state physics, the other now renamed to crystal (algebraic geometry))
found this article as well, going to merge lattice (in a vector space, etc.) into here
Anonymous
added pointer to this discussion of possible realization of the SYK-model in condensed matter physics:
Discovered that we have this stub entry, prompted by discussion here
Added pointer to the definition in
which looks different from what the entry states (without reference).
Googling, the first hit is Wikipedia, which agrees with the other definition here, but cites the nLab for it.
I don’t have the leisure now to look into this. Maybe somebody else does. I have left a warning “under construction” at the top of the entry.
wrote an entry Deligne’s theorem on tensor categories on the statement that every regular tensor category is equivalent to representations of a supergroup. Added brief paragraphs pointing to this to superalgebra and supersymmetry, added cross-links to Tannaka duality, Doplicher-Roberts reconstruction etc. Also created a disambiguation page Deligne’s theorem
stub for braid group statistics (again, for the moment mainly in order to record a reference)
I added a couple of comments about topos models to principle of omniscience.
As there had been a change to the entry for Ross Street I gave it a glance. Is there a reason that the second reference is to a paper without Ross as an author?I hesitate to delete it as there may be a hidden reason. (I have edited this discussion entry to remedy the point that Todd and Urs have made below. I also edited the title of this discussion!)
added a sentence to the Idea-section at Kan complex
Christian alerts me that the graphics in the Idea-section (here) after “The first few orientals look as follows” does not display (or not anymore).
Looking at the code of this page, one finds a baroque construction which is trying and failing to !include
the page oriental > Delta4 and its cousins. These pages, in turn, do display by themselves, but what they show is quite ill-formatted and the code which produces this unpleasant output is even more baroque and unreadable.
Therefore, besides the technical issue of why the present code does not render, I think we should delete it even if it did or will render, and replace it by one single well-done tikzpicture.
I can produce such a tikzpicture of the first few orientals, if necessary. But if anyone feels ambitious about this and/or already has available such a tikzpicture, please feel invited to edit it into oriental.
I have created a stub for dependent type theory.
This used to redirect to just type theory, but in that entry it is being escaped to Martin-Löf type theory, so clearly either it should redirect there or have a separate entry. I guess a separate entry is better, since there is dependent type theory that is not of Martin-Löf “type”.
starting some minimum, for the moment mainly to connect some references and for connecting the entries on topological data analysis with machine learning
a stub (though I did try my hand on a brief idea-section), for the moment mostly to provide a home for
added pointer to today’s
just re-discovered the existence of the ancienct page holonomic quantum field, while looking to hyperlink the authors of:
This old page needs attention:
After I had given (in rev 2) Zoran’s original text the header “Idea”, Zoran complained within the entry (rev 3) about his own text that:
There is no single mathematical idea expressed here yet!
and
Somebody should figure it out
Many more references and a couple of new sentences in Idea section of logarithmic CFT stub.
An ordinary natural transformation F→G (F,G:C→D) can be converted into a functor I⨯C→D whose restrictions to {0}⨯C and {1}⨯D are F and G respectively. Here I={0→1}.
It seems to me that a pseudonatural transformation can likewise be converted to a 2-functor I⨯C→D. In particular, the morphism in the definition of a pseudonatural transformation can be encoded via the compositor isomorphisms for the maps (0,r)→(0,s)→(1,s).
Has this been written up somewhere?
am splitting-off Lubin-Tate formal group from Lubin-Tate theory
(but as of yet neither entry states the full definition, to be expanded…)
gave the old entry wedge sum its explicit formal definition. Also added two examples.
Created graded set.
creating here a bare list of references, to be !include
-ed into the References-list at relevant entries (notably at Laughlin wavefunction and at conformal block)
the entry modular tensor category was lacking (among many things that it is still lacking) some pointers to literature that reviews the relation to QFT. I have added a handful, maybe the best one is this here: