Continuation here, let me know if that makes sense.

The only category laws are associativity and existence of identities. The functor law does not contain any associativity.

Hmm… it seems like we’re misunderstanding each…

Mathematician at Trinity College Dublin by day, Reverse Engineer by night, Founder at http://33hotels.com, Problem Solver, Traveler.