Polycategories via pseudo-distributive laws

• Autores: Richard Garner
• Localización: Advances in mathematics, ISSN 0001-8708, Vol. 218, Nº 3, 2008, págs. 781-827
• Idioma: inglés
• DOI: 10.1016/j.aim.2008.02.001
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this paper, we give a novel abstract description of Szabo's polycategories. We use the theory of double clubs � a generalisation of Kelly's theory of clubs to �pseudo� (or �weak�) double categories � to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad on Mod over itself qua pseudomonad, and show that monads in the �two-sided Kleisli bicategory� of this pseudo-distributive law are precisely symmetric polycategories