> Maybe you could take your existing machines and distill them into their essential features so that you can talk about them without referring to the original c

> Maybe you could take your existing machines and distill them into their essential features so that you can talk about them without referring to the original contexts at all. But then you’ll see analogies between those abstractions and try to extract their features and suddenly you’ll wake up and find that you’ve invented category theory after which you won’t be able to communicate with normal people at all except to tell them how great category theory is and how important it is that they learn category theory. Not recommended. My favorite line. I'm a huge fan of category theory.