Pushout-complements and basic concepts of grammars in toposes

DOI10.1016/0304-3975(90)90171-DMaRDI QIDQ757576zbMATH OpenFDO

Authors Yasuo Kawahara

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

embeddingbinary relationspushoutsChurch- Rosser theoremgrammars in a topostopos of directed graphs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Topoi (18B25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)

Recommendations

• How to delete categorically -- two pushout complement constructions
• On pushouts of partial maps
• The cokernel of pushouts category
• scientific article; zbMATH DE number 1504832
• scientific article; zbMATH DE number 177428

Cites work

• scientific article; zbMATH DE number 3857346 (Why is no real title available?)
• scientific article; zbMATH DE number 3827197 (Why is no real title available?)
• scientific article; zbMATH DE number 3827230 (Why is no real title available?)
• scientific article; zbMATH DE number 3906432 (Why is no real title available?)
• scientific article; zbMATH DE number 3951989 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3777712 (Why is no real title available?)
• scientific article; zbMATH DE number 3550175 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 3589735 (Why is no real title available?)
• scientific article; zbMATH DE number 3591400 (Why is no real title available?)
• scientific article; zbMATH DE number 3627396 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 3633738 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Korrespondenzen in abelschen Kategorien
• Pushout-Properties: An analysis of gluing constructions for graphs
• RELATIONS IN CATEGORIES WITH PULLBACKS
• 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
• Topoi. The categorial analysis of logic

Cited in

(14)

• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Relational set theory
• Collagories: relation-algebraic reasoning for gluing constructions
• Properties of graphs preserved by relational graph rewritings
• Towards certifiable implementation of graph transformation via relation categories
• Categorical representation theorems of fuzzy relations
• An algebraic formalization of fuzzy relations
• How to delete categorically -- two pushout complement constructions
• The uniqueness condition for the double pushout transformation of algebras
• scientific article; zbMATH DE number 3845076 (Why is no real title available?)
• The cokernel of pushouts category
• Relational structures and their partial morphisms in view of single pushout rewriting
• scientific article; zbMATH DE number 165003 (Why is no real title available?)
• Relational graph rewritings

This page was built for publication: Pushout-complements and basic concepts of grammars in toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757576)