Towards higher categories (Springer, 2010)