命題 に対し それぞれがエンド [tex:]、[tex:] を持つとし、また、 自然変換 があったとする。 すると、に一意的な射 が存在して下図が可換になる。 定理 が 各対象 についてエンド を持つとする。 このとき、 を対象関数とる関手 が存在して、 は において…