Etymology
Today it means: Of a monoidal category: both left-closed and right-closed. Full definition →
From bi- + closed.
Etymology from Wiktionary, CC BY-SA 4.0.