Finite limits and anti-unification in substitution categories
From MaRDI portal
Publication:2185886
DOI10.1007/978-3-030-23220-7_5zbMath1444.68084OpenAlexW2954251248MaRDI QIDQ2185886
Publication date: 8 June 2020
Full work available at URL: https://hal.inria.fr/hal-02364568/file/486157_1_En_5_Chapter.pdf
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Properties of substitutions and unifications
- Fundamentals of algebraic graph transformation
- Categories of Coalgebras with Monadic Homomorphisms
- Foundations of Software Science and Computation Structures
- Adhesive and quasiadhesive categories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: Finite limits and anti-unification in substitution categories