Given a category C, its morphism category D means a category that has
1) "morphisms of C" as its objects
2) "pairs (f,g) s.t. the diagram (square) commutes" as its morphisms.
The above definition is vague but I'm sure that most readers already know what 'Morphism category' (also called 'Arrow category') is. Here's my question.
If C = 'Category of vector spaces', does there exist the categorical (co)product of 'Morphism category'?
My guess is that the answer is negative and I've been searching for this on the internet, but couldn't figure it out. Would anyone help me with this (prove or give counterexample) or give me a reference? Since I'm a beginner in a category theory, I would be pleased if there is an elementary explanation. Thank you very much.