Mac lane categories for the working mathematician pdf