define the cocartesian and distributive categories
define the cocartesian and distributive categories

Ignore-this: 11e9d8a88bef42bcb800b31d85d28d16

darcs-hash:20131226001612-f399b-850c4dad9acc8de9c09e61dc4d68e416a229b053

robdockins/domains