定義 エンド 関手 に対し、ある定数 から への 普遍的な対角自然変換をエンドという。 ここで、 から へのくさび（）があった場合、 一意的に が存在して、 を満たす。 自体もエンドとよばれ、 と書かれる。 例 に対し、 が定義される。 ここで、 に対し、 …