arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2402.00331math.CTcs.LOmath.AGmath.LO
收藏

光滑且真的映射

Smooth and Proper Maps

Mathieu Anel, Jonathan Weinberger

备注：
Dedicated to André Joyal to his 80th birthday; 13 pages, 4 tables. v2 simplified Table 3 and corrected the characterization of acyclic/localic maps in the corresponding examples. v3 add more examples. v4 final version before publication, change title, update bibliography. v5 corrected Def. 2.2.1. of the published version. Updated affiliation
发表信息：
Anel M, Weinberger J. Smooth and proper maps with respect to a fibration. Mathematical Structures in Computer Science. 2024;34(9):971-984
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

AI总结：

本文通过解释性笔记，阐述局部连通性和真的几何概念与依赖类型论中Σ型、Π型构造子的关联。

摘要：

这是一篇解释性笔记，阐述局部连通性和真（properness）的几何概念如何与依赖类型论中的Σ型和Π型构造子相关联。

英文摘要：

This is an expository note explaining how the geometric notions of local connectedness and properness are related to the $Σ$-type and $Π$-type constructors of dependent type theory.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑