EXULT 发表于 2025-3-23 11:35:56

978-90-481-5226-1Springer Science+Business Media Dordrecht 1999

温和女孩 发表于 2025-3-23 14:22:53

Vitamin Adequacy of the Average Diet adjunction, from a proof-theoretical point of view. It will be shown that elementary notions, like the notions of category, functor, and natural transformation, and the more complex notion of adjunction, together with the related notion of comonad (we could as well deal with monads, also called tri

Extort 发表于 2025-3-23 18:24:21

John Marks MA, MD, FRCP, FRCPaths about the size of classes, i.e. about the distinction between sets and proper classes. Such matters are, otherwise, rather foreign to the spirit of results about categories, which are more about structure than about size. (A presumably germane point is made when, using ancient philosophical termin

Communal 发表于 2025-3-23 22:18:08

http://reply.papertrans.cn/25/2417/241653/241653_14.png

Angioplasty 发表于 2025-3-24 04:51:45

http://reply.papertrans.cn/25/2417/241653/241653_15.png

讥笑 发表于 2025-3-24 07:50:55

http://reply.papertrans.cn/25/2417/241653/241653_16.png

Oversee 发表于 2025-3-24 12:20:20

http://reply.papertrans.cn/25/2417/241653/241653_17.png

Lacunar-Stroke 发表于 2025-3-24 15:54:14

http://reply.papertrans.cn/25/2417/241653/241653_18.png

爆炸 发表于 2025-3-24 21:24:00

http://reply.papertrans.cn/25/2417/241653/241653_19.png

记成蚂蚁 发表于 2025-3-25 01:05:29

http://reply.papertrans.cn/25/2417/241653/241653_20.png
页: 1 [2] 3 4
查看完整版本: Titlebook: Cut Elimination in Categories; Kosta Došen Book 1999 Springer Science+Business Media Dordrecht 1999 Cut-elimination theorem.category theor