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
topMizoguchi, Yoshihiro. "A graph structure over the category of sets and partial functions." Cahiers de Topologie et Géométrie Différentielle Catégoriques 34.1 (1993): 2-12. <http://eudml.org/doc/91513>.
@article{Mizoguchi1993,
author = {Mizoguchi, Yoshihiro},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {categorical approach; graph grammars; graph rewritings},
language = {eng},
number = {1},
pages = {2-12},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {A graph structure over the category of sets and partial functions},
url = {http://eudml.org/doc/91513},
volume = {34},
year = {1993},
}
TY - JOUR
AU - Mizoguchi, Yoshihiro
TI - A graph structure over the category of sets and partial functions
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1993
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 34
IS - 1
SP - 2
EP - 12
LA - eng
KW - categorical approach; graph grammars; graph rewritings
UR - http://eudml.org/doc/91513
ER -
References
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
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.