⊗ 应用于态射的意义

问题描述

我想我理解 ⊗ 应用于对象（例如 M ⊗ M）时的含义，但是应用于态射（例如 η⊗1）时它意味着什么。只是组合吗？

解决方法

假设问题是关于 monoidal categories（对于 https://math.stackexchange.com/ 是更合适的站点），⊗ : C x C -> C 是一个函子，因此对对象和态射有作用。给定对象 X、X'、Y、Y' 中的 C 和态射 x : X -> X' 和 y : Y -> Y'、x ⊗ y : X ⊗ Y -> X' ⊗ Y'是 C 中的态射。