Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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

1. • CommentRowNumber1.
   • CommentAuthorSam Staton
   • CommentTimeJan 3rd 2018
   • PermaLink
   Author: Sam Staton
   Format: MarkdownItexAfter this discussion at [string diagrams for linearly distributive categories with unit = counit](https://nforum.ncatlab.org/discussion/8156/string-diagrams-for-linearly-distributive-categories-with-unit-counit/?Focus=66611#Comment_66611), I finally got round to having a go at making [star-polycategory](https://ncatlab.org/nlab/show/star-polycategory). Still much more to do. Hopefully I didn't make any major mistakes so far.

   After this discussion at string diagrams for linearly distributive categories with unit = counit, I finally got round to having a go at making star-polycategory. Still much more to do. Hopefully I didn’t make any major mistakes so far.

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeJan 3rd 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexLooks great to me, thanks! Two comments: * When creating a new page, it's a good idea to make links *to* it from all reasonable related pages so that people can find it. This sometimes requires a little thought as to *where* on such pages to put the link, perhaps making a new section somewhere for a few sentence discussion of the relationship, or if the relationship isn't that important it can just be linked without explanation in the "Related pages" section. In this case it would be good to have links at least from [[star-autonomous category]] and [[polycategory]], and maybe other places such as [[cyclic multicategory]] (oops, that doesn't exist yet either, but we have [[cyclic operad]]). Would you like to try adding some links? * It would be nice to actually have a precise definition of the compatibility conditions between composition and the exchange/negation structure. Are these axioms actually written down anywhere, or does everyone always just say "they're obvious"? If the latter, maybe we can remedy that situation by working out what they should be.

   Looks great to me, thanks! Two comments:

   • When creating a new page, it’s a good idea to make links to it from all reasonable related pages so that people can find it. This sometimes requires a little thought as to where on such pages to put the link, perhaps making a new section somewhere for a few sentence discussion of the relationship, or if the relationship isn’t that important it can just be linked without explanation in the “Related pages” section. In this case it would be good to have links at least from star-autonomous category and polycategory, and maybe other places such as cyclic multicategory (oops, that doesn’t exist yet either, but we have cyclic operad). Would you like to try adding some links?

   • It would be nice to actually have a precise definition of the compatibility conditions between composition and the exchange/negation structure. Are these axioms actually written down anywhere, or does everyone always just say “they’re obvious”? If the latter, maybe we can remedy that situation by working out what they should be.

3. • CommentRowNumber3.
   • CommentAuthorSam Staton
   • CommentTimeJan 4th 2018
   • PermaLink
   Author: Sam Staton
   Format: MarkdownItexThanks Mike. I added some links for star-autonomous categories and polycategories. I am not quite sure how to make the link from cyclic multicategories. I agree it would be good to work out the compatibility conditions.

   Thanks Mike. I added some links for star-autonomous categories and polycategories. I am not quite sure how to make the link from cyclic multicategories. I agree it would be good to work out the compatibility conditions.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeJan 5th 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexLooks good, thanks. For the plural link [[star-polycategories]] (which you wrote at [[polycategory]]) to work, you need to add [[!redirects star-polycategories]] to the bottom of the page [[star-polycategory]]. Probably it would be good to also redirect other spellings like `*-polycategory` and `*-polycategories`. To make a link from cyclic multicategory someone would have to first create the page [[cyclic multicategory]]. I don't have time to do that now, but anyone who wants to could just make a stub to record links.

   Looks good, thanks. For the plural link star-polycategories (which you wrote at polycategory) to work, you need to add

   [[!redirects star-polycategories]]
   

   to the bottom of the page star-polycategory. Probably it would be good to also redirect other spellings like *-polycategory and *-polycategories.

   To make a link from cyclic multicategory someone would have to first create the page cyclic multicategory. I don’t have time to do that now, but anyone who wants to could just make a stub to record links.

5. • CommentRowNumber5.
   • CommentAuthorMike Shulman
   • CommentTimeJan 30th 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI added to [[star-polycategory]] a bit more detail about what I think the compatibility conditions should be.

   I added to star-polycategory a bit more detail about what I think the compatibility conditions should be.

6. • CommentRowNumber6.
   • CommentAuthorMike Shulman
   • CommentTimeOct 11th 2019
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI feel like I've seen somewhere in the literature an explicit construction of the free (symmetric) $\ast$-polycategory on a (symmetric) polycategory $P$. It adds formal duals $A^\bot$ for each object $A$ of $P$, and a morphism $(\Gamma,\Pi^\bot) \to (\Delta,\Sigma^\bot)$ therein (where each greek letter is a list of objects of $P$) is a morphism $(\Gamma,\Sigma) \to (\Delta,\Pi)$ in $P$. Composition is as in $P$, perhaps in reversed order. But right now I can't find what paper this was in; does anyone know?

   I feel like I’ve seen somewhere in the literature an explicit construction of the free (symmetric) $\ast$-polycategory on a (symmetric) polycategory $P$. It adds formal duals $A^\bot$ for each object $A$ of $P$, and a morphism $(\Gamma,\Pi^\bot) \to (\Delta,\Sigma^\bot)$ therein (where each greek letter is a list of objects of $P$) is a morphism $(\Gamma,\Sigma) \to (\Delta,\Pi)$ in $P$. Composition is as in $P$, perhaps in reversed order. But right now I can’t find what paper this was in; does anyone know?

7. • CommentRowNumber7.
   • CommentAuthorTodd_Trimble
   • CommentTimeOct 12th 2019
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexWould you be satisfied with the corresponding construction of the free $\ast$-autonomous category on a symmetric linearly distributive category? Because that was given in the paper by [Blute, Cockett, Seely, and Trimble](https://www.sciencedirect.com/science/article/pii/002240499500159X).

   Would you be satisfied with the corresponding construction of the free $\ast$-autonomous category on a symmetric linearly distributive category? Because that was given in the paper by Blute, Cockett, Seely, and Trimble.

8. • CommentRowNumber8.
   • CommentAuthorMike Shulman
   • CommentTimeOct 13th 2019
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexWhere specifically in that paper? That free functor is mentioned in section 5.2, but I don't see an explicit description of it.

   Where specifically in that paper? That free functor is mentioned in section 5.2, but I don’t see an explicit description of it.

9. • CommentRowNumber9.
   • CommentAuthorTodd_Trimble
   • CommentTimeOct 13th 2019
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI guess you're right that that specific construction is not mentioned in the paper. I must have been thinking of the description of the free $\ast$-autonomous category on a polygraph given in 5.1.

   I guess you’re right that that specific construction is not mentioned in the paper. I must have been thinking of the description of the free $\ast$-autonomous category on a polygraph given in 5.1.

10. • CommentRowNumber10.
    • CommentAuthornLab edit announcer
    • CommentTimeJul 18th 2024
    • PermaLink
    Author: nLab edit announcer
    Format: MarkdownItexupdated link to Martin Hyland pdf Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/star-polycategory/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/star-polycategory/5">v5</a>, <a href="https://ncatlab.org/nlab/show/star-polycategory">current</a>

    updated link to Martin Hyland pdf

    Anonymouse

    diff, v5, current