Euclidean interval objects in categories with finite products
Martin Escardo Alex Simpson
作者信息
引用本文复制引用
Martin Escardo,Alex Simpson.Euclidean interval objects in categories with finite products[EB/OL].(2025-04-30)[2025-12-14].https://arxiv.org/abs/2504.21551.
|国家预印本平台
评论