2007年9月19日 星期三

Category Theory

原來 Benjamin C. Pierce. 除了寫 "Types and Programming Language" , 還有一本專門探討 Cateogry Theory 的 "Basic category theory for computer scientists",這本還是到成大找才有的。
Category theory is a powerful formalism for studying and comparing different algebraic structures.
Abstract Algebra ... 喔,前幾天看到我弟的書,正是 Abstract Algebra ...

書真的越來越難取得了啊。總不能都去天攏買,不然一定會破產。 ( 那個價格真是讓人不敢恭維 )