圏論が初めて現れるのは "general theory of natural equivalences"(「自然同値に関する一般理論」)と題された論文である。