Philosophy | Seminar in Logic
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.