Living in a categorical world by J.A. Hagenaars