MATH 4135
Introduction to Category Theory
Categories, functors, natural transformations and adjointness are introduced with emphasis on examples drawn from undergraduate Mathematics and theoretical Computer Science. The calculus of diagram chasing, limits, colimits and Kan extensions is explored in detail. PREREQUISITES: MATH 3031.03 and MATH 3501.03 or permission of the instructor. CROSSLISTED: MATH 5135.03 FORMATS: Lecture
Sources
- Course catalogue ↗2026-2027