Spaces of filters This question arose more from curiosity than from an actual problem. There are situations when you embed some space $X$ in a set of filters on $X$, which inherits properties of $X$ or has even better properties. The prominent examples are (and in fact the only ones I am aware of):
(1) $X$ is a topological space and we consider the Stone-Cech compactification $\beta X$, which can be constructed from the set of all ultrafilters on $X$. We gain the obvious advantage of compactness.
(2) $X$ is a uniform space, and the completion of $X$ can be constructed from a set of Cauchy filters on $X$.
In some examples algebraic structures can be preserved. For example when $X$ is a a SIN topological group, the completion is a complete topological group.
The question is:

What other examples with an interesting application of spaces of filters like in the above examples are there?

For a motivation consider the Stone-Cech compactification $\beta \mathbb{N}$ of the natural numbers, which has a natural structure of a (noncommutative) monoid with a multiplication, which is only left continuous. Nevertheless it can be used to show interesting results, for example about IP-sets. (https://en.wikipedia.org/wiki/IP_set)
(I hope this question is not too vague, in order to qualify as a real question.)
 A: The ultrafilters are, of course, measures on the natural numbers and can therefore be considered as elements of the dual space of $\ell^\infty$. A generalization of the semigroup construction on $\beta\mathbb{N}$ is the Arens product on the double dual of a Banach algebra. Many of the concepts that arise in the study of $\beta\mathbb{N}$ have analogues in this context.
A: Some partial answers taken from Neil Hindman, Dona Strauss, "Algebra in the Stone-Čech compactification", chapter 21 (aptly named "Other Semigroup Compactifications"). 
The most general is probably Theorem 21.31: 


*

*If $X$ is discrete, $Y$ compact, $g: \beta X \rightarrow Y$ continuous and onto, then $Y$ is isomorphic to a space of filters on $X$ (simply intersect the preimages of points in $Y$)

*In particular, every compactification of $X$ can be viewed as a space of filters.


If you're interested in algebraic aspects, there's section 21.3 of the book.
If $(X,\cdot)$ is a semigroup (not necessarily discrete, but completely regular), "nice" semigroup compactifications such as the AP and WAP compactifications, i.e., the (maximal) topological and semitopological semigroup compactifications respectively, are very interesting objects. They also have nice descriptions as filters.
A: You can view the profinite completion of a group as the space of ultrafilters on the Boolean algebra of finite unions of cosets of finite index subgroups.  A similar thing is true for semigroups.  For example, points of the free profinite monoid are ultrafilters of regular languages.
A: I would argue that, morally, any kind of topological completion can be described as a space of filters. In other words, interesting spaces of filters are equivalent to interesting completions and the question reduces to "What are other interesting examples of completions?". I don't know any good examples for the latter, though.
Consider an ultrafilter $p$ and write $A \in p$  as "$p \in A$" for a moment. Then, the ultrafilter axioms read


*

*$p\not\in \emptyset$

*$p \in A \wedge A\subseteq B \implies p \in B$ 

*$p \in A \wedge p\in B \implies p \in A\cap B$ 

*$p \in A \vee p\in A^c$


In other words, ultrafilters are just an axiomatization of the notion of "point".
Now, completing a space means adding points. But since points can be described by ultrafilters, it is no surprise that a completion can be described as a collection of ultrafilters, or a quotient thereof.
In any case, that's how I like to think about ultrafilters. Another point of view with the same effect would be the observation that in order to call a space $Y$ a completion of $X$, it should be compact, which immediately gives a surjective morphism
$$ \beta X \to Y $$
allowing us to write $Y$ as a quotient of a space of ultrafilters.
A: Let $X$ be a separating proximity space. Then the Smirnov compactification of $X$ can be defined in terms of filters. A filter $F$ on a proximity space $X$ is said to be a round filter if for each $R\in F$, there is an $S\in F$ with $S\prec R$. An end is a round filter $F$ such that if $A\prec B$, then $B\in F$ or $X\setminus A\in F$. It can be shown that the ends are precisely the maximal round filters. The Smirnov compactification of $X$ is simply the collection of all ends. See [1] for details on proximity spaces and the Smirnov compactification. In my research, I used the Smirnov compactification in finding the maximal ideal space of $L^{\infty}(\mu)$ for any measure $\mu$.
One can generate other examples of spaces of ultrafilters by looking at zero-dimensional spaces. Recall that a space is zero-dimensional if it has a basis consisting of clopen sets. The advantage of looking at zero-dimensional spaces is that the ultrafilters are generally ultrafilters on Boolean algebras. If $X$ is a zero-dimensional space, then the Banaschewski compactification of $X$ is simply the collection of all ultrafilters on the Boolean algebra of clopen sets of $X$. A space $X$ is said to be strongly zero-dimensional if whenever $Z_{1},Z_{2}\subseteq X$ are disjoint zero sets, then there is a clopen set $C$ with $Z_{1}\subseteq C,Z_{2}\subseteq C^{c}$. For example, every zero-dimensional Lindelof space is strongly zero-dimensional. One can show that a space $X$ is strongly zero-dimensional if and only if $\beta X$ is zero-dimensional. It turns out that the Banaschewski compactification of zero-dimensional space $X$ is the Stone-Cech compactification if and only if $X$ is strongly zero-dimensional. 


*

*Naimpally, S. A., and B. D. Warrack. Proximity Spaces. Cambridge [Eng] : University, 1970.

A: In my research I consider funcoids (see my book for a definition) and reloids. Reloids, simply put, are just filters on a cartesian product of two sets.
So reloids are a case of filters.
There is an injective embedding from funcoids to reloids (and thus embedding from funcoids to filters), see this online article (especially the "triangular" diagram there) for properties of this embedding. This is an answer to your general question about embedding something into a set of filters.
Also funcoids are isomorphic to the set of filters on the lattice $\Gamma$ of finite unions of cartesian products of two sets (this also provides an embedding from filters on $\Gamma$ into filters on cartesian products of two sets).
See my book and other my research for more info.
