搜索结果: 1-1 共查到“范畴论 monads and actions”相关记录1条 . 查询时间(0.069 秒)
We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that classifies bimorphisms. The category of action...