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 (but not usually cocartesian closed) is a bicartesian closed category.

Revised on July 9, 2010 04:19:57 by Mike Shulman (