bifunctor

Noun

(mathematics) A functor between bicategories

Japanese Meaning

双圏間の関手。すなわち、双圏（bicategories）の間で構造を保つ関手のことです。

To compare the two bicategories, the authors constructed a bifunctor that preserves compositions and identities up to coherent isomorphism.

二つの双圏を比較するために、著者たちは合成と単位を整合的な同型まで保持する双圏間の関手を構成した。

Sense（1）

(mathematics) A functor between bicategories

bifunctors

（ plural ）