![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
"CPT is Yoneda Embedding"
Jul. 24th, 2011 08:49 amsource
"In Java, a (cartesian closed) category C is an interface C with a bunch of internal interfaces and methods mapping between them. A functor F:C→Set is written
Then each internal interface C.A gets instantiated as a set F.A of values and each method C.f() becomes instantiated as a function F.f() between the sets."
"In Java, a (cartesian closed) category C is an interface C with a bunch of internal interfaces and methods mapping between them. A functor F:C→Set is written
class F implements C.
Then each internal interface C.A gets instantiated as a set F.A of values and each method C.f() becomes instantiated as a function F.f() between the sets."
