scientific article

zbMath0672.18001MaRDI QIDQ3825226

C. Lair

Publication date: 1988

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

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

zbMATH Keywords

sketchtypesalgebraic structurecategorical semanticsscreen

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Graphs, diagram schemes, precategories (18A10) Categorical structures (18D99) Categories and theories (18C99)

Related Items

A generalization of the concept of sketch, Unnamed Item, Generalized sketches as a framework for completeness theorems. I-III, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item