Vaginismus
发表于 2025-3-28 17:15:46
http://reply.papertrans.cn/23/2226/222540/222540_41.png
极大痛苦
发表于 2025-3-28 22:03:02
Kan Extensions,damental concepts in category theory. With them we find again that each fundamental concept can be expressed in terms of the others. This chapter begins by expressing adjoints as limits and ends by expressing “everything” as Kan extensions.
Hearten
发表于 2025-3-29 00:09:18
http://reply.papertrans.cn/23/2226/222540/222540_43.png
Debrief
发表于 2025-3-29 06:44:58
http://reply.papertrans.cn/23/2226/222540/222540_44.png
鸵鸟
发表于 2025-3-29 09:19:50
Monads and Algebras,is monad in .. Another principal result is a theorem due to Beck, which describes exactly those categories . with adjunctions <., ., ϕ>: . ⇀ . which can be so reconstructed from a monad . in the base category .. It then turns out that algebras in this last sense are so general as to include the compact Hausdorff spaces (§ 9).
caldron
发表于 2025-3-29 14:49:57
Monoids,spaces by this isomorphism. Closer analysis shows that more care is requisite in this identification — one must use the . isomorphism, and one must verify that the resulting identification of multiple products can be made in a “coherent” way.
effrontery
发表于 2025-3-29 18:48:44
10楼
FUSE
发表于 2025-3-29 20:17:33
10楼