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