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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.