Enriched indexed categories
read the original abstract
We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. We then describe the appropriate notion of "limit" for such enriched indexed categories, and show that they admit "free cocompletions" constructed as usual with a Yoneda embedding.
This paper has not been read by Pith yet.
Forward citations
Cited by 2 Pith papers
-
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
A dedicated global model structure for K-linear ∞-local systems is constructed via simplicial chain complexes, monoidal for base 1-types under the external tensor product.
-
Entanglement of Sections: The pushout of entangled and parameterized quantum information
The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.