Cyclic multicategories, multivariable adjunctions and mates
 Publisher: Cambridge University Press

Subject:arxiv: Mathematics::KTheory and Homology  Mathematics::Algebraic Topology  Mathematics::Category Theory
A multivariable adjunction is the generalisation of the notion of a 2variable adjunction, the classical example being the hom/tensor/cotensor trio of functors, to n + 1 functors of n variables. In the presence of multivariable adjunctions, natural transformations between certain composites built from multivariable functors have “dual” forms. We refer to corresponding natural transformations as multivariable or parametrised mates, generalising the mates correspondence for ordinary adjunctions, which enables one to pass between natural transformations involving left adjoints to those involving right adjoints. A central problem is how to express the naturality (or functoriality) of the parametrised mates, giving a precise characterization of the dualities soencoded.\ud We present the notion of “cyclic double multicategory” as a structure in which to organise multivariable adjunctions and mates. While the standard mates correspondence is described using an isomorphism of double categories, the multivariable version requires the framework of “double multicategories”. Moreover, we show that the analogous isomorphisms of double multicategories give a cyclic action on the multimaps, yielding the notion of “cyclic double multicategory”. The work is motivated by and applied to Riehl's approach to algebraic monoidal model categories.

References
(2)
[23] Emily Riehl. Algebraic model structures. New York Journal of Mathematics, 17:173231, 2011.
[24] Emily Riehl. Monoidal algebraic model structures. J. Pure Appl. Algebra, 217(6), 10691104, 2013.

Similar Research Results
(1)
Multivariable adjunctions and mates (2012) 90% 
Metrics
0views in OpenAIRE0views in local repository30downloads in local repository
The information is available from the following content providers:
From Number Of Views Number Of Downloads White Rose Research Online  IRUSUK 0 30
Share  Bookmark

 Download from


Cite this publication