nLab 2009 January changes

Archive of changes made during January 2009. The substantive content of this page should not be altered. For past versions of this page beyond its own history, start here and work backwards.







  • Andrew:

    • Joined the nn-Community. Hello.

    • Modified HomePage to point to the nn-Forum.

    • Made list of generalised smooth spaces on the generalised smooth spaces page (with the intention of starting pages on the various types).

  • Tim:

    • Created Moore complex which contains the definition of the homotopy groups of a simplicial group.

    • Added query to homotopy theory: should a summary of the Baues approach to abstract homotopy theory be included somewhere?

  • Urs

    • incorporated Todd‘s remark into span trace and created a general entry on trace in monoidal categories; tried to add some clarification that the point of span trace and co-span co-trace was not to describe the concept of trace in general, but to describe how for spans it harmonizes with the interpretation of spans as linear maps in groupoidification and nicely matches with the fact that on co-spans regarded as cobordisms it realizes the idea that one glues the two ends of a cobordism together to get the trace – I found that simple observation noteworthy in the context of the cobordisms hypothesis, in that all extended cobordisms seem to be generated by the interval just under cartesian product and co-span co-trace, so any map from extended cobordisms to multispans which sends pushouts to pullbacks and regards the interval as weakly equivalent to the point should be fixed by its value on the point (that last statement should be scrutinized, but it is what made me want to make the (obvious) notion of co-span co-trace explicit)
  • Mike:


  • Todd:

    • added more to geometric shapes for higher structures;

    • gave an answer to Eric’s question at globe

    • took some issue with Urs about whether span traces (and implicitly, cospan traces) have or haven’t appeared in the literature

  • Tim:

    • Created pospace to help the entry on directed space, at which I gave a link through to the new page.

    • Created directed homotopy theory. This is at present a stub plus an inadequate list of references that do not do justice to the area … as yet. I have built in some links but feel there should be others.

    • Created group T - complex, but more needs adding here.







  • Urs

  • John:

    • expanded the entry on monoid, giving lots of examples of monoid objects in monoidal categories. I think lists of examples like can be very useful and fun, and I want more! I would like a list of PROPs, for example, saying that FinSetFinSet is the PROP for commutative monoids, and so on.

    • If Urs is happy with how the discussion at the end of monoidal category has been incorporated into the body of the article, maybe we can remove that discussion.

    • slightly expanded the entry on braided monoidal category - but it really needs some diagrams!














  • Toby Bartels: Mike Shulman and I are having terminological discussions. Also, he fixed my theorem at extensive category (which will go in our paper, John).

  • Urs

    • further expanded on a bit and harmonized a bit more the circle of entries globe category, simplex category, cube category and globe, simplex, cube linked to and summarized in geometric shapes for higher structures. At globe I give a reply to a question by Eric on how to think of globes as “pointed spheres” by stating a claim that the (n+1)(n+1)-globe is the double cone over the nn-globe in a precise sense. I believe this is true, but am not entirely happy with the proof I have. Would be great if somebody could check this.
  • Mike

    • Created power and copower. Possibly these should be just one page?

      I think it is good to have many separate entries for sub-concepts if they all link to each other, maybe with a brief comment. –Urs

      I agree. —Toby





  • Toby Bartels: I posted periodic table and (n,r)-category, which I wrote today offline. There are probably lots of typos right now; I don't have a lot of time online today. Also, the former one really only contains an appendix that I wanted to write, not so much the article itself. But at least you can read what's there now.



Apparently, we all took a break from the nnLab for the New Year!

First listPrevious listNext listCurrent list

category: meta

Last revised on August 23, 2015 at 22:29:43. See the history of this page for a list of all contributions to it.