The rant about the terminology 'cofunctor' is a bit unnecessary, isn't it? Sam Staton 13:24, 9 January 2007 (UTC)