CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
A convergence space is a generalisation of a topological space based on the concept of convergence of filters (or nets) as fundamental. The basic concepts of point-set topology (continuous functions, compact and Hausdorff topological spaces, etc) make sense also for convergence spaces, although not all theorems hold. The category $Conv$ of convergence spaces is a quasitopos and may be thought of as a nice category of spaces that includes Top as a full subcategory.
A convergence space is a set $S$ together with a relation $\to$ from $\mathcal{F}S$ to $S$, where $\mathcal{F}S$ is the set of filters on $S$; if $F \to x$, we say that $F$ converges to $x$ or that $x$ is a limit of $F$. This must satisfy some axioms:
It follows that $F \to x$ if and only if $F \cap F_x$ does. Given that, the convergence relation is defined precisely by specifying, for each point $x$, a filter of subfilter?s of the principal ultrafilter at $x$. (But that is sort of a tongue twister.)
A filter $F$ clusters at a point $x$ if there exists a proper filter $G$ such that $F \subseteq G$ and $G \to x$.
The definition can also be phrased in terms of nets; a net $\nu$ converges to $x$ if and only if its eventuality filter converges to $x$.
The morphisms of convergence spaces are the continuous functions; a function $f$ between convergence spaces is continuous if $F \to x$ implies that $f(F) \to f(x)$, where $f(F)$ is the filter generated by the filterbase $\{F(A) \;|\; A \in F\}$. In this way, convergence spaces form a concrete category $Conv$.
Note that the definition of ‘convergence’ varies in the literature; at the extreme end, one could define it as any relation whatsoever from $\mathcal{F}S$ (or even from the class of all nets on $S$) to $S$, but that is so little structure as to be not very useful. Here we follow the terminology of Lowen-Colebunders.
In measure theory, given a measure space $X$ and a measurable space $Y$, the space of almost-everywhere defined measurable functions from $X$ to $Y$ becomes a convergence space under convergence almost everywhere?. In general, this convergence space does not fit into any of the examples below.
A pseudotopological space is a convergence space satisfying the star property:
Assuming the ultrafilter theorem (a weak version of the axiom of choice), it's enough to require that $F$ converges to $x$ whenever every ultrafilter that refines $F$ converges to $x$ (or clusters there, since these are equivalent for ultrafilters).
A subsequential space is a pseudotopological space that may be defined using only sequences instead of arbitrary nets/filters. (More precisely, a filter converges to $x$ only if it refines (the eventuality filter of) a sequence that converges to $x$.)
A pretopological space is a convergence space that is infinitely filtered:
In particular, the intersection of all of the filters converging to $x$ (the neighbourhood filter of $x$) also converges to $x$. Note that every pretopological space is pseudotopological.
Any topological space is a convergence space, and in fact a pretopological one: we define $F \to x$ if every neighbourhood of $x$ belongs to $F$. A convergence space is topological if it comes from a topology on $S$. The full subcategory of $Conv$ consisting of the topological convergence spaces is equivalent to the category Top of topological spaces. In this way, the definitions below are all suggested by theorems about topological spaces.
Every Cauchy space is a convergence space.
The improper filter (the power set of $S$) converges to every point. On the other hand, a convergence space $S$ is Hausdorff if every proper filter converges to at most one point; then we have a partial function $\lim$ from the proper filters on $S$ to $S$. A topological space is Hausdorff in the usual sense if and only if it is Hausdorff as a convergence space.
A convergence space $S$ is compact if every proper filter clusters at some point; that is, every proper filter is contained in a convergent proper filter. Equivalently (assuming the ultrafilter theorem), $S$ is compact iff every ultrafilter converges. A topological space is compact in the usual sense if and only if it is compact as a convergence space.
The topological convergence spaces can be characterized as the pseudotopological ones in which the convergence satisfies a certain “associativity” condition. In this way one can (assuming the ultrafilter theorem) think of a topological space as a “generalized multicategory” parametrized by ultrafilters. In particular, note that a compact Hausdorff pseudotopological space is defined by a single function $\mathcal{U}S \to S$, where $\mathcal{U}S$ is the set of ultrafilters on $S$, such that the composite $S \to \mathcal{U}S \to S$ is the identity. That is, it is an algebra for the pointed endofunctor $\mathcal{U}$. The compact Hausdorff topological spaces (the compacta) are precisely the algebras for $\mathcal{U}$ considered as a monad. If we treat $\mathcal{U}$ as a monad on Rel, then the lax algebra?s are the topological spaces in their guise as relational beta-modules.
Convergence spaces form a full sub-ccc of filter spaces.
Given a convergence space, a filter $F$ star-converges to a point $x$ if every proper filter that refines $F$ clusters at $x$. (Assuming the ultrafilter theorem, $F$ star-converges to $x$ iff every ultrafilter that refines $F$ converges to $x$.) The relation of star convergence makes any convergence space into a pseudotopological space with a weaker convergence. In this way, $Ps Top$ becomes a reflective subcategory of $Conv$ over $Set$.
Note: the term ‘star convergence’ is my own, formed from ‘star property’ above, which I got from HAF. Other possibilities that I can think of: ‘ultraconvergence’, ‘universal convergence’, ‘subconvergence’. —Toby
Given a convergence space, a set $U$ is a neighbourhood of a point $x$ if $U$ belongs to every filter that converges to $x$; it follows that $U$ belongs to every filter that star-converges to $x$. The relation of being a neighbourhood makes any convergence space into a pretopological space, although the pretopological convergence is weaker in general. In this way, $Pre Top$ is a reflective subcategory of $Conv$ (and in fact of $Ps Top$) over $Set$.
Other pretopological notions: The preinterior? of a set $A$ is the set of all points $x$ such that $A$ is a neighbourhood of $x$. The preclosure? of $A$ is the set of all points $x$ such that every neighbourhood $U$ of $x$ meets (has inhabited intersection with) $A$. For more on these, see pretopological space.
Given a convergence space, a set $G$ is open if $G$ belongs to every filter that converges to any point in $G$, or equivalently if $G$ equals its preinterior. The class of open sets makes any convergence space into a topological space, although the topological convergence is weaker in general. In this way, $Top$ is a reflective subcategory of $Conv$ (and in fact of $Ps Top$ and $Pre Top$) over $Set$.
Other topological notions: A set $F$ is closed if $F$ meets every neighbourhood of every point that belongs to $F$, equivalently if $F$ equals its preclosure. The interior of $A$ is the union of all of the open sets contained in $A$; it is the largest open set contained in $A$. The closure of $A$ is the intersection of all of the closed sets that contain $A$; it is the smallest closed set that contains $A$. (For a topological convergence space, the interior and closure match the preinterior and preclosure.)