范畴论

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

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

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

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

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

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

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

本质满射函子 (Essentially Surjective Functor)

函子, 同构, 数学, 本质满射, 范畴

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

函子 (Profunctor)

关系, 函子, 抽象, 数学, 范畴论

代数, 几何, 拓扑, 数学, 范畴论

过滤范畴 (Filtered Category)

函子, 数学结构, 直接极限, 范畴, 过滤范畴