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](http://en.wikipedia.org/wiki/Composition_of_relations).



Does $\bf pSet$ admit products?
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.


