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?