Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.00331 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913688783421440 |
|---|---|
| author | Anel, Mathieu Weinberger, Jonathan |
| author_facet | Anel, Mathieu Weinberger, Jonathan |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_00331 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Smooth and Proper Maps Anel, Mathieu Weinberger, Jonathan Category Theory Logic in Computer Science Algebraic Geometry Logic 18N60, 18N45, 03B38 (primary), 14D23, 18D30 (secondary) F.4.1 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. |
| title | Smooth and Proper Maps |
| topic | Category Theory Logic in Computer Science Algebraic Geometry Logic 18N60, 18N45, 03B38 (primary), 14D23, 18D30 (secondary) F.4.1 |
| url | https://arxiv.org/abs/2402.00331 |