Wiki. 松幺半函子 [松幺半函子]

松幺半函子是幺半范畴之间的一种态射 $F \colon \mathcal C \to\mathcal D$, 它不一定是函子, 因为它不要求保持幺半结构, 而是要求具有某些单方向的态射, 例如 $$ F(X) \otimes F(Y) \to F(X \otimes Y) . $$ 这些态射不一定可逆.