Not signed in (Sign In)

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 book 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 definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor 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 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 nlab noncommutative noncommutative-geometry 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 stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological 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).
    • Change down set to a slice category instead of a coslice category

      Anonymous

      diff, v8, current

    • finally added to crossed complex…. the definition! :-)

      Also added a paragraph on what the crossed complex associated to a strict globular -groupoid is.

    • How about the terminology “sub-modal object” for a subobject of a modal object?

      [or maybe better: for which specifically the modality unit is a monomorphism]

      In line with “subquotient”.

      E.g. concrete objects would be the sub--modal objects.

      (or alternatively: separated modal objects, in line with separated presheaves ??)

      diff, v8, current

    • starting a category:reference-entry for this book by Gelfand & Manin

      v1, current

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

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added pointer to the article introducing the Dieudonné determinant under “Selected writings”.

      Now it looks funny that no other of his references are listed here. Hopefully somebody feels awkward enough about this to go ahead and add something.

      diff, v6, current

    • a stub, for the moment just so as to make links work

      v1, current

    • Added a reference

      • Murray Gell-Mann, Nature conformable to herself: Some arguments for a unified theory of the universe, Complexity 1(4): 9-12 (1996), (doi.

      diff, v7, current

    • a list to be !include-ed in relevant entries as pointer to related entries

      v1, current

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

      v1, current

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

      v1, current

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

      v1, current

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

      v1, current

    • I used to point to Theorem 5.1.3.6 in http://www.math.harvard.edu/~lurie/papers/higheralgebra.pdf for the May recognition theorem. Now that file is gone, superceded by http://www.math.harvard.edu/~lurie/papers/HA.pdf and the numbering changed. Where in the new file is the May recognition theorem? (It’s not referred to under this name, unfortunately.)

      diff, v35, current

    • There is some bug with the display of this page. Some maths doesn’t get rendered and theorems appear in the toc, as if sections. Probably some closing dollar sign is missing somewhere, but I haven’t found it.

      diff, v20, current

    • Starting the background for explaining the connection to partial logic.

      v1, current

    • at Atiyah Lie groupoid was this old query box discussion, which hereby I am moving from there to here:

      +– {: .query} What is all of this diag stuff? I don't understand either (P×P)/diagG or (Px×Px)diagG. —Toby

      David Roberts: It’s to do with the diagonal action of G on P×P as opposed to the antidiagonal (if G is abelian) or the action on only one factor. I agree that it’s a bad notation.

      Toby: How well do you think it works now, with the notation suppressed and a note added in words? (For what it's worth, the diagonal action seems to me the only obvious thing to do here, although admittedly the others that you mention do exist.)

      Todd: I personally believe it works well. A small note is that this construction can also be regarded as a tensor product, regarding the first factor P as a right G-module and the second a left module, where the actions are related by gp=pg1.

      Toby: H'm, maybe we should write diagonal action if there's something interesting to say about it. =–

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

      v1, current

    • I have expanded the Idea-section at moduli stack of elliptic curves, have tried to add more pertinent references, and have touched the subsection on “Over general rings” and on the derived version.

      In the course of this I started to split off some entries such as nodal cubic curve (which now has a little bit of content) and cuspidal cubic curve (which does not yet).

    • I think that this should have linked to ’variety of algebras’ instead of ’algebraic variety’.

      diff, v20, current

    • starting something, for the moment mainly to record references

      v1, current