3
ผู้อ่านพระนักเขียน
ให้CCCเป็นCCC Let (×)(×)(\times)เป็น bifunctor สินค้าที่อยู่ในCCCCในฐานะที่เป็นแมวคือ CCC เราสามารถแกง(×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B หมวด Functor C⇒CC⇒CC \Rightarrow Cมีโครงสร้างแบบ monoidal ปกติ หนังสือในC⇒CC⇒CC \Rightarrow Cเป็น monad ในCCCC เราพิจารณาผลิตภัณฑ์ จำกัด เป็นโครงสร้าง monoidal ในCCCC curry(×)1≅idcurry(×)1≅idcurry (\times) 1 \cong id ∀A B.curry(×)(A×B)≅(curry(×)A)∘(curry(×)B)∀A B.curry(×)(A×B)≅(curry(×)A)∘(curry(×)B)\forall A\ …