范畴论是数学最为根本的学科之一。粗略的说，一个范畴由对象和对象之间的映射构成。范畴论提供了一种描述不同数学分支的统一共性的基本语言。除了数学之外，范畴论在计算机科学和理论物理的一些分支中也有应用。