范畴是范畴论的基本概念之一。离散范畴(discrete category)是一种特殊的范畴。即只有恒等态射的范畴。在某种意义上来说，范畴论提炼了数学(甚至其他学科)各分支的共性，是比集合论更高一个层次的数学公共语言与工具。它使数学各个领域的研究通过箭头图做了一致化与简单化的处理，更加显示其本质上的东西，同时使许多数学系统的性质通过图的泛性质得到了深刻的刻画。