Formal category theory: Adjointness for 2-categories

Related Items

Finitary birepresentations of finitary bicategories ⋮ Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces ⋮ Monadic vs adjoint decomposition ⋮ Tensor products and homotopies for $\omega$-groupoids and crossed complexes ⋮ 2-categories and 2-knots ⋮ Unnamed Item ⋮ Categorical aspects of data type constructors ⋮ Higher categories, strings, cubes and simplex equations ⋮ Sigma limits in 2-categories and flat pseudofunctors ⋮ Unnamed Item ⋮ Bilimits are bifinal objects ⋮ Stone duality for first order logic ⋮ Ideals of closed categories ⋮ A model structure à la Thomason on 2-Cat ⋮ Strong conceptual completeness for first-order logic ⋮ Local adjunctions ⋮ Restricted Lie algebras via monadic decomposition ⋮ Derived categories and universal problems ⋮ Unnamed Item ⋮ Lax naturality through enrichment ⋮ $K$-theory for 2-categories ⋮ Unnamed Item ⋮ The Gray monoidal product of double categories ⋮ The Gray tensor product via factorisation ⋮ Formal aspects of Gray's tensor products of 2-categories ⋮ Variation on a comprehensive theme ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Commutativity ⋮ Operational total space theory of principal 2-bundles I: operational geometric framework ⋮ Adjunctions and defects in Landau-Ginzburg models ⋮ Accessible aspects of 2-category theory ⋮ Closed categories, lax limits and homotopy limits ⋮ The cut operation on matrix factorisations ⋮ Centers and homotopy centers in enriched monoidal categories ⋮ Conspectus of variable categories ⋮ Modular functors in homotopy quantum field theory and tortile structures. ⋮ The tower of n-groupoids and the long cohomology sequence ⋮ Unnamed Item ⋮ Higher gauge theory and a non-abelian generalization of 2-form electrodynamics. ⋮ The formal theory of monoidal monads ⋮ Cohomology and deformation theory of monoidal 2-categories. I. ⋮ The Gray tensor product for 2-quasi-categories ⋮ Enhanced 2-categories and limits for lax morphisms ⋮ Grothendieck's extension of the fundamental theorem of Galois theory in abstract categories ⋮ Triposes, q-toposes and toposes ⋮ On the loop space of a 2-category ⋮ A new model for pro-categories ⋮ How strict is strictification? ⋮ Powersets of terms and composite monads ⋮ Iterated distributive laws ⋮ Gray tensor products and lax functors of $(\infty, 2)$-categories ⋮ Unnamed Item ⋮ Towards a proof theory of rewriting: The simply typed $2\lambda$-calculus ⋮ Unnamed Item ⋮ A general limit lifting theorem for 2-dimensional monad theory ⋮ Intercategories: a framework for three-dimensional category theory ⋮ (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The 2-dimensional stable homotopy hypothesis ⋮ Skew structures in 2-category theory and homotopy theory ⋮ Gluing pseudo functors via $n$-fold categories ⋮ Doctrines on 2-categories ⋮ Monads generated by monoids ⋮ Generalising canonical extension to the categorical setting ⋮ Limits indexed by category-valued 2-functors ⋮ $\mathbb{V}$-Cofibrationen und $\mathbb{V}$-Kan-Erweiterungen ⋮ Icons ⋮ The homotopy category of pseudofunctors and translation cohomology ⋮ On the twisted tensor product of small dg categories ⋮ Adjunctions in monoidal categories ⋮ Formal Hopf algebra theory. I: Hopf modules for pseudomonoids ⋮ Inner horns for 2-quasi-categories ⋮ 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$ ⋮ Categorified quantum $\mathfrak{sl}_2$ is an inverse limit of flag 2-categories ⋮ Soft adjunction between 2-categories ⋮ Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories) ⋮ Flexible limits for 2-categories ⋮ 3-dimensional defect TQFTs and their tricategories ⋮ Infinity‐operads and Day convolution in Goodwillie calculus ⋮ Another denormalization theorem for abelian chain complexes ⋮ Generalized centers of braided and sylleptic monoidal 2-categories ⋮ Unnamed Item ⋮ A Quillen model structure for Gray-categories ⋮ A 2-Categories Companion ⋮ An Australian Conspectus of Higher Categories ⋮ Equational logic of circular data type specification ⋮ Some properties of Fib as a fibred $2$-category ⋮ On the notion of pseudocategory internal to a category with a 2-cell structure ⋮ On conceptual completeness of syntactic-semantical systems ⋮ Coherence for bicategories and indexed categories ⋮ The folk model category structure on strict $\omega$-categories is monoidal ⋮ Higher descent data as a homotopy limit ⋮ A 2-colimit characterization of internal categories of torsors ⋮ Braided monoidal 2-categories and Manin-Schechtman higher braid groups ⋮ Fibrations and partial products in a 2-category ⋮ The Grothendieck construction for model categories ⋮ From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories ⋮ Beck's theorem for pseudo-monads ⋮ Unnamed Item ⋮ An algebraic formulation for data refinement ⋮ Categorical semantics for programming languages ⋮ A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof ⋮ Unnamed Item ⋮ Compositional term rewriting: An algebraic proof of Toyama's theorem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Strictification tensor product of 2-categories ⋮ Coherence for bicategorical cartesian closed structure ⋮ Unnamed Item ⋮ Discrete Double Fibrations ⋮ Unnamed Item ⋮ Non-semisimple extended topological quantum field theories ⋮ The virtues of eta-expansion ⋮ Unnamed Item ⋮ On effective descent $\mathcal{V}$-functors and familial descent morphisms ⋮ Distributive laws for relative monads ⋮ Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates ⋮ On lax transformations, adjunctions, and monads in $(\infty,2)$-categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Infinite-Dimensional Representations of 2-Groups ⋮ Unnamed Item ⋮ A construction of certain weak colimits and an exactness property of the 2-category of categories ⋮ Pseudo-Kan Extensions and Descent Theory ⋮ On 3-gauge transformations, 3-curvatures, and Gray-categories ⋮ Quasi-Kan extensions for 2-categories ⋮ Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Pivotal tricategories and a categorification of inner-product modules ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Lifting PIE limits with strict projections ⋮ A Quillen Theorem B for strict ∞‐categories ⋮ The formal theory of multimonoidal monads ⋮ Unnamed Item ⋮ A bicategorical interpretation for relative Cuntz-Pimsner algebras ⋮ Algebre categoriali ed equazioni flessibili (una generalizzazione dell’ algebra universale) ⋮ Rewriting in Gray categories with applications to coherence ⋮ Double affine Hecke algebras and 2-dimensional local fields