閉圏の定義

ピノキオを人間にする ：

/C/(A, B) = C(I, [A, B]) = C(A, B) は、Cが閉圏なら自明に成立する。

まー、自明なんだけど、それは閉圏の定義が自明になるように作られているからだよね。

• http://golem.ph.utexas.edu/category/2009/02/monoidal_closed_categories_and.html

にて、モノイド圏がclosedって何だろう？ って議論がされている。これは、ピノキオを人間にすることがそんなに簡単なの？ って話に通じると思う。