是否存在范畴论框架来比较渐近增长率？
MathOverflow 上有人问：序理论、拓扑学中的许多经典结论已有范畴论表述（如 suprema 作为 colimit、度量空间作为 enriched category），但涉及渐近增长率比较的结论（如素数定理 π(x)~x/ln x）似乎无法自然纳入同一框架。 粗几何（coarse geometry）和 Leinster 的 enriched category 幅度理论也未能直接解决这一问题。提问者询问是否存在专门用于表达或证明渐近比较命题的范畴论框架，以及这是否是一个已知开放方向。
评论
点赞
收藏