PS

2014-10-22から1日間の記事一覧

Relation lifting

Functorが絡んだときのparametricityの求め方。 以下、 において・・・ Image Relation Graph Relation lifting Endofunctor: に対応する、relation間のmapping*1を と定義する。 命題 特に、関数: に対応するrelation: について、 証明 *2 参考文献 Theorems f…