範疇論最初係由 Samuel Eilenberg 同 Saunders Mac Lane 喺1942-45年期間整出嚟嘅，佢哋嗰陣係研究緊代數拓撲，想用範疇論嘅語言（例如範疇、函子、自然變換呢啲概念）嚟研究邊啲數學操作會保存數學結構。