Polycategories are an algebraic structure for transformations that can be linearly connected: that is, composed along a single point.
- polycategory - star-polycategory
- polycategory - malleable polycategory
- polycategory - polycategorical splice
Related.
- multicategory
- lax pseudofrobenius algebra
- transformation of cliques, cliques compose polycategorically
- adjunction - polycategory of multivariable adjunctions
- adjunction - the 2-polycategorical structure of multivariable adjoints
References
- The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)
- Proof Theory in the Abstract (Hyland) defines symmetric polycategories.
- Bifibrations of Polycategories and Classical Linear Logic (Blanco, Zeilberger) defines planar polycategories.