An endofunctor preserving finite limits and finite colimits has a unique natural monomorphism . It also preserves countable coproducts. If some is not surjective, the extra element determines a countably complete nonprincipal ultrafilter on .
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.
Articles by others on the same topic
There are currently no matching articles.