Adventuring through Algebra with Mac Lane and Birkhoff