Categorical structures enriched in a quantaloid: categories, distributors and functors

By Isar Stubbe. Theory and Applications of Categories, 2004

155 citations recorded by the source corpus.

We thoroughly treat several familiar and less familiar definitions and re- sults concerning categories, functors and distributors enriched in a base quantaloid Q.I n analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the universality of the quan- taloid Dist(Q )o fQ-enriched categories and distributors.

Subfields: Management Information Systems

View Paper: https://www.semanticscholar.org/paper/a385d7433bafd5cec8fca44972d2ff2ef405a879

Citations in the corpus

• Categorical structures enriched in a quantaloid: tensored and cotensored categories (2004, unknown): “Proof : Straightforwardly the action in (8) is functorial: the lax natural transformation corresponding to an identity functor is an idenity lax natural transformation; the lax natural transformation corresponding to the composition of functors is the composition of the lax natural transformations c”