Smooth and Proper Maps
Abstract
This is an expository note explaining how the geometric notions of local connectedness and properness are related to the $\Sigma$-type and $\Pi$-type constructors of dependent type theory.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2024
- DOI:
- 10.48550/arXiv.2402.00331
- arXiv:
- arXiv:2402.00331
- Bibcode:
- 2024arXiv240200331A
- Keywords:
-
- Mathematics - Category Theory;
- Computer Science - Logic in Computer Science;
- Mathematics - Algebraic Geometry;
- Mathematics - Logic;
- 18N60;
- 18N45;
- 03B38 (primary);
- 14D23;
- 18D30 (secondary)
- E-Print:
- Dedicated to Andr\'e Joyal to his 80th birthday