A graph structure over the category of sets and partial functions
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 34 (1993) no. 1, p. 2-12
@article{CTGDC_1993__34_1_2_0,
     author = {Mizoguchi, Yoshihiro},
     title = {A graph structure over the category of sets and partial functions},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {1},
     year = {1993},
     pages = {2-12},
     zbl = {0779.68055},
     mrnumber = {1213294},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1993__34_1_2_0}
}
Mizoguchi, Yoshihiro. A graph structure over the category of sets and partial functions. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 34 (1993) no. 1, pp. 2-12. http://www.numdam.org/item/CTGDC_1993__34_1_2_0/

[1] M.S. Calenko. The structures of correspondence categories. Soviet Math. Dokl., 18(1977), 1498-1502. | Zbl 0404.18004

[2] M.S. Calenko, V.B. Gisin, and D.A. Raikov. Ordered categories with involution. Dissertations Mathematics, 227(1984). | MR 759814 | Zbl 0539.18005

[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. | Zbl 0765.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. | MR 943166 | Zbl 0636.00013

[5] Y. Kawahara. Relations in categories with pullbacks. Mem. Fac. Sci. Kyushu University, Ser.A27(1973), 149-173. | MR 390017 | Zbl 0261.18005

[6] Y. Kawahara. Applications of relational calculus to computer mathematics. Bull. of Informatics and Cybernetics, 23(1988), 67-78. | MR 937100 | Zbl 0645.68086

[7] Y. Kawahara. Pushout-complements and basic concepts of grammars in toposes. Theoretical Computer Science, 77(1990), 267-289. | MR 1083139 | Zbl 0723.18004

[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". Theoretical Computer Science, 52(1987), 37-58. | MR 918112 | Zbl 0636.68028

[10] R. Kennaway. Graph rewriting in some categories of partial morphisms. Lecture Notes in Computer Science, 532(1990), 490-504. | MR 1431290 | Zbl 0765.68065

[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. | MR 1114594 | Zbl 0768.68069

[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. Theoretical Computer Science, 32(1984), 1-24. | MR 761158 | Zbl 0551.68065