bicartesian category

A category is bicartesian if it is both cartesian and cocartesian, that is if both it and its opposite may be made into cartesian monoidal categories.

A bicartesian category which is also cartesian closed is a bicartesian closed category. Bicartesian closed categories are usually not cocartesian closed.

Revised on February 6, 2017 09:11:05 by Bram Geron (