范畴论

代数, 函数, 数学, 理论计算机科学, 范畴论

对角函子 (Diagonal Functor)

函子, 对角函子, 数学, 范畴论, 集合

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

对角态射 (Diagonal morphism)

对角态射, 态射, 数学, 积, 范畴论

学术, 数学, 科学家, 范畴论, 计算机科学

彼得·J·弗雷德 (Peter J. Freyd)

学术研究, 彼得·J·弗雷德, 数学家, 范畴论, 计算机科学

基础概念, 抽象代数, 数学, 理论计算机科学, 范畴论

范畴的乘积 (Product of Categories)

乘积, 乘积范畴, 函子, 态射, 范畴

代数, 数学, 理论, 范畴论, 计算机科学

单子范畴上的幺半单子 (Monoidal Monad)

代数结构, 单子, 幺半范畴, 范畴, 计算机理论