English

edit

Etymology

edit

From bi- +‎ adjunction.

Noun

edit

biadjunction (plural biadjunctions)

  1. (mathematics) A biadjoint adjunction.