scientific article; zbMATH DE number 3616640

zbMath0397.18007MaRDI QIDQ4180524

C. Lair

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

UniverseRealizationCompletionCartesian Closed CategoryConesTensor ProductPrototypeEsquisseFull Reflective SubcategoryInternal HomMultiplicative Directed GraphNeocategoryStrict Sketch

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Graphs, diagram schemes, precategories (18A10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (10)

Unnamed Item ⋮ Categorical aspects of data type constructors ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Uniformly constructive monads ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional SOS and beyond: A coalgebraic view of open systems

This page was built for publication: