Abstract
We develop a bicategorical setup in which one can speak about adjoint 1-morphisms even in the absence of genuine identity 1-morphisms. We also investigate which part of 2-representation theory of 2-categories extends to this new setup.
Similar content being viewed by others
Data Availability Statement
Not applicable.
Notes
This also has to do with the terminology. There has been a suggestion that ‘weakly fiax’ should be ‘fax’ and ‘weakly fiat’ should be ‘fat’, which was dismissed by a majority of the authors of the current paper.
References
Etingof, P., Gelaki, S., Nikshych, D., Ostrik, V.: Tensor Categories. Mathematical Surveys and Monographs, vol. 205. American Mathematical Society, Providence, RI (2015)
Elias, B., Williamson, G.: The Hodge theory of Soergel bimodules. Ann. Math. (2) 180(3), 1089–1136 (2014)
Hayashi, S.: Adjunction of semifunctors: categorical structures in nonextensional lambda calculus. Theor. Comput. Sci. 41(1), 95–104 (1985)
Howie, J.: Fundamentals of Semigroup Theory. Oxford University Press, New York (1995)
Kelly, G.M.: On MacLane’s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1(4), 397–402 (1964)
Kildetoft, T., Mackaay, M., Mazorchuk, V., Zimmermann, J.: Simple transitive 2- representations of small quotients of Soergel bimodules. Trans. Am. Math. Soc. 371(8), 5551–5590 (2019)
Mackaay, M., Mazorchuk, V., Miemietz, V., Tubbenhauer, D.: Simple transitive 2- representations via (co-)algebra 1-morphisms. Indiana Univ. Math. J. 68(1), 1–33 (2019)
Mackaay, M., Mazorchuk, V., Miemietz, V., Tubbenhauer, D., Zhang, X.: Simple Transitive 2-Representations of Soergel Bimodules for Finite Coxeter Types. Preprint arXiv:1906.11468
Mackaay, M., Mazorchuk, V., Miemietz, V., Tubbenhauer, D., Zhang, X.: Finitary Birepresentations of Finitary Bicategories. Preprint arXiv:2008.01658
Mackaay, M., Mazorchuk, V., Miemietz, V., Zhang, X.: Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations. J. Inst. Math. Jussieu 19(6), 1793–1829 (2020)
Mazorchuk, V., Miemietz, V.: Cell \(2\)-representations of finitary \(2\)-categories. Compositio Math. 147, 1519–1545 (2011)
Mazorchuk, V., Miemietz, V.: Additive versus abelian \(2\)-representations of fiat \(2\)-categories. Mosc. Math. J. 14(3), 595–615 (2014)
Mazorchuk, V., Miemietz, V.: Endomorphisms of cell \(2\)-representations. Int. Math. Res. Not. IMRN 24, 7471–7498 (2016)
Mazorchuk, V., Miemietz, V.: Transitive \(2\)-representations of finitary \(2\)-categories. Trans. Am. Math. Soc. 368(11), 7623–7644 (2016)
Mazorchuk, V., Miemietz, V.: Isotypic faithful \(2\)-representations of \(\cal{J}\)-simple fiat \(2\)-categories. Math. Z. 282(1–2), 411–434 (2016)
Mazorchuk, V., Miemietz, V., Zhang, X.: \(2\)-categories of symmetric bimodules and their \(2\)-representations. Pacific J. Math. 306(2), 645–678 (2020)
Neeman, A.: Triangulated Categories. Annals of Mathematics Studies, vol. 148. Princeton University Press, Princeton, NJ (2001)
Soergel, W.: The combinatorics of Harish-Chandra bimodules. J. Reine Angew. Math. 429, 49–74 (1992)
Acknowledgements
This research was partially supported by the Swedish Research Council and Göran Gustafsson Stiftelse. We especially thank Marco Mackaay in conversation with whom the main idea behind this paper crystalized. We thank Gustavo Jasso for information about adjunction of semifunctors. We are grateful to the referee for very helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Nicola Gambino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ko, H., Mazorchuk, V. & Zhang, X. Adjunction in the Absence of Identity. Appl Categor Struct 30, 123–172 (2022). https://doi.org/10.1007/s10485-021-09652-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-021-09652-y