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...
Main Author: | |
---|---|
Other Authors: | , , |
Format: | article |
Language: | eng |
Published: |
2019
|
Subjects: | |
Online Access: | http://hdl.handle.net/10316/90471 |
Country: | Portugal |
Oai: | oai:estudogeral.sib.uc.pt:10316/90471 |