
10 Aug
2007
10 Aug
'07
9:17 p.m.
Don't be too impressed, I think I was way off base. Looks like just a homomorphism: http://en.wikipedia.org/wiki/Homomorphism Chad
I wonder, is listify a contravariant functor?
I wonder - will I ever reach the stage where I too make off-hand remarks like this? :-}
Now I know how all the "normal" people feel when I tell them that a relation is simply a subset of the extended Cartesian product of the respective domains of its attributes...