A graph structure over the category of sets and partial functions - Collections

＜technical report＞
A graph structure over the category of sets and partial functions

Creator	Author PID K002201 Creator Name Mizoguchi, Yoshihiro 溝口, 佳寛 Affiliation Affiliation Name Department of Control Engineering and Science, Kyushu Institute of Technology 九州工業大学情報工学部制御システム工学科
Language	English
Publisher	Research Institute of Fundamental Information Science, Kyushu University
Publisher	九州大学理学部附属基礎情報学研究施設
Date	1992-01
Source Title	RIFIS Technical Report
Vol	53
Publication Type	Accepted Manuscript
Access Rights	open access
Related DOI	RIFIS Technical Report \|\| 53
Related DOI	http://www.i.kyushu-u.ac.jp/research/report.html
Related URI	RIFIS Technical Report \|\| 53
Related URI	http://www.i.kyushu-u.ac.jp/research/report.html
Relation	RIFIS Technical Report \|\| 53
Relation	http://www.i.kyushu-u.ac.jp/research/report.html
Abstract	In 1984, Raoult proposed a formalization of graph rewritings using pushouts in the category of graphs and partial functions. This note generalizes his method and formulates algebraic graph structure t...o introduce a more general framework for graph rewritings and to give a simple proof of existence theorem of pushouts using relational calculus.show more

File	FileType	Size	Views	Description
53.ps	tgz	60.3 KB	22
53.ps.tar	pdf	144 KB	185

Record ID	3061
Peer-Reviewed	Unrefereed
Notes	cahiers de topologie et g{'e}nom{'e}tries diff{'e}entielle cat{'e}goriques, Vol. 31-1, 2-12, 1993
Type	テクニカルレポート
Created Date	2009.04.22
Modified Date	2018.08.31