The quasitopos hull of the construct of closure spaces
[EN] In the list of convenience properties for topological constructs the property of being a quasitopos is one of the most interesting ones for investigations in function spaces, differential calculus, functional analysis, homotopy theory, etc. The topological construct Cls of closure spaces and co...
| Autores: | , |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 2003 |
| País: | España |
| Recursos: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/82301 |
| Acesso em linha: | https://riunet.upv.es/handle/10251/82301 |
| Access Level: | acceso abierto |
| Palavra-chave: | Topological construct Closure space Extensional topological construct Quasitopos Cartesian closed category Cartesian closed topological hull |
| Resumo: | [EN] In the list of convenience properties for topological constructs the property of being a quasitopos is one of the most interesting ones for investigations in function spaces, differential calculus, functional analysis, homotopy theory, etc. The topological construct Cls of closure spaces and continuous maps is not a quasitopos. In this article we give an explicit description of the quasitopos topological hull of Cls using a method of F. Schwarz: we first describe the extensional topological hull of Cls and of this hull we construct the cartesian closed topological hull. |
|---|