Indexed profunctors over 2-categories
From MaRDI portal
Publication:6426342
arXiv2302.06515MaRDI QIDQ6426342FDOQ6426342
Authors: Sori Lee 
Publication date: 13 February 2023
Abstract: We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the theorem that right adjoint functors preserve limits, and an abstract account of the phenomenon that the comparison arrow implicated in the preservation of a limit by a functor is natural in any functorial variable the functor happens to depend on. These results make an extensive use of the data and axioms of an indexed profunctor over a 2-category.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 2-categories, bicategories, double categories (18N10) Profunctors (= correspondences, distributors, modules) (18D60)
This page was built for publication: Indexed profunctors over 2-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6426342)
