Ultrafilters across Mathematics