Publication:3724520

zbMath0594.18006MaRDI QIDQ3724520

C. Lair, Laurent Coppey

Publication date: 1985

Full work available at URL: https://eudml.org/doc/193003

zbMATH Keywords

locally presentable category; semantics; algebraicity; syntax; adjunction; Kan extension; monadicity; algebraic functor; category of algebras; Peano category; sketchability

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

18C10: Theories (e.g., algebraic theories), structure, and semantics

18A10: Graphs, diagram schemes, precategories

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

Related Items

Unnamed Item, A generalization of the concept of sketch, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item