Smooth and proper maps with respect to a fibration

Anel, Mathieu; Weinberger, Jonathan

doi:10.1017/S096012952400032X

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

Smooth and proper maps with respect to a fibration

MPS-Authors

/persons/resource/persons297260

Weinberger, Jonathan
Max Planck Institute for Mathematics, Max Planck Society;

External Resource

https://doi.org/10.48550/arXiv.2402.00331
(プレプリント)

https://doi.org/10.1017/S096012952400032X
(出版社版)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

2402.00331.pdf
(プレプリント), 253KB

付随資料 (公開)

There is no public supplementary material available

引用

Anel, M., & Weinberger, J. (in press). Smooth and proper maps with respect to a fibration. Mathematical Structures in Computer Science,. doi:10.1017/S096012952400032X.

引用: https://hdl.handle.net/21.11116/0000-000F-5497-8

要旨

This paper explain how the geometric notions of local contractibility and properness are related to the Σ-types and Π-types constructors of dependent type theory. We shall see how every Grothendieck fibration comes canonically with such a pair of notions—called smooth and proper maps—and how this recovers the previous examples and many more. This paper uses category theory to reveal a common structure between geometry and logic, with the hope that the parallel will be beneficial to both fields. The style is mostly expository, and the main results are proved in external references.