Straightening for lax transformations and adjunctions of $(\infty,2)$-categories
Category Theory
2024-04-08 v1 Algebraic Topology
Abstract
We prove an unstraightening result for lax transformations between functors from an arbitrary -category to that of -categories. We apply this to study partially (op)lax and weighted (co)limits, giving fibrational descriptions of such (co)limits for diagrams valued in -categories, to characterize adjoints in -categories of functors and (op)lax transformations, and to prove a mate correspondence between lax transformations that are componentwise right adjoints and oplax transformations that are componentwise left adjoints, for such transformations among functors between arbitrary -categories.
Keywords
Cite
@article{arxiv.2404.03971,
title = {Straightening for lax transformations and adjunctions of $(\infty,2)$-categories},
author = {Fernando Abellán and Andrea Gagna and Rune Haugseng},
journal= {arXiv preprint arXiv:2404.03971},
year = {2024}
}
Comments
70 pages