wedge sum of pointed sets

Tags: pointed sets; Par, the category of partial functions.