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...

Full description

Bibliographic Details
Main Author: Gutiérrez García, Javier (author)
Other Authors: Mozo Carollo, Imanol (author), Picado, Jorge (author), Walters-Wayland, Joanne (author)
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