Skip to content
  • 中文版
  • 关于我们 – 知识库
  • 常见问题(FAQ)– 知识库
  • 隐私声明 – 知识库

知识库

知识库
  • Home-old
  • Services
  • About
  • Reviews
  • Why Us
  • Contact

幺半范畴

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

PROP (范畴论中的PROP)

PROP, 代数结构, 幺半范畴, 数学工具, 范畴论
代数, 幺半范畴, 数学, 理论计算机科学, 范畴论

幺半范畴的伴随 (Monoidal adjunction)

伴随, 函子, 幺半范畴, 数学, 范畴论
代数, 数学, 理论, 范畴论, 计算机科学

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

代数结构, 单子, 幺半范畴, 范畴, 计算机理论
抽象代数, 数学, 理论计算机科学, 范畴论, 逻辑

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

代数结构, 函子, 幺半范畴, 自然变换, 范畴论

Copyright © 2025 知识库