On the essentially-algebraic theory generated by a sketch

DOI10.1017/S0004972700005591zbMath0488.18001MaRDI QIDQ3949181

G. M. Kelly

Publication date: 1982

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

sketchsmall categoriesenriched categoriesKan extensioncategory of modelsindexed limitsprojective coneslimit-cones

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Functor categories, comma categories (18A25)

Related Items (5)

Categorical aspects of data type constructors ⋮ A generalization of the concept of sketch ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Unnamed Item

This page was built for publication: On the essentially-algebraic theory generated by a sketch