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).
    • CommentRowNumber1.
    • CommentAuthorSam Staton
    • CommentTimeJan 3rd 2018

    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.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJan 3rd 2018

    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.

    • CommentRowNumber3.
    • CommentAuthorSam Staton
    • CommentTimeJan 4th 2018

    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.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeJan 5th 2018

    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.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeJan 30th 2018

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

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeOct 11th 2019

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

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 12th 2019

    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.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeOct 13th 2019

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

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 13th 2019

    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.