Publication:4883841
From MaRDI portal
zbMath0857.18007MaRDI QIDQ4883841
Publication date: 29 August 1996
Full work available at URL: https://eudml.org/doc/193049
2-categories; essentially algebraic theory; rewrite systems; syntax; monad; Kleisli category; laxification; amphi-algebras; locally cartesian categories; sesqui-algebras; sufficient connected completeness
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
18C10: Theories (e.g., algebraic theories), structure, and semantics
18A10: Graphs, diagram schemes, precategories
Related Items
Cites Work