Portability | non-portable |
---|---|

Stability | experimental |

Maintainer | sjoerd@w3future.com |

# Documentation

(Category c1, Category c2) => Category (:**: c1 c2) | The product category of category |

(HasTerminalObject c1, HasTerminalObject c2) => HasTerminalObject (:**: c1 c2) | The terminal object of the product of 2 categories is the product of their terminal objects. |

(HasInitialObject c1, HasInitialObject c2) => HasInitialObject (:**: c1 c2) | The initial object of the product of 2 categories is the product of their initial objects. |

(HasBinaryProducts c1, HasBinaryProducts c2) => HasBinaryProducts (:**: c1 c2) | The binary product of the product of 2 categories is the product of their binary products. |

(HasBinaryCoproducts c1, HasBinaryCoproducts c2) => HasBinaryCoproducts (:**: c1 c2) | The binary coproduct of the product of 2 categories is the product of their binary coproducts. |