Can anyone think of an "almost-category" that satisfies everything but the right identity law?
(for any \\(f : c \to d \\), the equation \\(id_c ; f = f \\) holds but \\(f ; id_d = f \\) doesn't)

How about an "almost-category" satisfying everything but the left identity law?