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 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 nforum 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 sheaves simplicial space spin-geometry stable-homotopy-theory stack 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).

nLab > Latest Changes

Show all

8341 to 8400 of 14391

  1. <
  2. 1
  3. ...
  4. 136
  5. 137
  6. 138
  7. 139
  8. 140
  9. 141
  10. 142
  11. 143
  12. ...
  13. 240
  14. >

    • The page collects the various networks and communities of category theorists around the world. As far as I have seen, such page was missing from the nLab!

      Feel free to continue the list

      v1, current

    • 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-♯\sharp-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

    • Corrected a hyperlink. Removed the publication year from the page title.

      diff, v2, current

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

      v1, current

    • At closed subspace, I added some material on the 14 operations derivable from closures and complements. For no particularly great reason except that it’s a curiosity I’d never bothered to work through until now.

    • 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 diagdiag stuff? I don't understand either (P×P)/ diagG(P \times P)/_{diag} G or (P x×P x) diagG(P_x \times P_x)_{diag} G. —Toby

      David Roberts: It’s to do with the diagonal action of GG on P×PP\times P as opposed to the antidiagonal (if GG 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 PP as a right GG-module and the second a left module, where the actions are related by gp=pg −1g p = p g^{-1}.

      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

8341 to 8400 of 14391

  1. <
  2. 1
  3. ...
  4. 136
  5. 137
  6. 138
  7. 139
  8. 140
  9. 141
  10. 142
  11. 143
  12. ...
  13. 240
  14. >
Top of Page