The Language of Category Theory
John Derbyshire is discussing technical terms in category theory. (It might be the topic of his next book.) I have a question about the language of category theory: Why does category theory sound like a bad sci-fi movie? It sounds like a horde of monoids from the planet Functor are trying to spread the vile doctrine of morphism and turn the Earth into a terminal object.