Pushout-complements and basic concepts of grammars in toposes
From MaRDI portal
Publication:757576
DOI10.1016/0304-3975(90)90171-DzbMath0723.18004MaRDI QIDQ757576
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
Topoi (18B25) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)
Related Items
Relational set theory ⋮ Towards Certifiable Implementation of Graph Transformation via Relation Categories ⋮ Relational structures and their partial morphisms in view of single pushout rewriting ⋮ How to delete categorically -- two pushout complement constructions ⋮ Categorical representation theorems of fuzzy relations ⋮ Properties of graphs preserved by relational graph rewritings ⋮ Relational graph rewritings ⋮ Categorical principles, techniques and results for high-level-replacement systems in computer science ⋮ The uniqueness condition for the double pushout transformation of algebras ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Unnamed Item ⋮ An algebraic formalization of fuzzy relations
Cites Work
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Korrespondenzen in abelschen Kategorien
- Topoi. The categorial analysis of logic
- Pushout-Properties: An analysis of gluing constructions for graphs
- RELATIONS IN CATEGORIES WITH PULLBACKS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
