Pfn

Does there exist a comprehensive treatment of the category Pfn, objects are sets and morphisms are partial functions - specifically I`m interested to know if someone has proven the existence of colimits and other such concepts in Pfn. Thanks, Lars Birkedal (birkedal@diku.dk) =====================================================================