Article
Full entry |
PDF
(0.9 MB)
Feedback
PDF
(0.9 MB)
Feedback
Keywords:
Monads; Theories; $\infty$-categories; Kleisli categories
Monads; Theories; $\infty$-categories; Kleisli categories
Summary:
We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of $\infty$-categories and we use this to prove many classical results about monads in the $\infty$-categorical framework. Amongst other things, we show that the category of algebras for an accessible monad on a locally presentable $\infty$-category $\mathcal{E}$ is again locally presentable, and that a diagram of accessible monads on a locally presentable $\infty$-category admits a colimit. Our results also provide a new and simpler way to construct and describe monads in terms of theories.
References:
[1] Baez, J., Dolan, J.: Higher dimensional algebra and topological quantum field theory. Journal of Mathematical Physics 36 (1995), 2029-2048 DOI 10.1063/1.531236
[2] Berger, C., Mellies, P.-A., Weber, M.: Monads with arities and their associated theories. Journal of Pure and Applied Algebra 216 (2021), 2029-2048 DOI 10.1016/j.jpaa.2012.02.039 | MR 2925893
[3] Bird, G. J.: Limits in 2-categories of locally presentable categories: PhD thesis. University of Sydney. Circulated by the Sydney Category theory seminar, 1984
[4] Blackwell, R., Kelly, G. M., Power, A. J.: Two-dimensional monad theory. Journal of Pure and Applied Algebra 59 (1989), 1-41 DOI 10.1016/0022-4049(89)90160-6
[5] Blanc, D., Meadows, N. J.: Andre-quillen cohomology and the k-invariants of simplicial categories. Available at https://arxiv.org/abs/2212.01885 MR 4881652
[6] Bourke, J., Garner, R.: Monads and theories. Advances in Mathematics 351 (2019), 1024-1071 DOI 10.1016/j.aim.2019.05.016 | MR 3956765
[7] Chu, H., Haugseng, R.: Homotopy-coherent algebra via segal conditions. Advances in Mathematics 385 (2021) MR 4256131
[8] Cisinksi, D.-C.: Higher categories and homotopical algebra. Cambridge studies in advanced mathematics, Cambridge University Press, Cambridge, 2019 MR 3931682
[9] Dwyer, W. G., Henn, H. W.: Homotopy-theoretic methods in group cohomology. Advanced courses in mathematics CRM barcelona, Springer, Barcelona, 2001 MR 1926776
[10] Gepner, D., Haugseng, R., Nikolaus, T.: Lax colimits and free fibrations in $\infty$-categories. Documenta Mathematica 22 (2017), 1225-1266 DOI 10.4171/dm/593 | MR 3690268
[11] Glasman, S.: A spectrum-level Hodge filtration on topological hochschild homology. Selecta Mathematica 22 (2016), 1583-1612 DOI 10.1007/s00029-016-0228-z | MR 3518559
[12] Haugseng, R.: On lax transformations, adjunctions, and monads in $(\infty, 2)$-categories. Higher Structures 5 (2021) DOI 10.21136/HS.2021.07 | MR 4367222
[13] Hebestreit, F., Linskens, S., Nuiten, J.: Orthofibrations and monoidal adjunctions. Available at https://arxiv.org/abs/2011.11042
[14] Kositsyn, R.: Completeness for monads and theories. Available at https://arxiv.org/abs/2104.00367
[15] Linton, F. E. J.: Some aspects of equational categories. Proceedings of the conference on categorical algebra, pp 84-94, 1966
[16] Lurie, J.: Higher topos theory. Annals of mathematics studies, Princeton University Press, Princeton and Oxford, 2009 MR 2522659
[17] Lurie, J.: Higher algebra (version: September 2017). Online book https://www.math.ias.edu/~lurie/papers/HA.pdf, 2017
[18] Macdonald, J. L., Stone, A.: The tower and regular decomposition. Cahiers de Topologie et Géométrie Différentielle Catégoriques 23 (1982), 197-213
[19] Mazel-Gee, A.: Quillen adjunctions induce adjunctions of quasicategories. New York J. Math. 22 (2016), 57-93 MR 3484677
[20] Riehl, E., Verity, D.: Homotopy coherent adjunctions and the formal theory of monads. Advances in Mathematics 286 (2016), 802-888 DOI 10.1016/j.aim.2015.09.011 | MR 3415698
Search
Partner of
