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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical 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 foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nlab noncommutative noncommutative-geometry number number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 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).
    • brief category:people-entry for hyperlinking references

      v1, current

    • added to KK-theory brief remark and reference to relation to stable \infty-categories / triangulated categories

    • brief category:people-entry for hyperlinking references

      v1, current

    • Unfortunately, there are two entries on the same topic, both created by Urs: quantum Hall effect (redirecting also fractional quantum Hall effect what should eventually split off) with some substance, and the microstub quantum hall effect. I would like to create quantum spin Hall effect and I think I should rename/reclaim the stub quantum hall effect for this. Do others agree ? Urs ?

      As the action is now delayed I record here the reference which I wanted to put there

      • B. Andrei Bernevig, Taylor L. Hughes, Shou-Cheng Zhang, Quantum spin Hall rffect and topological phase transition in HgTe quantum wells, Science 15 December 2006: 314, n. 5806, pp. 1757-1761 doi

      Somewhat surprisingly, the authors and roughly this work of them are mentioned (though not in the list of references) in a paper in algebraic geometry

      which considers the mirror symmetry and topological states of matters (topological insulators in particular) as main applications.

    • (This is my first foray into nLab, so sorry if I'm making elementary errors.)
      In the definition of left adjoint of a functor U:C→ D, the claim is that it's a functor F:D → C s.t. ∃ natural transformations
      ι:id_C → F;U
      ϵ:U;F → id_D
      But F;U is a morphism in D and U;F is a morphism in C.
      Is something wrong here, have I misunderstood the notation F;U, is there a more general version of a natural transformation being used here, or what?
      Thank you.
    • brief category:people-entry for hyperlinking references

      v1, current

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

      Anonymous

      v1, current

    • the term “pre-spectrum” used to re-direct to spectrum and was explained a little more at sequential spectrum. Am giving the term its own page now, for better clarification, prompted by the discussion in another thread (here)

      v1, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • starting discussion thread for this post

      Anonymous

      diff, v3, current

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

      Anonymous

      v1, current

    • I have touched H-space, slightly expanded here and there and slightly reorganized it.

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • starting something – remains a stub for the moment, to be continued

      v1, current

    • adding explicit definition of a 2-poset

      Anonymous

      diff, v13, current

    • This is a bare list of references, to be !include-ed into the References-lists of relevant entries (such as at anyon, topological order, fusion category, unitary fusion category, modular tensor category).

      There is a question which I am after here:

      • This seems to be CMT folklore, as all authors state it without argument or reference.

        Who is really the originator of the claim that anyonic topological order is characterized by certain unitary braided fusions categories/MTCs?

      Is it Kitaev 06 (which argues via a concrete model, in Section 8 and appendix E)?

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • A×BA\times B is not the coproduct of AA and BB in Rel.

      Anonymous

      diff, v56, current

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • On the page hom-functor, it says

      There is also a contravariant hom-functor

      hom(,c):C opSet, hom(-,c) : C^{op} \to Set,

      where C opC^{op} is the opposite category to CC, which sends any object xC opx \in C^{op} to the hom-set hom(x,c)hom(x,c).

      If you write it like this, should you really call it “contravariant”? When you write C opC^{op}, I thought you should call it just “functor” or “covariant”. By saying it is contravariant AND writing C opC^{op}, it seems like double counting.

      I hope to add some illustrations to these pages. It is a shame there are not more illustrations on the nLab since nStuff is so amenable to nice pictures.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Todd,

      you added to Yoneda lemma the sentence

      In brief, the principle is that the identity morphism id x:xxid_x: x \to x is the universal generalized element of xx. This simple principle is surprisingly pervasive throughout category theory.

      Maybe it would be good to expand on that. One might think that the universal property of a genralized element is that every other one factors through it uniquely. That this is true for the generalized element id xid_x is a tautological statement that does not need or imply the Yoneda lemma, it seems.

    • added to complete Segal space a discussion of what an ordinary category looks like when regarded as a complete Segal space.

      (This is meant to be pedagogical, therefore the recollection of all the basics at the beginning.)

    • copying text from HoTT wiki

      Anonymous

      v1, current

    • a stub, need the link to work, but nothing to be seen here just yet

      v1, current

    • This is my first (substantial) contribution to the nLab, so forgive my likely ineptitude. This wants to be a initial stub, everything is basically scraped from the reference and this post: https://golem.ph.utexas.edu/category/2019/07/structured_cospans.html Clearly a lot of material can be added, included a better definition and clearer examples. It’s also quite necessary to make a page for decorated cospans. I might start it myself later this month.

      mattecapu

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • copied from HoTT wiki

      Anonymous

      v1, current

    • copied from HoTT wiki

      Anonymous

      v1, current

    • copied from HoTT wiki

      Anonymous

      v1, current

    • copied from HoTT wiki

      Anonymous

      v1, current

    • copied from the HoTT wiki

      Anonymous

      v1, current

    • copied from HoTT wiki, added context sidebar

      Anonymous

      v1, current

    • copied from HoTT wiki

      Anonymous

      v1, current