A graph structure over the category of sets and partial functionsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。