Hedgehog frames and a cardinal extension of normality
The hedgehog metric topology is presented here in a pointfree form, by specifying its generators and relations. This allows us to deal with the pointfree version of continuous (metric) hedgehog-valued functions that arises from it. We prove that the countable coproduct of the metric hedgehog frame w...
Autor principal: | |
---|---|
Outros Autores: | , , |
Formato: | article |
Idioma: | eng |
Publicado em: |
2019
|
Assuntos: | |
Texto completo: | http://hdl.handle.net/10316/90471 |
País: | Portugal |
Oai: | oai:estudogeral.sib.uc.pt:10316/90471 |