Internalizations of decorated bicategories via \(\pi_2\)-indexings (Q6580474)

The problem of understanding internalization of decorated bicategories has been considered in the series of papers [\textit{J. Orendain}, Theory Appl. Categ. 34, 80--108 (2019; Zbl 1442.18021); Theory Appl. Categ. 34, 1343--1385 (2019; Zbl 1435.18020); Cah. Topol. Géom. Différ. Catég. 62, No. 3, 243--302 (2021; Zbl 1477.18048)], where the 2-category of double categories is fibered over a coreflective subcategory minimizing the internalization problem, which allows the definition of a numerical invariant, called the vertical length \(l\mathcal{C}\), associated to every double category \(\mathcal{C}\). This paper considers the problem of deciding whether a decorated bicategory \(\left( B^{\ast},B\right) \)\ admits internalizations of length 1. The principal result in this paper goes as follows.\N\NTheorem. Let \(\left( B^{\ast},B\right) \)\ be a decorated 2-category. For every \(\pi_{2}\)-indexing, or \(\pi_{2}\)-opindexing \(\Phi\)\ on \(\left( B^{\ast },B\right) \), there exists an internalization \(B^{\ast}\rtimes_{\Phi}B\)\ of \(\left( B^{\ast},B\right) \)\ such that \(B^{\ast}\rtimes_{\Phi}B\)\ is of length 1.