2025/10/11 by García, Javier Gutiérrez, Höhle, Ulrich
#Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2510.10162
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories and whose morphisms are left adjoint distributors admits an (epi, extremal mono)--factorization system. Furthermore, we prove that the category of cocomplete quantaloid-enriched categories satisfies the weak subobject classifier axiom, under stability conditions on the underlying quantaloid. As an application, we discuss how these structural results extend to quantale-valued sets, thereby generalizing the classical theory of Ω-valued sets.