description
- Studies categories, functors, natural transformations, adjoints, and universal constructions. Special topics may include monads and their algebras, abelian categories, Kan extensions, or sheaves in geometry and logic. Instructor consent required for undergraduates.