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

Discussion Tag Cloud

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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 17th 2009
    • (edited Nov 13th 2012)

    created Theta category (made disk category a redirect).

    In the "Idea" section I had the idea that the quickest way to define  \Theta_n is as the full subcategory of strict n-catgeories on n-computads. Is that right? If not, something along these lines must be right.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeNov 17th 2009

    No, not computads, there would be far too many of those. Computads contain cells whose source and target are arbitrary composites, rather than single cells. It should be the full subcategory of strict n-categories on some objects, which are free in some sense -- free on a finite tree, probably. Have you looked at the paper "the universal property of the multitude of trees"?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2009

    I fixed the sentence about computads and mention the definition of  \Theta_n as the category of planar rooted trees of level  \leq n . Added some pictures.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2012
    • (edited May 18th 2012)

    I have expanded Theta category: added the definition in terms of categorical wreath product and added various properties resulting from that and references related to that.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2012

    add brief remark that Theta is the formal dual of the finite disk category in analogy to how $\Delta$ is the opposite of the category of finite strict linear intervals. But no details yet. More a reminder for things to be expanded on.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2012

    Added a link to a scan of Joyal’s original preprint on Θ\Theta-categories.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)