确定 发表于 2025-3-25 04:58:13
http://reply.papertrans.cn/23/2226/222534/222534_21.pngmolest 发表于 2025-3-25 10:30:33
http://reply.papertrans.cn/23/2226/222534/222534_22.png时间等 发表于 2025-3-25 15:11:52
http://reply.papertrans.cn/23/2226/222534/222534_23.png减少 发表于 2025-3-25 17:16:53
Concrete Categories Are Concretely Equivalent iff Their Uniquely Transportable Modifications Are StA proof of the statement in the title is given.加剧 发表于 2025-3-25 20:33:31
Dold Type Theorems in Cubical Homotopy Theory,It is shown how a generalised comparison theorem for topological spaces under a fixed space . and over a fixed space . due to the third author can be transferred to cubical homotopy theory.jocular 发表于 2025-3-26 01:31:31
A Topological Banach Space Model of Linear Logic,We will show that the category . of topological Banach balls (introduced by M. Barr - ) is a model of the full linear logic. The cotripel ! on . is constructed from the adjointness between . and the cartesian closed category of Hausdorff topological spaces and k-continuous maps.Jubilation 发表于 2025-3-26 05:51:25
Disconnectednesses: Two Examples,We define the .. property for objects in topological categories, and prove that in a topological category the full subcategory of .. objects is a disconnectedness. We then characterize the .. objects in the categories Funsp and BiTop. In addition, we investigate disconnectednesses and .-regular morphisms in these categories.遵循的规范 发表于 2025-3-26 10:15:26
http://reply.papertrans.cn/23/2226/222534/222534_28.png清洗 发表于 2025-3-26 14:21:04
http://reply.papertrans.cn/23/2226/222534/222534_29.pngextrovert 发表于 2025-3-26 19:16:51
http://reply.papertrans.cn/23/2226/222534/222534_30.png