From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory

DOI10.1007/978-1-4020-8926-8_12zbMath1227.03080OpenAlexW105023001MaRDI QIDQ3613308

Erik Palmgren

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_12

zbMATH Keywords

fundamental groupsconstructive mathematicslocalesconstructive type theoryconstructive set theorytopoiformal topologypredicativity

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Intuitionistic mathematics (03F55) Homotopy groups (55Q99)

Related Items (2)

The Urysohn Extension Theorem for Bishop Spaces ⋮ A constructive and functorial embedding of locally compact metric spaces into locales

This page was built for publication: From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory