Bi-initial objects and bi-representations are not so different

MaRDI QIDQ5104242zbMATH OpenFDO

Authors Tslil Clingman, Lyne Moser

Publication date 9 September 2022

Full work available at URL https://arxiv.org/abs/2009.05545, http://cahierstgdc.com/wp-content/uploads/2022/07/Clingman-Moser-LXIII-3.pdf

zbMATH Keywords

(double) bi-initial objectsbi-adjunctionsbi-representationspseudo-commasweighted bi-limits

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Functor categories, comma categories (18A25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) 2-categories, bicategories, double categories (18N10)

Abstract: We introduce a functor $mathcalVcolonmathrm{DblCat}_{h,nps}omathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of bi-representations of a normal pseudo-functor $Fcolonmathbf{C}^{operatornameop}omathrmCat$ in terms of double bi-initial objects in the double category $mathbbEl(F)$ of elements of $F$, or equivalently as bi-initial objects of a special form in the $2$-category $mathcalVmathbbEl(F)$ of morphisms of $F$. Although not true in general, in the special case where the $2$-category $mathbfC$ has tensors by the category $mathbf2=0o1$ and $F$ preserves those tensors, we show that a bi-representation of $F$ is then precisely a bi-initial object in the $2$-category $mathbfEl(F)$ of elements of $F$. We give applications of this theory to bi-adjunctions and weighted bi-limits.

Recommendations

• scientific article; zbMATH DE number 1389226
• Bilimits are bifinal objects
• scientific article; zbMATH DE number 3857344
• Yoneda theory for double categories
• scientific article; zbMATH DE number 4063333

Cited in

(8)

• 2-limits and 2-terminal objects are too different
• Bilimits are bifinal objects
• scientific article; zbMATH DE number 3857344 (Why is no real title available?)
• scientific article; zbMATH DE number 4063333 (Why is no real title available?)
• Lax familial representability and lax generic factorizations
• A homotopy coherent nerve for \((\infty, n)\)-categories
• Yoneda lemma and representation theorem for double categories
• Thomason's colimit theorem for the double category of elements

This page was built for publication: Bi-initial objects and bi-representations are not so different

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5104242)