http://arxiv.org/pdf/0904.3848.pdf の3ページ目にconsolidationの定義が書いてある。 A consolidation for C is a function p: Co×Co → C, p(e, f) = pe,f, where pe,f is an arrow from f to e and pe,e = e.

昨日の 型クラスの比較 - 檜山正幸のキマイラ飼育記 メモ編 への補足説明。既存のものに後からゴチャゴチャ文句を言うのは簡単だ。だから文句言う。コアージョン（coercion - 檜山正幸のキマイラ飼育記 メモ編）は必要悪という意味で必須だから、使うのはい…

公理をひとつも持たないセオリーをダムセオリーと呼ぼう。日本語ではアホ理論。