The superextension monad and its algebras (Q1100547)

Let X be a compact space. By a subbase (or prebase) of X, the author means a set of closed subsets of X which (in analogy with open sets) generate the closed sets of X. A set of closed subsets of X is said to be a linked (or clustered) system if any two members of that set have a non- empty intersection. The superextension \(\lambda\) (X) of X is a compact space consisting of all maximal linked systems of X and equipped with the so-called Wallman topology; every continuous mapping f from a compact space X to a compact space Y can be extended to a continuous mapping \(\lambda\) (f) from \(\lambda\) (X) to \(\lambda\) (Y). The construction of superextensions gives rise to a monad (\(\lambda\),\(\eta\),\(\mu)\) (in the sense of Eilenberg-Moore) in the category of continuous mappings between compact spaces. The author shows that the algebras for that monad are precisely the compact spaces each endowed with a fixed binary, almost normal, separated subbase.