Symmetric power functors in the category of fuzzy compact spaces
[EN] In this paper, we establish that inverse limits of fuzzy compact spaces remain fuzzy compact, using a direct proof based solely on Lowen's definitions. This result enables a categorical treatment of compactness analogous to the Tychonoff theorem in the classical setting. Moreover, we p...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2026 |
| País: | España |
| Institución: | 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:dnet:riunet______::a8c9253bf686063bede72785ec92deab |
| Acceso en línea: | https://riunet.upv.es/handle/10251/236020 |
| Access Level: | acceso abierto |
| Palabra clave: | Fuzzy compact spaces Fuzzy continuous mapping Inverse limits Normal functor Symmetric power |
| Sumario: | [EN] In this paper, we establish that inverse limits of fuzzy compact spaces remain fuzzy compact, using a direct proof based solely on Lowen's definitions. This result enables a categorical treatment of compactness analogous to the Tychonoff theorem in the classical setting. Moreover, we prove that the symmetric power functor is normal in the sense adapted to the category of fuzzy compact spaces. It preserves inverse limits of surjective systems, weight, intersections and preimages. It respects embeddings and surjections and it behaves correctly on the empty and one-point spaces. Indeed, we show by these results that the fuzzy symmetric power construction faithfully generalizes its classical counterpart while preserving the essential structural and categorical properties of compactness. |
|---|