Home

The Calgary Research Group in Logic and Category Theory brings together members of the Departments of Computer Science, Mathematics, and Philosophy who are interested in formal logic and its applications, category theory, the foundations of mathematics, and related areas.  During term, we have regular meetings, where group members and outside visitors present their work.