風邪引いちゃった…熱出て脳みそ働きません。しまった。前半の命題論理と、Lindenbaum代数の導入のところはさらっと。Lindenbaum代数がブール代数となるところから、命題論理の完全性定理を導くところまでは問題なし。最後の「2.6 Lindenbaum代数の構造とコン…

英語版Wikipediaの記事 "Currying"*1 より。 In category theory, currying can be found in the universal property of an exponential object, which gives rise to the following adjunction: There is a natural isomorphism between the morphisms from…