biadjunction

English

Etymology

From bi- +‎ adjunction.

Noun

biadjunction (plural biadjunctions)

  1. (mathematics) A biadjoint adjunction.