范畴语义学（categorical semantics），理学-计算机科学技术-计算机科学理论-程序设计理论-类型理论，运用范畴论中的概念和性质给出计算机语言的形式语义定义。范畴的概念于20世纪40年代由波兰-美国数学家S.艾伦伯格（Samuel Eilenberg，1913～1998）和美国数学家S.麦克兰恩（Saunders MacLane，1909～2005）在关于同调代数的工作中所提出，范畴论的基本思想是将一些抽象数学结构，如群、环、域、拓扑空间等的内在共同性提炼出来并进一步加以抽象。从范畴论的角度，这些结构的元素本身并不是最重要的，重要的是对其关系的研究。每个范畴由一族对象和一族射组成，对象的性质通过对象之间的射进行描述。在20世纪70年代，以美国计算机科学家J.A.戈根（Joseph Amadee Goguen）等人为代表的ADJ学派将范畴论中的概念和方法应用于计算机科学之中，在包括形式语义、类型论、代数规约在内的诸多领域均获得了成功应用。