デカルト閉圏(CCC)
デカルト閉圏(デカルトへいけん、Cartesian Close Category(CCC))
プログラミング言語はデカルト閉圏と言えるらしい。
単純型付きラムダ計算はデカルト閉圏らしい
型が対象
関数が射
関数合成が射の合成
id関数が恒等射
確認用
Q. デカルト閉圏とは
関連
参考
デカルト閉圏とその応用(1/3)... 概要 - YouTube
https://www.youtube.com/watch?v=en7Y0aYvza4
デカルト閉圏とその応用(2A/3)... デカルト閉圏の基礎 その1 積,極限,和,余極限の復習 - YouTube
https://www.youtube.com/watch?v=zkZIWTDkXwE
デカルト閉圏とその応用(2B/3)... デカルト閉圏の基礎 その2 冪(べき)とデカルト閉圏 - YouTube
https://www.youtube.com/watch?v=3CvHDVvOWi0
カルテジアン閉圏とは,ひとことで言うと,有限直積(finite products)と冪(exponentials)を持つ圏です.