Generating the algebraic theory of C(X): the case of partially ordered compact spaces

Authors Renato Neves, Pedro Nora, Dirk Hofmann

Publication date 7 June 2018

Full work available at URL https://arxiv.org/abs/1706.05292, http://www.tac.mta.ca/tac/volumes/33/12/33-12abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

duality coalgebra quasivariety Vietoris functor ordered compact space metrisable copresentable object

Topological spaces and generalizations (closure spaces, etc.) (54A05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by

a l e p h_{1}

. In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is a

a l e p h_{1}

-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms. We also characterise the

a l e p h_{1}

-copresentable partially ordered compact spaces.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563236)