Control.Category.Cartesian

Pre-(Co)Cartesian categories

class PreCartesian k

bimapProduct

braidProduct

associateProduct

disassociateProduct

class PreCoCartesian k

bimapSum

braidSum

associateSum

disassociateSum

(Co)Cartesian categories

class Cartesian k

class CoCartesian k