虚情假意 发表于 2025-4-1 05:49:03

http://reply.papertrans.cn/83/8262/826120/826120_61.png

名义上 发表于 2025-4-1 09:07:49

http://reply.papertrans.cn/83/8262/826120/826120_62.png

Gleason-score 发表于 2025-4-1 10:15:28

Point Axioms in Dedekind Categoriesotality, the axiom of subobject, the axiom of complement, and the relational axiom of choice are introduced in Dedekind categories to connect functional ideas to set-theoretical intuition. This paper summarises interrelations of these axioms.

善变 发表于 2025-4-1 18:16:31

http://reply.papertrans.cn/83/8262/826120/826120_64.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Relational and Algebraic Methods in Computer Science; 13th International C Wolfram Kahl,Timothy G. Griffin Conference proceedings 2012 Spri