I just started with learning category theory and one of rule to be qualified as category is Composition according to which if there is morphism/arrow :
A->B and B->C and there should be arrow from object A to C i.e A->C must exist.
I have a very basic question: Is there any situation where above rule cannot be met in first place ? Probably some example would be helpful.