Given a topology on a set $X$, let $2^X$ be the poset of subsets of $X$ ordered by inclusion. Then the *interior* operator for the topology is a comonad on $2^X$. In fact the topologies on $X$ correspond precisely to the finite-limit-preserving comonads on $2^X$.