Category Theory Project

Fall 2001
Lars Birkedal

Projects

Extend the correspondence of regular logic and regular categories to first-order intuitionistic logic and Heyting categories.

Complete 70 percent of all the exercises in the course notes.