Please use this identifier to cite or link to this item:
Title: Kleisli dualities and Vietoris coalgebras
Other Titles: Dualidades de Kleisli e coálgebras de Vietoris
Author: Nora, Pedro Miguel Teixeira Olhero Pessoa
Advisor: Hofmann, Dirk
Keywords: Dual equivalence
Kleisli category
Enriched category
Stably compact
Compat Hausdorff
Spectral space
Boolean space
Stone space
Partially ordered compact
Priestley space
Distributive lattice
Boolean algebra
Vietoris coalgebra
Kripke polynomial functor
Vietoris polynomial functor
Codirected limit
Defense Date: Feb-2019
Abstract: In this thesis we aim for a systematic way of extending Stone-Halmos duality theorems to categories including all compact Hausdorff spaces. To achieve this goal, we combine duality theory and quantale-enriched category theory. Our main idea is that, when passing from the two-element discrete space to a cogenerator of the category of compact Hausdorff spaces, all other involved structures should be substituted by corresponding enriched versions. Accordingly, we work with the unit interval [0, 1] and present duality theory for ordered compact spaces and (suitably defined) finitely cocomplete categories enriched in [0, 1]. In the second part, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one — intuitively, the topological analogue of a Kripke polynomial functor.
Nesta tese pretendemos estender de forma sistemática dualidades de StoneHalmos para categorias que incluem todos os espaços de Hausdorff compactos. Para atingir este objectivo combinamos teoria de dualidades e teoria de categorias enriquecidas em quantais. A nossa ideia principal é que ao passar do espaço discreto com dois elementos para um cogerador da categoria de espaços de Hausdorff compactos, todas as restantes estruturas envolvidas devem ser substituídas por versões enriquecidas correspondentes. Desta forma, consideramos o intervalo unitário [0, 1] e desenvolvemos teoria de dualidades para espaços ordenados compactos e categorias enriquecidas em [0, 1] finitamente cocompletas (apropriadamente definidas). Na segunda parte da tese estudamos limites em categorias de coalgebras cujo functor subjacente é um functor de Vietoris polinomial — intuitivamente, uma versão topológica de um functor polinomial de Kripke.
Appears in Collections:UA - Teses de doutoramento
DMat - Teses de doutoramento

Files in This Item:
File Description SizeFormat 
Documento_Pedro_Nora.pdf949.31 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.