Gabriel-Ulmer duality for categories enriched in bicategories

DOI10.1016/S0022-4049(97)00167-9MaRDI QIDQ1295729zbMATH OpenOpenAlexFDO

Authors V. Pereyra, Robert Gordon, John Power

Publication date 19 August 1999

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(97)00167-9

zbMATH Keywords

bicategoryfinite presentabilitygeneralized Gabriel-Ulmer dualitylocally presentable categorystrong generatorsweighted limits

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Review text

The authors continue their study of locally-presentable bicategory-enriched categories as begun in ``Enrichment through variation [\textit{R. Gordon} and \textit{A. J. Power}, J. Pure Appl. Algebra 120, No. 2, 167-185 (1997; Zbl 0881.18006)] to obtain the full generalized Gabriel-Ulmer duality as a biequivalence between 2-categories of models and theories. This involves dealing with weighted limits, strong generators, finite presentability, and other categorical concepts at the bicategory-enriched level.

Recommendations

• Enriched categories as a free cocompletion
• Accessibility and presentability in 2-categories
• Homotopy locally presentable enriched categories
• Enriched accessible categories

Cites work

• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Algebraic structure for bicategory enriched categories
• An algebraic formulation for data refinement
• Categories for the working mathematician.
• Data refinement and algebraic structure
• ENRICHED CATEGORIES AND COHOMOLOGY
• Enrichment through variation
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 4165146 (Why is no real title available?)
• Lax naturality through enrichment
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Yoneda structures on 2-categories

Cited in

(11)

• Algebraic structure for bicategory enriched categories
• A representation result for free cocompletions
• Lax naturality through enrichment
• On filtered weighted colimits of presheaves
• Enriched locally generated categories
• Locally bounded enriched categories
• The formal theory of relative monads
• Relative monadicity
• \(\mathscr{V}\)-graded categories and \(\mathscr{V}\)-\(\mathscr{W}\)-bigraded categories: functor categories and bifunctors over non-symmetric bases
• Gabriel-Ulmer duality for topoi and its relation with site presentations
• Enriched categories as a free cocompletion

This page was built for publication: Gabriel-Ulmer duality for categories enriched in bicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295729)