Thursday 27 October 2016, 16:30, LSV: Lecture on Categorical Semantics of Logic Programming Languages (part 1), Jim Lipton (Wesleyan University).

The first part of the course is aimed at introducing students (or refreshing their background) to the basic notions of category theory that will be required to understand the remaining concepts. This will include categories and universal properties, limits and colimits, adjunctions, indexed categories and fibrations.


next part