Finite limits and anti-unification in substitution categories

DOI10.1007/978-3-030-23220-7_5zbMath1444.68084OpenAlexW2954251248MaRDI QIDQ2185886

Wolfram Kahl

Publication date: 8 June 2020

Full work available at URL: https://hal.inria.fr/hal-02364568/file/486157_1_En_5_Chapter.pdf

Mathematics Subject Classification ID

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