Article
Full entry |
PDF
(1.1 MB)
Feedback
PDF
(1.1 MB)
Feedback
Keywords:
Infinity categories; Exponentiable fibrations; Cartesian and coCartesian fibrations; Correspondences; Segal spaces; Final functors; Initial functors
Infinity categories; Exponentiable fibrations; Cartesian and coCartesian fibrations; Correspondences; Segal spaces; Final functors; Initial functors
Summary:
We construct a flagged $\infty$-category $\bf Corr$ of $\infty$-categories and bimodules among them. We prove that $\bf Corr$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the $\infty$-category of $\infty$-categories and its opposite, respectively. We introduce the flagged $\infty$-subcategories $\bf LCorr$ and $\bf RCorr$ of $\bf Corr$, whose morphisms are those bimodules which are {\it left-final} and {\it right-initial}, respectively. We identify the notions of fibrations these flagged $\infty$-subcategories classify, and show that these $\infty$-categories carry universal left/right fibrations.
References:
[1] Ayala, David, Francis, John: Factorization homology of topological manifolds. J. Topol. 8, no. 4, 1045–1084
[2] Ayala, David, Francis, John: Poincaré/Koszul duality. Comm. Math. Phys. 365, no. 3, 847–933 DOI 10.1007/s00220-019-03311-z
[3] Ayala, David, Francis, John: Flagged higher categories. Topology and quantum theory in interaction, 137–173, Contemp. Math., 718, Amer. Math. Soc., Providence, RI
[4] Ayala, David, Francis, John, Rozenblyum, Nick: A stratified homotopy hypothesis. Accepted, Journal of the European Mathematical Society. arXiv:1409.2857
[5] Ayala, David, Francis, John, Rozenblyum, Nick: Factorization homology I: Higher categories. Adv. Math. 333, 1042–1177 DOI 10.1016/j.aim.2018.05.031
[6] Ayala, David, Francis, John, Lee, Hiro Tanaka: Local structures on stratified spaces. Adv. Math. 307, 903–1028 DOI 10.1016/j.aim.2016.11.032
[7] Ayala, David, Francis, John, Lee, Hiro Tanaka: Factorization homology of stratified spaces. Selecta Math. (N.S.) 23, no. 1, 293–362 DOI 10.1007/s00029-016-0242-1
[8] Barwick, Clark: On the Q-construction for exact ∞-categories. Prepint. Available at arXiv:1301.4725
[9] Barwick, Clark: Spectral Mackey functors and equivariant algebraic K-theory (I). Adv. Math. 304, 646–727 DOI 10.1016/j.aim.2016.08.043
[10] Barwick, Clark, Shah, Jay: Fibrations in ∞-category theory. MATRIX annals, 17–42, MATRIX Book Ser., 1, Springer, Cham, 2018 DOI 10.1007/978-3-319-72299-3_2
[11] Conduché, François: Au sujet de l’existence d’adjoints á droite aux foncteurs “image réciproque” dans la catégorie des catégories. C. R. Acad. Sci. Paris Sér. A-B 275, A891–A894
[12] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. I. Correspondences and duality. Mathematical Surveys and Monographs, 221. American Mathematical Society, Providence, RI
[13] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. II. Deformations, Lie theory and formal geometry. Mathematical Surveys and Monographs, 221. American Mathematical Society, Providence, RI
[14] Gepner, David, Haugseng, Rune, Nikolaus, Thomas: Lax colimits and free fibrations in ∞-categories. Doc. Math. 22, 1225–1266
[15] Giraud, Jean: Méthode de la descente. Bull. Soc. Math. France Mém. 2 viii+150 pp
[16] Haugseng, Rune: Iterated spans and “classical” topological field theories. Iterated spans and classical topological field theories. Math. Z. 289, no. 3-4, 1427–1488
[17] Heuts, Gijs, Moerdijk, Ieke: Left fibrations and homotopy colimits. Math. Z. 279, no. 3–4, 723–744 DOI 10.1007/s00209-014-1390-7
[18] Joyal, André: Quasi-categories and Kan complexes. Special volume celebrating the 70th birthday of Professor Max Kelly. J. Pure Appl. Algebra 175, no. 1–3, 207–222 DOI 10.1016/S0022-4049(02)00135-4
[19] Joyal, André: Notes on quasi-categories. Preprint
[20] Joyal, André, Tierney, Myles: Quasi-categories vs Segal spaces. Categories in algebra, geometry and mathematical physics, 277–326, Contemp. Math., 431, Amer. Math. Soc., Providence, RI
[21] Lurie, Jacob: Higher topos theory. Annals of Mathematics Studies, 170. Princeton University Press, Princeton, NJ. xviii+925 pp
[22] Lurie, Jacob: Higher algebra. Preprint
[23] Mazel-Gee, Aaron: A user’s guide to co/Cartesian fibrations. Preprint
[24] Mazel-Gee, Aaron: All about the Grothendieck construction. Preprint
[25] Quillen, Daniel: Higher algebraic K-theory: I, Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Springer, Berlin, pp. 85–147
[26] Rezk, Charles: A model for the homotopy theory of homotopy theory. Trans. Amer. Math. Soc. 353, no. 3, 973–1007 DOI 10.1090/S0002-9947-00-02653-2
[27] Rezk, Charles: A Cartesian presentation of weak n-categories. Geom. Topol. 14, no. 1, 521–571 DOI 10.2140/gt.2010.14.521
Search
Partner of
