カロウビ展開圏（Karoubi envelope）の話はチマチマとしていくつもり。カロウビ展開圏の実例は自分で作ってください -- と言いたいところですが、いくつかの実例を提示しておきます。集合の圏Setや順序集合の圏Ordのカロウビ展開圏は、計算（コンピュータや…

「型推論」とか「静的型付け」とかいうと若干違うな、という気がするので「静的型検査」という言葉を使うことにします。とはいえ、なりゆきで型推論、静的型付けと言うこともあるでしょうが。Catyスクリプトの構文と意味は「Catyのインタプリタ＝評価関数の…