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.
I notice that there seemed to be no-where a really explicit semantics explanation of the claim that “univalence implies the existence of quotient types”. I checked with Peter Lumsdaine, and he kindly provided some text which, up to some minor reformatting, I have put into quotient type – Properties – from univalence.
for hyperlinking references at quantum hadrodynamics
a bare list of references, to be !include-ed into the References-section of relevant entries (notably at quantum hadrodynamics, of course, but also at hadron, nucleon etc.)
Created Beck module, mentioned it (once) on the tangent category page.
Cleaned up partition of unity and fine sheaf a bit, so I could link to them from this MO answer to the question ’Why are there so many smooth functions?’.
Added to paracompact topological space in the Properties-section the statement that every bounded hypercover over a paracompact space is refined by the Čech nerve of a plain open cover… by appealing to a lemma in HTT. (Thanks to Danny Stevenson for pointing this out.)
have added pointer to
have added to codomain fibration a brief paragraph on the -version here and that it’s a coCartesian fibration.
started entry on stabilization (in the sense of sending an (oo,1)-category to its free stable (infinity,1)-category)
I want to eventually state more properties of the effect of stabilization on objects here.
added pointer to today’s
brief category:people-entry for hyperlinking references at conformal bootstrap
added pointers:
For superconformal field theory, such as D=4 N=1 SYM, D=4 N=2 SYM, D=4 N=4 SYM, D=6 N=(1,0) SCFT, D=6 N=(2,0) SCFT:
Christopher Beem, Madalena Lemos, Pedro Liendo, Leonardo Rastelli, Balt C. van Rees, The superconformal bootstrap (arXiv:1412.7541)
Christopher Beem, Madalena Lemos, Leonardo Rastelli, Balt C. van Rees, The superconformal bootstrap (arXiv:1507.05637)
Christopher Beem, Leonardo Rastelli, Balt C. van Rees, More superconformal bootstrap (arXiv:1612.02363)
After a shamefully long time, I am working some more on cartesian bicategory; I have added some material on the locally cartesian structure, on the essential uniqueness of a cartesian structure on a bicategory, and a beginning of a section on the “Frobenius conditions”.
I also inserted a little promissory note acknowledging that it really would be better to deal with framed cartesian bicategories, by tweaking the definition a little. It would require a certain amount of rewriting (which makes me believe that I had better do it sooner than later).
A few days ago here at the nForum, I outlined a context where these Frobenius conditions imply “Frobenius reciprocity” (in response to a query of David Corfield). I want to see whether I can write out or at least sketch a proof in the context of a cartesian bicategory satisfying the Frobenius conditions, and see what else might be said on the relationship between the two Frobenii.
Edit to: standard model of particle physics by Urs Schreiber at 2018-04-01 01:15:37 UTC.
Author comments:
added textbook reference
added a bunch of references to M2-brane