ﻻ يوجد ملخص باللغة العربية
We use the basic expected properties of the Gray tensor product of $(infty,2)$-categories to study (co)lax natural transformations. Using results of Riehl-Verity and Zaganidis we identify lax transformations between adjunctions and monads with commutative squares of (monadic) right adjoints. We also identify the colax transformations whose components are equivalences (generalizing the icons of Lack) with the 2-morphisms that arise from viewing $(infty,2)$-categories as simplicial $infty$-categories. Using this characterization we identify the $infty$-category of monads on a fixed object and colax morphisms between them with the $infty$-category of associative algebras in endomorphisms.
In this short note we prove that two definitions of (co)ends in $infty$-categories, via twisted arrow $infty$-categories and via $infty$-categories of simplices, are equivalent. We also show that weighted (co)limits, which can be defined as certain (
We use Luries symmetric monoidal envelope functor to give two new descriptions of $infty$-operads: as certain symmetric monoidal $infty$-categories whose underlying symmetric monoidal $infty$-groupoids are free, and as certain symmetric monoidal $inf
Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$, we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)dashv (R,L)$ is a linearly distributive adjunction
Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $infty$-categories. One of our main results is an $infty$-categorical ge
We study lax families of adjoints from a fibrational viewpoint, obtaining a version of the mate correspondence for (op)lax natural transformations of functors from an $infty$-category to the $(infty,2)$-category of $infty$-categories. We apply this t