Etymology
Today it means: An opmonoidal monad. Full definition →
From bi- + monad.
Etymology from Wiktionary, CC BY-SA 4.0.