人的思维对客观事物本质的概括的反映。各门学科都有自己的一些基本范畴。如哲学中的矛盾、质和量、本质和现象，政治经济学中的商品价值、抽象劳动、具体劳动、化学中的化合、分解等。四分位数是将全部数据分成相等的四部分，其中每部分包括25%的数据，处在各分位点的数值就是四分位数。四分位数作为分位数的一种形式，在统计中有着十分重要的作用和意义。分位数是将总体的全部数据按大小顺序排列后，处于各等分位置的变量值。如果将全部数据分成相等的两部分，它就是中位数；如果分成四等分，就是四分位数；八等分就是八分位数等。四分位数也称为四分位点，它是将全部数据分成相等的四部分，其中每部分包括25％的数据，处在各分位点的数值就是四分位数。
最一般的概念，这些概念反映着客观现实现象的基本性质和规律性以及规定着一个时代的科学理论思维的特点。物质、运动、意识、质和量、原因和结果、可能性和现实、自由和必然性等，所有这些都是范畴的例子。范畴是已经经过无数次实践的证明，并已经内化、积淀为人类思维成果，是人类思维成果高级形态中具有高度概括性、结构稳定的基本概念，如:单一、特殊、普遍、形式、内容、本质、现象、原因、结果、必然性、偶然性、可能性、现实性等等，具有普遍的方法论意义。
在数学中，范畴（category），是一种包含了对象及对象之间箭头的代数结构。范畴具有两个基本性质：
一是对象之间的箭头可以复合，且复合是满足结合律的；
二是每个对象到自己有一个单位箭头。一个简单的范畴例子是由集合构成对象，集合间的映射看做箭头。一般来说，对象和箭头可以是抽象的任何类型，范畴的概念提供了一个基本而抽象的方式去研究数学中的对象及其关系的方法。在许多范畴中，例如阿贝尔群范畴或向量空间范畴，态射集合。不仅是集合，而且还是阿贝尔群，并且态射的复合与这些阿贝尔群之间的群结构兼容，即复合映射是双线性的。这种范畴称为预可加范畴。如果在此基础上这个范畴还带有所有有限积和上积，那么我们称之为可加范畴。如果更进一步地，所有态射都有核和上核，并且每个满态射都是上核而每个单态射都是核，那么我们称之为阿贝尔范畴。阿贝尔范畴的典型例子是阿贝尔群的范畴。范畴是完备的当其拥有所有极限。集合、阿贝尔群、拓扑空间的范畴都是完备的。范畴是笛卡尔闭的当其拥有所有有限直积、且有限积上的态射总是可由任一因子上的态射确定。笛卡尔闭范畴包括 和，即完全偏序和斯科特连续函数组成的范畴。拓扑斯是一种特定的笛卡尔闭范畴；所有数学内容都可以用拓扑斯的语言形式化（正如所有经典数学都可以用集合范畴的语言形式化一般）。拓扑斯也可用于表示逻辑理论。
