Question

The question is in the title. The category $\bf pSet$ of partial functions has sets as objects and $\hom(X,Y)$ is the set of all triples $(X,Y,f)$ such that there exists $D\subseteq X$ and $f\colon D\to Y$. Composition of arrows is composition of relations.

Answer 1

If I'm reading your definition correctly, this category looks equivalent to the category ${\bf Set_*}$ of pointed sets and basepoint-preserving functions (the equivalence is by removing the basepoint from each pointed set: you're left with an ordinary set and possibly partial functions). So you should be able to take the ordinary product in ${\bf Set_*}$ and then pass it through the equivalence: the product of $X$ and $Y$ in ${\bf pSet}$ should be the disjoint union of the cartesian products $X\times Y$, $X\times\{*\}$, and $Y\times\{*\}$. The partial projection to $X$ is given by projection from $X\times Y$ and $X\times\{*\}$ and undefined on $Y\times{*}$, and the partial projection to $Y$ is similar.

And indeed, this works: if $C$ has partial functions $f$ and $g$ to $X$ and $Y$ respectively, then we get a partial function to $(X\times Y)\sqcup (X\times\{*\})\sqcup (Y\times\{*\})$ given by $c\mapsto (f(c),g(c))$ if both exist, $(f(c),*)$ or $(*,g(c))$ if only one does, and undefined if neither exists.