Control.Category.Cartesian
class Cartesian k
bimapProduct
braidProduct
associateProduct
disassociateProduct
class CoCartesian k
bimapSum
braidSum
associateSum
disassociateSum