Eugenia Cheng

Part III, Category Theory


"Category Theory is a happy world."

"We're all going to do some really exciting things with ends and coends this morning."

"Well, everybody was a bit worried until it was pointed out that there was a category of adjunctions and Eilenberg and Moore had found the terminal object and Kleiski had found the initial object. Then everybody was happy again!" 1