2014-09-15から1日間の記事一覧
目次 1. ライプニッツの公式から円周率を求める 2. Haskellでクイズ「嫉妬深い男たち」を解く(1)、(2)、(3)、(4)、(5) 3. Haskellを利用して簡単な会計システムを実現する(1)、(2)、(3)、(4)、(5) 4. 乱舞するメッセ…
1.米田の補題 圏論の重要な概念のひとつに米田の補題がある。これは次で表される。\({\mathcal C}\)を圏とした時、任意の\({\mathcal C}\)の対象\(A\)と関手\(F: {\mathcal C} \rightarrow {\bf Sets}\)に対して \({\rm Nat}({\rm Hom}(A,-),F) \cong F(A)…
1.米田の補題 圏論の重要な概念のひとつに米田の補題がある。これは次で表される。\({\mathcal C}\)を圏とした時、任意の\({\mathcal C}\)の対象\(A\)と関手\(F: {\mathcal C} \rightarrow {\bf Sets}\)に対して \({\rm Nat}({\rm Hom}(A,-),F) \cong F(A)…