A graph structure over the category of sets and partial functions

Yoshihiro Mizoguchi

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1993)

  • Volume: 34, Issue: 1, page 2-12
  • ISSN: 1245-530X

How to cite

top

Mizoguchi, 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. [1] M.S. Calenko.The structures of correspondence categories. Soviet Math. Dokl., 18(1977), 1498-1502. Zbl0404.18004
  2. [2] M.S. Calenko, V.B. Gisin, and D.A. Raikov.Ordered categories with involution. DissertationsMathematics, 227(1984). Zbl0539.18005MR759814
  3. [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. [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. [5] Y. Kawahara.Relations in categories with pullbacks. Mem. Fac. Sci. Kyushu University, Ser.A27(1973), 149-173. Zbl0261.18005MR390017
  6. [6] Y. Kawahara.Applications of relational calculus to computer mathematics. Bull. of Informatics andCybernetics, 23(1988), 67-78. Zbl0645.68086MR937100
  7. [7] Y. Kawahara.Pushout-complements and basic concepts of grammars in toposes. TheoreticalComputer Science, 77(1990), 267-289. Zbl0723.18004MR1083139
  8. [8] Y. Kawahara and Y. Mizoguchi.Categorical assertion semantics in toposes. Advances Softw. Sci. and Tech., in press. 
  9. [9] R. Kennaway.On "On graph rewritings". TheoreticalComputer Science, 52(1987), 37-58. Zbl0636.68028MR918112
  10. [10] R. Kennaway.Graph rewriting in some categories of partial morphisms. Lecture Notes in Computer Science, 532(1990), 490-504. Zbl0765.68065MR1431290
  11. [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. [12] Y. Mizoguchi and Y. Kawahara.Graph rewritings without gluing conditions. RIFIS Tech. Report CS-42, Kyushu University, 1991. 
  13. [13] J.C. Raoult.On graph rewritings. TheoreticalComputer Science, 32(1984), 1-24. Zbl0551.68065MR761158

NotesEmbed ?

top

You must be logged in to post comments.