A concrete introduction to higher algebra - Childs, Lindsay (Springer, 1995)