在范畴论中,范畴此一概念代表着一堆数学实体和存在于这些实体间的关系。对范畴的研究允许其公式化抽象结构及保有结构的数学运算等概念。实际上,范畴在现代数学的每个分支之中都会出现,而且是统合这些领域的核心概念。有关范畴自身的研究被称做是范畴论。