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 comma 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 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 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).
    • added list of “Selected writings” and cross-links from all entries citing these

      diff, v2, current

    • I saw that the entry strict omega-groupoid was not in good shape, so I have edited a little. Expanded a bit, restructured a bit. More could be done.

    • I am working on the entry topological manifold.

      I gave it a subsection locally Euclidean spaces, which maybe eventually wants to be split off as an entry in its own right.

      Now I have added statement and proof that locally Euclidean spaces are T 1T_1, sober and locally compact (in the compact neighbourhood base sense): here.

    • Created ZFA, about ZF with atoms. I’ve added it to the foundations side bar under material set theories and a stack of links.

    • added this historical pointer (dug out by David C. in another thread) where the term “representation group” is used to refer to a GG-set:

      • William Burnside, On the Representation of a Group of Finite Order as a Permutation Group, and on the Composition of Permutation Groups, Proceedings of the American Mathematical Society 1901 (doi:10.1112/plms/s1-34.1.159)

      diff, v16, current

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

      v1, current

    • Added a concrete example: equifiers of natural transformations.

      diff, v4, current

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

      v1, current

    • Characterized full faithfulness in terms of a pullback

      diff, v15, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • The entry

      http://ncatlab.org/nlab/show/topological+modular+form

      has an outdated link to the reading list:
      http://www.math.uiuc.edu/~ganter/talbot/index.html

      It should be replaced by:
      http://www.ms.unimelb.edu.au/~nganter/talbot/index.html

      I have tried several times to edit the page accordingly, but upon
      submission (as "Marc Olschok") alway got the message that
      "Anonymous Coward" is already editing the page.
      So now I give up and let the nlab-elves do the edit.
    • added an Idea-section and a further reference to geometric stack.

      I hope we can eventually fully harmonize the definitions. It seems to me that the definitions in the literature vary slightly on the strength of their conditions.

    • am starting something. Not done yet, but need to save

      v1, current

    • created the book-entry Supergravity and Superstrings - A Geometric Perspective as the usual recipient, eventually, for a link list of entries on supergravity.

      This book is a jewel, but out of print. I happen to have an electronic djvu copy of it. I am feeling tempted to upload that to the lab, for the sake of mankind in general and of future students in particular. Probably legally a bad idea. Or is it?
    • I have started working on Diff: added a subsection with discussion of its properties as a site.

      Added statement and proof of the fact that

      • Sh(Diff)Sh(Diff) is a cohesive topos (direct consequence of the comparison lemma)

      • Sh (,1)(Diff)Sh_{(\infty,1)}(Diff) is a cohesive (infinity,1)-topos (easy with some lemmas from the literature, but not immediate (I think))

    • brief category:people-entry for hyperlinking references

      v1, current

    • Just noticed that when this page is shown in a Google search, the link from the Google page does not work. It seems that the “+” sign that used to be in the entry title gets interpreted as a whitespace.

      Therefore I am now changing the page name, replacing “+” by “and”. This should fix the problem, once Google picks up the change.

      diff, v11, current

    • Just created a stub to be filled in, to make sure that the page is able to be created.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for huyperlinking references

      v1, current

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

      v1, current

    • a stub, just so as to make the link work

      v1, current

    • Updated Jim’s (non)-affiliation. He was attached to UCR (clearly) and Macquarie. Anywhere else that should be added? I think more links to other pages could be added, and certainly the ones I’ve now added could have commentary around them. For instance, the list of neologisms that Jim had added deserve a section of their own, I think. But no time now.

      diff, v12, current

    • brief category:people-entry fro hyperlinking references

      v1, current

    • brief category:people-page for hyperlinking references

      v1, current