Cofinite sieves and free restriction categories
Steve Lack – 8 July 1998
This talk was based on joint work with Robin Cockett, concerning restriction categories or abstract categories of partial maps. This is to be published in Theoretical Computer Science, but is available electronically in preprint form.
In this talk I described a small part of this preprint. I showed that the category of restriction categories and restriction functors is monadic over the (mere) category of categories and functors, and gave an explicit description of the monad.