虚情假意 发表于 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.pngGleason-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