Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• the minimum of an Idea-section

• added pointer to this discussion of possible realization of the SYK-model in condensed matter physics:

• D. I. Pikulin, M. Franz, Black hole on a chip: proposal for a physical realization of the SYK model in a solid-state system, Phys. Rev. X 7, 031006 (2017) (arXiv:1702.04426)
• Started a page on the Joyal-Wraith concept.

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• a bare minimum of an Idea-paragraph, for the moment just so as to make links work at graphene and elsewhere

• brief category:people-entry for hyperlinking references

• Discovered that we have this stub entry, prompted by discussion here

Added pointer to the definition in

• Pavel Etingof, Victor Ostrik, Sec 1.3 of: On the Frobenius functor for symmetric tensor categories in positive characteristic, J. für die reine und angewandte Mathematik 773 (2021) 165–198 $[$arXiv:1912.12947$]$

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.

• brief category:people-entry for hyperlinking references

• starting something – not ready yet for public consumption, but I need to save

• splitting the paragraph on De Morgan’s law in constructive mathematics into its own section, and adding a section about De Morgan’s law in homotopy type theory

Anonymous

• brief category:people-entry for hyperlinking references

• a category:reference-page

• 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!)

• 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.

• a new !include-file for graphics displaying the first few orientals – following the discussion here

• 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”.

• some minimum, just for completeness

• considerably expanded the Idea-section

• a stub (though I did try my hand on a brief idea-section), for the moment mostly to provide a home for

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• just re-discovered the existence of the ancienct page holonomic quantum field, while looking to hyperlink the authors of:

• Tetsuji Miwa, Michio Jimbo, Introduction to holonomic quantum fields, pp. 28–36 in: The Riemann problem, complete integrability and arithmetic applications, Lec. Notes in Math. 925, Springer (1982) $[$doi:10.1007/BFb0093497$]$

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

• brief category:people-entry for hyperlinking references

• added pointer to conference this month: here

• Hello, I thought that a new entry would be a good thing. Just a sketch for now.

• Page created, but author did not leave any comments.

• 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 $\phi(f)$ 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?

• brief category:people-entry for hyperlinking references

• starting something – my main motivation for the moment is to bring out references which admit that topological quantum computation by braiding of defect anyons is a form of adiabatic quantum computation

• a stub (just some references for the moment), for the time being just so that links work

• gave the old entry wedge sum its explicit formal definition. Also added two examples.

• Added several classical books on complex analytic spaces

Anonymous

• Page created, but author did not leave any comments.

Anonymous

• Page created, but author did not leave any comments.

Anonymous

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• 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:

• Page created, but author did not leave any comments.

Anonymous

• Fixed typo in Definitions section

Anthony Hart

• Page created, but author did not leave any comments.

Anonymous