A monadic approach to polycategories

In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where T is a cartesian monad on a category X with pullbacks. Our approach involves two such monads, S and T, that are linked by a suitable generalization of a distributive law in the sense of Beck. This takes the form of a span TS ks +Q ST in the functor category [X, X] and guarantees essential associativity for a canonical pullback-induced composition of S-T-spans over X, identifying them as the 1-cells of a bicategory, whose (internal) monoids then qualify as "-categories". In case that S and T both are the free monoid monad on set, we construct an utilizing an apparently new classical distributive law linking the free semigroup monad with itself. Our construction then gives rise to socalled "planar polycategories", which nowadays seem to be of more intrinsic interest than Szabo's origi...

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Jürgen Koslowski
• Keywords: Cartesian Monads, Distributive Law, ENTCS 2002, Ks +q St