Skip to main content

All Questions

Filter by
Sorted by
Tagged with
13 votes
3 answers
672 views

How algebraic can the dual of a topological category be?

(I'm going to try to use definitions from Abstract and Concrete Categories: The Joy of Cats by Adámek, Herrlich, and Strecker, since both of the adjectives in the title of my question seem to have at ...
James E Hanson's user avatar
3 votes
2 answers
417 views

Ultrafilter comonad on the category of Stone spaces

Let $\mathsf{Stone}$ denote the category of Stone spaces (compact, totally disconnected Hausdorff spaces) and continuous maps. The forgetful functor $U : \mathsf{Stone} \to \mathsf{Set}$ has a left ...
Martin Brandenburg's user avatar
15 votes
1 answer
478 views

What are the algebras for the ultrafilter monad on topological spaces?

Motivation: Let $(X,\tau)$ be a topological space. Then the set $\beta X$ of ultrafilters on $X$ admits a natural topology (cf. Example 5.14 in Adámek and Sousa - D-ultrafilters and their monads), ...
Tim Campion's user avatar
14 votes
3 answers
695 views

Is there a monad on Set whose algebras are Tychonoff spaces?

Compact Hausdorff spaces are algebras of the ultrafilter monad on Set. Is the category of Tychonoff spaces also monadic over Set?
Gerrit Begher's user avatar