arXiv Open Access 2024

Smooth and Proper Maps

Mathieu Anel Jonathan Weinberger

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.CT cs.LO math.AG math.LO

Penulis (2)

Mathieu Anel

Jonathan Weinberger

Format Sitasi

APA MLA BibTeX

Anel, M., Weinberger, J. (2024). Smooth and Proper Maps. https://arxiv.org/abs/2402.00331

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓