Determinar si existen o no,objeto inicial,objeto final,producto cartesiano y coproducto (binarios).Describir o dar contraejemplos.
-\( \mathcal{X} \) la categoría que tiene como objetos a los conjuntos y como flechas a las relaciones parciales (\( R\subseteq X\times Y \) es parcial sii \( (x,y),(x,y')\in R \) implica que \( y=y' \))
-\( \mathcal{Y} \) la categoría que tiene como objetos a los conjuntos y como flechas a las relaciones multivaluadas (\( R\subseteq X\times Y \) es multivaluada sii \( \forall x\in X\;\exists y\in Y \) tal que \( (x,y)\in R \))
