Home
- Overview
- News
- Related Events
Program
- Timetable
- Courses and Workshops
- Student Session
- Evening Lectures
Registration
- Check In
- Registration Procedure
- Accommodation
- Registration Form
Local Information
- Local Team
- Lecturers
- Social Program
- Order and Enlist
- Local Guide
Sponsors
- Sponsors
- Industrial Programme

INTRODUCTION TO CATEGORY THEORY

BARR and WELLS

COURSE DESCRIPTION

An introduction to category theory: Categories, functors and natural transformations. Limits and colimits. Adjoint functors. Triples and Kleisli categories. Cartesian closed categories, toposes, and related categories. Categories with monoidal structure; *-autonomous categories.

LITERATURE

Barr & Wells, Category Theory Lecture Notes for ESSLLI (Postscript Document)
Barr & Wells, Categories for Computing Science

PREREQUISITES

Some previous work with mathematical structures defined by axioms, such as monoids, groups, or lattices, and familiarity with abstract mathematical reasoning.