pointed sets

• wedge sum of pointed sets
• Par, the category of partial functions is equivalent as a category.