Introduction to restriction categories

Robin Cockett

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:

  1. Introduction to restriction categories: Definition and basic examples.
  2. The completeness theorem for restriction categories: Partial maps, idempotent splitting, completeness, presheaf representation
  3. Properties of restriction categories: Products, coproducts, joins, meets, ranges.
  4. Turing categories: Definition, representation theorems, properties.
Tarmo Uustalu
Last update 4.2.2013