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.