Document Type
Article
Publication Date
6-22-2024
Abstract
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along vertical subdivisions in double categories. We call these structures π₂ indexings. We present a construction associating, to every π₂ indexing on a decorated 2-category, a length 1 double internalization.
Keywords
bicategory, double category, homotopy, indexing
Language
English
Publication Title
Applied Categorical Structures
Grant
1458
Rights
© The Author(s) 2024. This is an Open Access work distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
Recommended Citation
Orendain, J., Maldonado-Herrera, J.R. Internalizations of Decorated Bicategories via -Indexings. Appl Categor Struct 32, 16 (2024). https://doi.org/10.1007/s10485-024-09774-z
Manuscript Version
Final Publisher Version