In category theory, the expression $f\circ g=h$ ($\circ$ being the binary composition "function" on the class of morphisms) suggests that the morphism $h$ is unique when it clearly needn't be. Do we not have to define an equivalence relation on the set of morphisms using the $hom$ class?
Category Theory: Is it necessary to define an equivalence relation on the class of morphisms?
-
0$f$ is a particular arrow. $g$ is a particular arrow. $f\circ g$ is another arrow. What is the problem? – 2012-11-06
2 Answers
Do you have some sort of counterexample or heuristic reasoning that leads you to believe that $h$ is not unique? Given a concrete category, the binary composition of morphisms becomes the binary composition of functions. Since a function takes one input and relates it to exactly one output, applying $g$ to the input $x$ gives the unique output $g(x)$, and the composition $f \circ g$ applied to $x$ gives $f(g(x))$, which is the unique output of $f$ applied to $g(x)$. Since this is the case for all objects $x$ in the concrete category in question, $f \circ g$ has been uniquely determined insofar as I can see.
-
0@Braindead (My last comment here) The choices I allude to here are made as you are describing a structure which you intend to prove is a category (i.e. as you are defining classes of objects, morphisms, compositions, etc.). – 2012-11-06
The common definition of a category demands that for every morphism $f$ there are uniquely determined domain a codomain objects. So, strictly speaking for every objects $A,B,C,D$ in a category if $Hom(A,B)\cap Hom(C,D)\ne \emptyset$ then $A=C$ and $B=D$.
Most definitions of (set enriched) categories will include either the explicit domain/codomain (large) functions or the pair-wise disjoint condition on the hom-sets as axioms (each can be proved from the other of course).
Side remark: Interestingly, in the definition of enriched categories these conditions do not appear explicitly.