抽象代数, 数学, 理论计算机科学, 范畴论, 逻辑

幺半范畴的自然变换 (Monoidal Natural Transformation)

, , , ,