Ex 3).
Objects - nodes - Ok -1.
Morphisms - {f,h,g,i} -Ok -2.
Identities - Ok -3.
Associative feature also holds -4 - verified 1,2,3,4 true, then it´s a category.
Preorder-no.. ok?