Rotator-Cuff
发表于 2025-3-23 10:10:52
Prerequisites,, Fakultät für Informatik, Universität der Bundeswehr München, April 2014). There, full proofs may be found. In addition it is shown how everything is based on a concise axiomatic basis. However, some of the following results are new, and therefore given together with their proof.
impaction
发表于 2025-3-23 17:49:54
http://reply.papertrans.cn/83/8262/826113/826113_12.png
BILK
发表于 2025-3-23 20:50:41
http://reply.papertrans.cn/83/8262/826113/826113_13.png
Morsel
发表于 2025-3-24 01:44:56
http://reply.papertrans.cn/83/8262/826113/826113_14.png
ARK
发表于 2025-3-24 02:50:37
http://reply.papertrans.cn/83/8262/826113/826113_15.png
钢笔记下惩罚
发表于 2025-3-24 07:59:09
http://reply.papertrans.cn/83/8262/826113/826113_16.png
无能的人
发表于 2025-3-24 13:57:45
Products of Relations,In Definition ., we have introduced the direct power of a set—modelling the concept of a powerset—and shown that it is uniquely determined up to isomorphism. Even earlier, we have defined the natural projection of a set equipped with an equivalence to the set of its classes. We are now going to handle the direct product and direct sum.
王得到
发表于 2025-3-24 16:58:25
http://reply.papertrans.cn/83/8262/826113/826113_18.png
杀菌剂
发表于 2025-3-24 19:39:57
Closures and Their Aumann Contacts,Topology has been shown to be definable in several cryptomorphically equivalent ways: by a neighborhood system, by a collection of open sets (be these given as a vector along the powerset or as a partial diagonal on it), by a collection of closed sets, or by a mapping to open kernels.
glamor
发表于 2025-3-25 01:59:52
Simplicial Complexes,This section is intended to show how one might work relationally also for algebraic topology. We give a glimpse of simplicial complexes, usually subsumed under that topic.