【無限小】柄谷行人を解体する80【偏微分∂】

このような最初に存在していた環の演算構造の一部が失われたもの、それが関手U : Ring → Ab で表現されていることである。これと逆方向の関手F: Ab → Ring であれば、演算の一部が失われたアーベル群(Ab)の圏から、その群の要素を生成元として使った環(Ring)の圏への持ち上げとなるので、Uは左随伴関手となる。