I have a question that has been plaguing me for awhile and this lecture has brought it back to my attention. It seems like once we start talking about categories, all laws or equations are presented as natural transformations like the associator and unitors.

I don't get why we present it as natural transformations.

It seems like this is something important when learning category but I haven't fully understood while building up from definitions.