Ultrapower endofunctor of sets
ID: ultrapower-endofunctor-of-sets
For an ultrafilter on , the assignmentis 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!