# Restriction categories and the semantics of partiality

Relatore
Prof. Robin Cockett - Department of Computer Science, University of Calgary

Data e ora
giovedì 4 dicembre 2008 alle ore 16.30 - Caffe' e pasticcini alle 16.15

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Gianluigi Bellin

Referente esterno

Data pubblicazione
28 novembre 2008

Dipartimento

## Riassunto

Partial functions are absolutely fundamental in mathematics.  They arises,
for example, in elementary calculus.  In fact, Karl Menger in his freshman
calculus text (Menger 1955) already saw the need for a rigorous abstract
theory of partiality.  He and his students Bert Schweitzer and Abe Sklar
subsequently developed an axiomatic theory for semigroups of partial
functions (Menger 1959, Schweitzer and Sklar 1961,1967).  Over the next
fifty years this axiomatization was reinvented several more times both
within semigroup theory and elsewhere.

Motivated by the work of Robert Di Paola and Alex Heller
(Di Paolo and Heller 1987) , Pino Rosolini and Edmund Robinson (Rosolini
and Robinson 1988), and Aurelio Carboni (Carboni 1987), and completely
unaware of the volume of work mentioned above Steve Lack and I provided
(Cockett and Lack  2002) a categorical axiomatization of partiality which
was almost identical to the above.  In fact, even the name we chose,
{\em restriction\/} categories, had precedents in that literature.
However, approaching the subject with categorical tools in hand allowed a
much more perspicuous development of the subject than was hitherto
possible.

In this talk I wish to introduce the basic theory of restriction
categories. In particular, I will outline the completeness and
representation theorems for these categories and discuss some (unlikely)
examples. I will argue that restriction categories provide the cleanest
basis, so far, for studying partiality. I will end by discussing some more
recent developments. In particular, I would like to introduce Turing
categories and the revamping of the theory of computability, which
Pieter Hofstra and I are undertaking ... and why it is necessary.
Inizio pagina