Suppose we have a commutative diagram which commutes, but there is no predefined category, for example, if we don't define the identity morphisms.
Can we say so? The only reason that I can think that this cannot be done is that maybe the notion of a commutative diagram only makes sense when talking about a category. Am I right?