## Introduction to restriction categories

Dept. of Computer Science

University of Calgary

Tuesday, 5 February 2013, 11:00-12:30

Tuesday, 12 February 2013, 11:00-12:30

Thursday, 14 February 2013, 14:00-15:30

Tuesday, 19 February 2013, 11:00-12:30

Thursday, 21 February 2013, 14:00-15:30

Cybernetica Bldg (Akadeemia tee 21), room B101

**Abstract**: Restriction categories give a simple algebraic
formulation of partiality: the aim of the talks is to introduce them
from scratch with some basic examples and work towards introducing
Turing categories.

Objective: if you bump into one subsequently in your travels you
will recognize it!

Prerequisites: you should know what a category is but nothing
further than that and some basic mathematical maturity will be
assumed.

With luck what I may cover:

- Introduction to restriction categories:
Definition and basic examples.
- The completeness theorem for restriction categories:
Partial maps, idempotent splitting, completeness, presheaf
representation
- Properties of restriction categories:
Products, coproducts, joins, meets, ranges.
- Turing categories:
Definition, representation theorems, properties.

Tarmo Uustalu

Last update 4.2.2013