The category of sets and partial functions is equivalent to that of pointed sets and base point preserving morphisms, the algebras for the triple X |---> 1 + X with obvious structural maps, and, as such, is as complete and cocomplete as one could wish. Michael Barr =====================================================================