Skip to main content
Post Made Community Wiki by Stefan Kohl
Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

Here's one I learned from Todd Trimble. Giving a set $X$ the structure of a compact Hausdorff space is the same as equipping $X$ with $J$-ary operations $X^J \to X$ for every set $J$, one for each ultrafilter $P$ on $J$, corresponding to the $P$-limit of a $J$-tuple of elements of $X$, with the appropriate compatibility relations.