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

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

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

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

• Initial writeup.

• Corrected a serious mistake in the definition of a normal cover: normal covers can be star-refined an arbitrary number of times, not just once.

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

• A.Yu. Korchin, D. Van Neck, M. Waroquier, Electromagnetic interaction in chiral quantum hadrodynamics and decay of vector and axial-vector mesons, Phys.Rev. C67 (2003) 015207 (arXiv:nucl-th/0302042)
• have added to codomain fibration a brief paragraph on the $(\infty,1)$-version here and that it’s a coCartesian fibration.

• Created.

• Created article.

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

• Changed phrasing; I hope I didn’t misinterpret

Anonymous

• starting something

• Amit Jamadagni, Hendrik Weimer, An Operational Definition of Topological Order (arXiv:2005.06501)
• 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.

• Mention connection with normal covers.

• added a bunch of references to M2-brane

• Started a page on the geometric theory capturing the concept of a continuous flat functor.

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

• I have refreshed the links, and modified a few details in the text. Nothing controversial, I think.

neko