Idioma:

Generalised powerlocales via relation lifting

VENEMA, YDE ; VICKERS, STEVE ; VOSMAER, JACOB

Mathematical structures in computer science, 2013-02, Vol.23 (1), p.142-199 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Generalised powerlocales via relation lifting
Autor: VENEMA, YDE ; VICKERS, STEVE ; VOSMAER, JACOB
Assuntos: Algebra ; Categories ; Computer science ; Construction ; Frames ; Logic ; Mathematical analysis ; Mathematical models ; Moss ; Preserves ; Transformations
É parte de: Mathematical structures in computer science, 2013-02, Vol.23 (1), p.142-199
Notas: ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
Descrição: This paper introduces an endofunctor VT on the category of frames that is parametrised by an endofunctor T on the category Set that satisfies certain constraints. This generalises Johnstone's construction of the Vietoris powerlocale in the sense that his construction is obtained by taking for T the finite covariant power set functor. Our construction of the T-powerlocale VT out of a frame is based on ideas from coalgebraic logic and makes explicit the connection between the Vietoris construction and Moss's coalgebraic cover modality. We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, we prove that the operation VT preserves some properties of frames, such as regularity, zero-dimensionality and the combination of zero-dimensionality and compactness.
Editor: Cambridge, UK: Cambridge University Press
Idioma: Inglês

Voltar para lista de resultados