Ultrafilter monad
Home
Wiki
Redirect to:
Ultrafilter on a set#Ultrafilter monad