Skip to main content Accessibility help
×
Home
Hostname: page-component-568f69f84b-56sbs Total loading time: 0.151 Render date: 2021-09-18T19:33:17.956Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true, "newUsageEvents": true }

Cyclic multicategories, multivariable adjunctions and mates

Published online by Cambridge University Press:  02 January 2014

Get access

Abstract

A multivariable adjunction is the generalisation of the notion of a 2-variable 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 so-encoded.

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.

Type
Research Article
Copyright
Copyright © ISOPP 2013 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1.Batanin, M.A. and Berger, C.. The lattice path operad and Hochschild cochains, 2009.Google Scholar
2.Cruttwell, G.S.H. and Shulman, Michael A.. A unified framework for generalized multicategories. Theory Appl. Categ. 24 (2010), 580655.Google Scholar
3.Eilenberg, S. and Kelly, G. M. Closed categories. 1966 Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), 421562.Google Scholar
4.Garner, Richard. Understanding the small object argument. Applied Categorical Structures 17(3) (2009), 247285.CrossRefGoogle Scholar
5.Getzler, E. and Kapranov, M. M.. Cyclic operads and cyclic homology. In “Geometry, Topology and Physics”, pages 167201. International Press, 1995.Google Scholar
6.Goerss, Paul G. and Jardine, John F.. Simplicial homotopy theory, Progress in Mathematics 174, Birkhäuser Verlag, Basel, 1999.CrossRefGoogle Scholar
7.Grandis, Marco and Tholen, Walter. Natural weak factorization systems. Archivum Mathematicum 42(4) (2006), 397408.Google Scholar
8.Guillou, Bertrand and May, J. P.. Enriched model categories and presheaf categories. E-print, arXiv:1110.3567 [math.AT].Google Scholar
9.Guillou, Bertrand and May, J. P.. Enriched model categories in equivariant contexts. E-print, arXiv:1307.4488 [math.AT].Google Scholar
10.Guillou, Bertrand and May, J. P.. Models of G-spectra as presheaves of spectra. E-print, arXiv:1110.3571 [math.AT].Google Scholar
11.Hahn, Jeremy. In preparation, 2013.Google Scholar
12.Hovey, M.. Model Categories. Mathematical Surveys and Monographs. American Mathematical Society, 1999.Google Scholar
13.Joyal, André and Kock, Joachim. Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract). Electronic Notes in Theoretical Computer Science 270 (2011), 105113.CrossRefGoogle Scholar
14.Kapranov, M. M. and Voevodsky, V. A.. 2-categories and Zamolodchikov tetrahedra equations. In Algebraic groups and their generalizations: quantum and infinite-dimensional methods (University Park, PA, 1991), Proc. Sympos. Pure Math. 56, pages 177259. Amer. Math. Soc., 1994.Google Scholar
15.Kelly, G.M.. Basic Concepts of Enriched Category Theory. Reprints in Theory Appl. Categ. 10 (2005), 1136.Google Scholar
16.Kelly, G. M. and Lane, S. Mac. Coherence in closed categories. Journal of Pure and Applied Algebra 1(1) (1971), 97140.CrossRefGoogle Scholar
17.Kelly, G. M. and Street, Ross. Review of the elements of 2-categories. In Category Seminar, Springer Lecture Notes in Mathematics 420, pages 75103, 1974.CrossRefGoogle Scholar
18.Lack, Stephen. A Quillen model structure for 2-categories. K-Theory 26(2) (2002), 171205.CrossRefGoogle Scholar
19.Lack, Stephen. A Quillen model structure for bicategories. K-Theory 33(3) (2004), 185197.CrossRefGoogle Scholar
20.Lack, Stephen. Homotopy-theoretic aspects of 2-monads. Journal of Homotopy and Related Structures 2(2) (2007), 229260. E-print math.CT/0607646.Google Scholar
21.Leinster, Tom. Higher operads, higher categories. London Mathematical Society Lecture Note Series 298. Cambridge University Press, 2004.CrossRefGoogle Scholar
22.Lane, Saunders Mac. Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, New York, second edition, 1998.Google Scholar
23.May, J. P.. Simplicial Objects in Algebraic Topology. Chicago Lectures in Mathematics, University of Chicago Press, 1993. Reprint of 1967 original.Google Scholar
24.Riehl, Emily. Algebraic model structures. New York Journal of Mathematics 17 (2011), 173231.Google Scholar
25.Riehl, Emily. Monoidal algebraic model structures. J. Pure Appl. Algebra 217(6) (2013), 10691104.CrossRefGoogle Scholar
26.Shulman, Michael. Homotopy limits and colimits and enriched homotopy theory, 2006. E-print math/0 610194.Google Scholar
8
Cited by

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Cyclic multicategories, multivariable adjunctions and mates
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

Cyclic multicategories, multivariable adjunctions and mates
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

Cyclic multicategories, multivariable adjunctions and mates
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *