Pushout-complements and basic concepts of grammars in toposes

DOI10.1016/0304-3975(90)90171-DzbMATH Open0723.18004MaRDI QIDQ757576FDOQ757576

Authors: Yasuo Kawahara 

Publication date: 1990

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

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

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)

Cites Work

• Topoi. The categorial analysis of logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Title not available (Why is that?)
• Pushout-Properties: An analysis of gluing constructions for graphs
• Title not available (Why is that?)
• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Korrespondenzen in abelschen Kategorien
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• RELATIONS IN CATEGORIES WITH PULLBACKS

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
• The uniqueness condition for the double pushout transformation of algebras
• How to delete categorically -- two pushout complement constructions
• Title not available (Why is that?)
• The cokernel of pushouts category
• Relational structures and their partial morphisms in view of single pushout rewriting
• Title not available (Why is that?)
• 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)