Not signed in (Sign In)

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundle bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory itex k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • 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.

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

      v1, current

    • Created a hyperlinked table of contents.

      v1, current

    • 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 a section on locales.

      diff, v4, current

    • 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

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

      diff, v16, current

    • have added to codomain fibration a brief paragraph on the (,1)(\infty,1)-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.

    • Changed phrasing; I hope I didn’t misinterpret


      diff, v7, current

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

    • added a bunch of references to M2-brane

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

      v1, current

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

      v1, current

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


      diff, v11, current

    • for completeness of the list of strange mesons

      v1, current