Category Theory of Sets

Catalog description

Prerequisites: C or better in MATH 3400 (or consent of instructor for MATH 5750). Abstract sets and mappings, categories, sums, universal property, monomorphisms and parts, finite inverse limits, colimits, epimorphisms, the Axiom of Choice, mapping sets and exponentials, covariant and contravariant functoriality of function spaces, Cantor's diagonal argument, powers sets, variable sets, models of additional variation, and selected applications.