P751 | 3303 | McCarty

An introduction, at an advanced level, to the fundamental concepts and results of category theory. Concepts will be illustrated with examples from algebra and topology, in addition to logic and computer science. Categories of domains, in the sense of Scott, with the attendant notions of computation and types, will provide especially important examples. So will categories that are topoi, that is, categorical models of higher-order intuitionistic theories. Student grades will be based on performance on weekly, takehome assignments, in-class presentations and two takehome examinations. Students are advised to have completed a thorough introduction to mathematical logic at the graduate level before attempting the course. This course meets with Math M781.