Skip to main content
1 of 2
fosco
  • 13.6k
  • 2
  • 28
  • 77

Does $\bf pSet$ admit products?

The question is in the title. The category $\bf pSet$ of partial functions has sets as objects and $\hom(X,Y)=\{f\colon D\to Y\mid D\subseteq X\}$. Composition of arrows is composition of relations.

(why curly brackets do not appear?)

fosco
  • 13.6k
  • 2
  • 28
  • 77