Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

We introduce the notion of a relative pseudomonad, which generalizes the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonads on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads on the bicategory of profunctors in an homogeneous way and provide a uniform approach to the definition of bicategories that are of interest in operad theory, mathematical logic, and theoretical computer science.

[1]  B. Day,et al.  Abstract substitution in enriched categories , 2003 .

[2]  S. Lack,et al.  The formal theory of monads II , 2002 .

[3]  Giuseppe Rosolini,et al.  A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda , 2006, MFCSIT.

[4]  Stephen Lack,et al.  Limits of small functors , 2007 .

[5]  ON PROPERTY-LIKE STRUCTURES , 1997 .

[6]  A. J. Power,et al.  A general coherence result , 1989 .

[7]  Gabriele Puppis,et al.  A decidable weakening of Compass Logic based on cone-shaped cardinal directions , 2015, Log. Methods Comput. Sci..

[8]  Friedrich Ulmer,et al.  Properties of dense and relative adjoint functors , 1968 .

[9]  G. M. Kelly,et al.  Two-dimensional monad theory , 1989 .

[10]  S. Lack.  A 2-Categories Companion , 2007, math/0702535.

[11]  F. William Lawvere,et al.  Ordinal sums and equational doctrines , 1969 .

[12]  A categorical approach to universal algebra , 1970 .

[13]  G. M. Kelly,et al.  Flexible limits for 2-categories , 1989 .

[14]  J. Benabou.  Introduction to bicategories , 1967 .

[15]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[16]  Dimitri Chikhladze.  LAX FORMAL THEORY OF MONADS, MONOIDAL APPROACH TO BICATEGORICAL STRUCTURES AND GENERALIZED OPERADS , 2014, 1412.4628.

[17]  Glynn Winskel,et al.  The cartesian closed bicategory of generalised species of structures , 2008 .

[18]  G. M. Kelly,et al.  On MacLane's conditions for coherence of natural associativities, commutativities, etc. , 1964 .

[19]  F. Marmolejo.  Doctrines Whose Structure Forms a Fully Faithful Adjoint String , 1997 .

[20]  Ross Street,et al.  Fibrations and Yoneda's lemma in a 2-category , 1974 .

[21]  F. Marmolejo,et al.  KAN EXTENSIONS AND LAX IDEMPOTENT PSEUDOMONADS , 2012 .

[22]  G. M. Kelly,et al.  On the Operads of J.p. May , 1972 .

[23]  Thorsten Altenkirch,et al.  Monads need not be endofunctors , 2010, Log. Methods Comput. Sci..

[24]  Miki Tanaka,et al.  Pseudo-Distributive Laws and a Unified Framework for Variable Binding , 2004 .

[25]  F. Marmolejo,et al.  Distributive laws for pseudomonads. , 1999 .

[26]  A. Grothendieck,et al.  Théorie des Topos et Cohomologie Etale des Schémas , 1972 .

[27]  Ross Street,et al.  Coherence of tricategories , 1995 .

[28]  G. M. Kelly,et al.  Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads , 1993 .

[29]  Saunders MacLane,et al.  Coherence for bicategories and indexed categories , 1985 .

[30]  Tom Leinster,et al.  Higher Operads, Higher Categories: Opetopes , 2004 .

[31]  G. M. Kelly.  Coherence theorems for lax algebras and for distributive laws , 1974 .

[32]  Stephen Lack,et al.  A Coherent Approach to Pseudomonads , 2000 .

[33]  M. Hyland.  Some Reasons for Generalizing Domain Theory , 2009 .

[34]  Nicola Gambino,et al.  On Operads, Bimodules and Analytic Functors , 2014, 1405.7270.

[35]  John Power,et al.  Binding Signatures for Generic Contexts , 2005, TLCA.

[36]  V. Smirnov.  ON THE COCHAIN COMPLEX OF TOPOLOGICAL SPACES , 1982 .

[37]  James Dolan,et al.  Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes , 1997 .

[38]  S. Lane,et al.  Sheaves In Geometry And Logic , 1992 .

[39]  NO-ITERATION PSEUDOMONADS , 2013 .

[40]  Ross Street,et al.  Fibrations in bicategories , 1980 .

[41]  J. Baez,et al.  Higher dimensional algebra and topological quantum field theory , 1995, q-alg/9503002.

[42]  Stephen Lack,et al.  Homotopy-theoretic aspects of 2-monads , 2006 .

[43]  Pierre-Louis Curien.  Operads, clones, and distributive laws , 2012, ArXiv.

[44]  G.S.H. Cruttwell,et al.  A unified framework for generalized multicategories , 2009, 0907.2460.

[45]  Gordon D. Plotkin,et al.  Abstract syntax and variable binding , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[46]  S. Lane.  Categories for the Working Mathematician , 1971 .

[47]  Marcelo P. Fiore,et al.  Mathematical Models of Computational and Combinatorial Structures , 2005, FoSSaCS.

[48]  John Power,et al.  Pseudo-distributive Laws , 2003, MFPS.

[49]  F. Marmolejo,et al.  MONADS AS EXTENSION SYSTEMS |NO ITERATION IS NECESSARY , 2010 .

[50]  Glynn Winskel,et al.  Profunctors, open maps and bisimulation , 2004, Mathematical Structures in Computer Science.

[51]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[52]  G. M. Kelly,et al.  A universal property of the convolution monoidal structure , 1986 .

[53]  Ross Street,et al.  Braided Tensor Categories , 1993 .

[54]  Miki Tanaka.  Abstract Syntax and Variable Binding for Linear Binders , 2000, MFCS.

[55]  G. M. Kelly.  Elementary observations on 2-categorical limits , 1989, Bulletin of the Australian Mathematical Society.

[56]  Marcelo P. Fiore,et al.  Second-Order and Dependently-Sorted Abstract Syntax , 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.

[57]  B Jean,et al.  Distributors at Work , 2000 .

[58]  A. Kock.  Monads for which Structures are Adjoint to Units , 1995 .

[59]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[60]  B. Day.  On closed categories of functors , 1970 .

[61]  Michael Shulman.  Not every pseudoalgebra is equivalent to a strict one , 2010, 1005.1520.

[62]  F. Marmolejo,et al.  Coherence for pseudodistributive laws revisited. , 2008 .

[63]  M. Grandis.  Lax 2-categories and directed homotopy , 2006 .

[64]  John Power,et al.  Pseudo-commutative monads and pseudo-closed 2-categories , 2002 .

[65]  N. Gurski.  Operads, tensor products, and the categorical Borel construction , 2015, 1508.04050.

[66]  Marta Bunge.  Coherent extensions and relational algebras , 1974 .

[67]  E. Manes.  Algebraic Theories in a Category , 1976 .

[68]  Tom Leinster.  Higher Operads, Higher Categories , 2003 .

[69]  Martin Hyland,et al.  Some reasons for generalising domain theory , 2010, Mathematical Structures in Computer Science.