Enrichment through variation
\textit{R. Betti}, \textit{A. Carboni}, \textit{R. Walters} and the reviewer [``Variation through enrichment, J. Pure Appl. Algebra 29, 109-127 (1983; Zbl 0571.18004)] showed that the theory of categories with homs enriched to be arrows in a base bicategory was tractable and included the theory of parametrized (variable, indexed) categories. The present paper extends the theory of locally presentable categories to this enriched setting. The case where the base category had one object (and so amounted to a monoidal category) was developed by \textit{G. M. Kelly} [``Structures defined by finite limits in the enriched context. I, Cah. Topologie Géom. Différ. 23, 3-42 (1982; Zbl 0538.18006)]. However, even in that case, the techniques of the authors are quite different. They transform the problem to one for variable categories (hence the title of the paper) then use classical Gabriel-Ulmer theory pointwise.
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Algebraic structure for bicategory enriched categories
- An algebraic formulation for data refinement
- ENRICHED CATEGORIES AND COHOMOLOGY
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 3522192 (Why is no real title available?)
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- Two-dimensional monad theory
- Variation through enrichment
- 𝐺-categories
- Algebraic structure for bicategory enriched categories
- Gabriel-Ulmer duality for categories enriched in bicategories
- Enrichment and representability for triangulated categories
- An embedding theorem for tangent categories
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- Lax naturality through enrichment
- Modified traces and the Nakayama functor
- On the tensor product of modules over skew monoidal categories
- Some parametrized categorical concepts
- Enriched accessible categories
- Contravariance through enrichment
- An enriched view on the extended finitary monad-Lawvere theory correspondence
- Models for the computational \(\lambda\)-calculus
- A unified framework for notions of algebraic theory
- Quantale-enriched multicategories via actions
- Tannaka duality for Maschkean categories
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
- Unitary braided-enriched monoidal categories
- Measuring comodules and enrichment
- Skew-enriched categories
- \(\mathscr{V}\)-graded categories and \(\mathscr{V}\)-\(\mathscr{W}\)-bigraded categories: functor categories and bifunctors over non-symmetric bases
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
This page was built for publication: Enrichment through variation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368592)
