Sketches and computation – I: basic definitions and static evaluation

DOI10.1017/S0960129500000438zbMath0810.68096OpenAlexW2114391968MaRDI QIDQ4302336

Dominique Duval, Jean-Claude Reynaud

Publication date: 14 August 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000438

zbMATH Keywords

quasi-projective sketchesstatic evaluation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Graphs, diagram schemes, precategories (18A10)

Related Items

Constructive rereading of Artin-Schreier theory, Unnamed Item, Unnamed Item, Unnamed Item, Dynamical method in algebra: Effective Nullstellensätze, Sketches and computations over fields., Detecting equivalence of modular specifications with categorical diagrams, Sketches and parametrization

Cites Work

• Unnamed Item
• Accessible Categories: The Foundations of Categorical Model Theory
• Introduction to distributive categories