Split epimorphisms and split monomorphisms

There are various natural questions one can ask about monomorphisms and epimorphisms all of which lead to the same answer:

• What is the “easiest way” a morphism can be a monomorphism (resp. epimorphism)?
• What are the absolute monomorphisms (resp. epimorphisms) – that is, the ones which are preserved by every functor?
• A morphism which is both a monomorphism and an epimorphism is not necessarily an isomorphism. Can we replace either “monomorphism” or “epimorphism” by some other notion to repair this?
• If we wanted to generalize surjective functions, why didn’t we define an epimorphism to be a map which is surjective on generalized points?

The answer to all of these questions is the notion of a split monomorphism (resp. split epimorphism), which is the subject of today’s post.

Read Full Post »

Boolean rings, ultrafilters, and Stone’s representation theorem

Recently, I have begun to appreciate the use of ultrafilters to clean up proofs in certain areas of mathematics. I’d like to talk a little about how this works, but first I’d like to give a hefty amount of motivation for the definition of an ultrafilter.

Terence Tao has already written a great introduction to ultrafilters with an eye towards nonstandard analysis. I’d like to introduce them from a different perspective. Some of the topics below are also covered in these posts by Todd Trimble.

Read Full Post »