Control.Category.Cartesian

(Co)Cartesian categories

class Cartesian k

bimapProduct

braidProduct

associateProduct

disassociateProduct

class CoCartesian k

bimapSum

braidSum

associateSum

disassociateSum