Gourmet 发表于 2025-3-28 17:10:28

http://reply.papertrans.cn/39/3890/388930/388930_41.png

NICE 发表于 2025-3-28 20:57:08

Adjunctions and Monads an action of .(.), a set in which every formal linear combination has been given a value. Of course, a monad can be defined over every category, not just Set. The Beck criterion characterizes those categories which are categories of algebras for a monad.
页: 1 2 3 4 [5]
查看完整版本: Titlebook: ;