Ultrapower endofunctor of sets

ID: ultrapower-endofunctor-of-sets

For an ultrafilter on , the assignment
is an endofunctor of sets. It preserves finite limits. If is countably complete, every map lands in one summand on a -large set, so also preserves countable coproducts.

New to topics? Read the docs here!