A graph structure over the category of sets and partial functions
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1993)
- Volume: 34, Issue: 1, page 2-12
- ISSN: 1245-530X
Access Full Article
topHow to cite
topReferences
top- [1] M.S. Calenko.The structures of correspondence categories. Soviet Math. Dokl., 18(1977), 1498-1502. Zbl0404.18004
- [2] M.S. Calenko, V.B. Gisin, and D.A. Raikov.Ordered categories with involution. DissertationsMathematics, 227(1984). Zbl0539.18005MR759814
- [3] H. Ehrig, M. Korff, and M. Löwe.Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. Lecture Notes in Computer Science, 532(1990), 24-37. Zbl0765.68089
- [4] H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors. Graph-grammars and their application to computer science, volume 291 of Lecture Notes in Computer Science. Springer-Verlag, 1986. Zbl0636.00013MR943166
- [5] Y. Kawahara.Relations in categories with pullbacks. Mem. Fac. Sci. Kyushu University, Ser.A27(1973), 149-173. Zbl0261.18005MR390017
- [6] Y. Kawahara.Applications of relational calculus to computer mathematics. Bull. of Informatics andCybernetics, 23(1988), 67-78. Zbl0645.68086MR937100
- [7] Y. Kawahara.Pushout-complements and basic concepts of grammars in toposes. TheoreticalComputer Science, 77(1990), 267-289. Zbl0723.18004MR1083139
- [8] Y. Kawahara and Y. Mizoguchi.Categorical assertion semantics in toposes. Advances Softw. Sci. and Tech., in press.
- [9] R. Kennaway.On "On graph rewritings". TheoreticalComputer Science, 52(1987), 37-58. Zbl0636.68028MR918112
- [10] R. Kennaway.Graph rewriting in some categories of partial morphisms. Lecture Notes in Computer Science, 532(1990), 490-504. Zbl0765.68065MR1431290
- [11] M. Löwe and H. Ehrig.Algebraic approach to graph transformation based on single pushout derivations. Lecture Notes in Computer Science, 484(1990), 338-353. Zbl0768.68069MR1114594
- [12] Y. Mizoguchi and Y. Kawahara.Graph rewritings without gluing conditions. RIFIS Tech. Report CS-42, Kyushu University, 1991.
- [13] J.C. Raoult.On graph rewritings. TheoreticalComputer Science, 32(1984), 1-24. Zbl0551.68065MR761158