エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-07-11から1日間の記事一覧

代数的構造による圏論(12)

随伴(3) 随伴の三角等式による定義 随伴の定義についても本に従って見ていきます。 随伴の三角等式による定義 定義 8.1 圏 、 間の関手 、 について、自然変換 、 が存在してこれらが三角等式を満たすとき、すなわち \begin{CD} F @> 1_F >> F \\ @V Fη VV @…