応用圏論〈ACT -- Applied Category Theory〉で頻繁に使用されるワイヤリング図は、ケリー／マックレーン・グラフとして表現できます。ケリー／マックレーン・グラフを経由すれば、ワイヤリングの関数による表現も自然に感じるでしょう。この記事は、以下の2…

ここ何回か不動点の話を書きました。 不動点方程式／不動点不等式と不動点オペレーター (2022-09-22) タルスキーの最小プレ不動点定理（訂正） (2022-09-23) 証明のツリー構造も描いてみる (2022-09-23) タルスキーの定理の実例と応用 (2022-09-24) 解析学や…