Cofinite sieves and free restriction categories

Steve Lack (4/11/98)

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.

Other talks by the same speaker.
Back to titles of seminars.

---

Steve Lack

Last modified: Tue Oct 31 15:56:28 EST 2000