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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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 stack string-theory subobject 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).
    • added the statement (here) that Borel equivariant spectra are precisely the right induced genuine equivariant spectra

      diff, v3, current

    • I have added pdf-links to the reference

      and promoted this to the top of the list, since I suppose this is the most comprehensive account that a reader might want to go to first. Will also edit accordingly at topological stack

      diff, v18, current

    • I kept being annoyed about the nature of discussion of the “multiverse” (the one in cosmology, not the one in set theory). Now I thought instead of steadily being annoyed, I should start an nnLab entry that does it better. So I did now (or tried to), at multiverse.

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

    • Adding my user page to the nLab. :)

      Nico Courts

      v1, current

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

      v1, current

    • starting something and need to save – nothing here yet

      v1, current

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

      v1, current

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

      v1, current

    • some minimum, just for completeness

      v1, current

    • added more references to 2-spectral triple (as far as I can see Jürg Fröhlich with his students was the first to try to formalize this to some extent)

    • felt like archiving a quote by Paul Taylor somewhere, it is now at folklore.

      Besides being funny, it is actually a useful comment for the newbie, and so I linked to it from category theory.

    • I noticed that augmented simplicial set did not point anywhere, so i created the entry. But have no energy to put anything of substance there right now.

    • to be !include-ed as a floating context menu into relevant entries

      v1, current

    • starting something, and need to save. nothing here yet, just a moment…

      v1, current

    • Over at Monster group, I wrote out a description via a group presentation. Of course, it makes no pretense to be illuminating (although it is well-known to experts like Conway; it’s probably in his book with Sloane on the Leech lattice and sphere packings).

    • thought I had had created a brief entry with this title long ago, but apparently I didn’t

      v1, current

    • am giving this book a category:reference-entry for ease of referencing

      v1, current

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

      v1, current

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

      v1, current