Kan extensions and the calculus of modules for ∞–categories

Riehl, Emily¹ ; Verity, Dominic²

¹Department of Mathematics, Johns Hopkins University, 3400 N Charles Street, Baltimore, MD 21218, United States
²Department of Mathematics, Macquarie University, Sydney NSW 2109, Australia

Algebraic and Geometric Topology, Tome 17 (2017) no. 1, pp. 189-271

Résumé

Various models of (∞,1)–categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an ∞–cosmos. In a generic ∞–cosmos, whose objects we call ∞–categories, we introduce modules (also called profunctors or correspondences) between ∞–categories, incarnated as spans of suitably defined fibrations with groupoidal fibers. As the name suggests, a module from A to B is an ∞–category equipped with a left action of A and a right action of B, in a suitable sense. Applying the fibrational form of the Yoneda lemma, we develop a general calculus of modules, proving that they naturally assemble into a multicategory-like structure called a virtual equipment, which is known to be a robust setting in which to develop formal category theory. Using the calculus of modules, it is straightforward to define and study pointwise Kan extensions, which we relate, in the case of cartesian closed ∞–cosmoi, to limits and colimits of diagrams valued in an ∞–category, as introduced in previous work.

Détail

DOI : 10.2140/agt.2017.17.189

Classification : 18G55, 55U35, 55U40
Keywords: $\infty$–categories, modules, profunctors, virtual equipment, pointwise Kan extension

Bibliographie

[1] C Barwick, C Schommer-Pries, On the unicity of the homotopy theory of higher categories, (2011)

[2] G S H Cruttwell, M A Shulman, A unified framework for generalized multicategories, Theory Appl. Categ. 24 (2010) 580

[3] R Haugseng, Bimodules and natural transformations for enriched ∞–categories, Homology Homotopy Appl. 18 (2016) 71 | DOI

[4] A Heller, Homotopy theories, 383, Amer. Math. Soc. (1988) | DOI

[5] A Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra 175 (2002) 207 | DOI

[6] T Leinster, fc–multicategories, (1999)

[7] T Leinster, Generalized enrichment for categories and multicategories, (1999)

[8] T Leinster, Generalized enrichment of categories, J. Pure Appl. Algebra 168 (2002) 391 | DOI

[9] J Lurie, Higher topos theory, 170, Princeton University Press (2009) | DOI

[10] J Lurie, Higher algebra, (2014)

[11] E Riehl, D Verity, The 2–category theory of quasi-categories, Adv. Math. 280 (2015) 549 | DOI

[12] E Riehl, D Verity, Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions, Homology Homotopy Appl. 17 (2015) 1 | DOI

[13] E Riehl, D Verity, Homotopy coherent adjunctions and the formal theory of monads, Adv. Math. 286 (2016) 802 | DOI

[14] E Riehl, D Verity, Fibrations and Yoneda’s lemma in an ∞–cosmos, J. Pure Appl. Algebra 221 (2017) 499

[15] E Riehl, D Verity, Yoneda structures and the calculus of modules for quasi-categories

[16] E Riehl, D Verity, On model independence and general change of base for ∞–category theories,

[17] M Shulman, Enriched indexed categories, Theory Appl. Categ. 28 (2013) 616

[18] R Street, Elementary cosmoi, I, from: "Category Seminar" (editor G M Kelly), Springer (1974)

[19] D Verity, Enriched categories, internal categories and change of base, Repr. Theory Appl. Categ. (2011) 1

[20] M Weber, Yoneda structures from 2–toposes, Appl. Categ. Structures 15 (2007) 259 | DOI

[21] R J Wood, Abstract proarrows, I, Cahiers Topologie Géom. Différentielle 23 (1982) 279

[22] R J Wood, Proarrows, II, Cahiers Topologie Géom. Différentielle Catég. 26 (1985) 135