From Action to Mathematics per Mac Lane