类别，范畴

(1)在某些操作系统(如IBM的DPCX)中，由集中成组的位映像建立的磁盘存储器用户定义分区。(2)相关文件的逻辑分组。(3)在COBOL语言中，类别是描述数据项的一种方法。任一数据项属于一种类别，也仅属于这一种类别。数据项的类别是通过字形字句来指明的。类别一共有5种：数值的；数值编辑的；字母的；字母数值的；字母数值编辑的。(4)满足下列公理的一组对象｛A<X>i</X>｝以及他们之间的映射｛f<X>i</X>｝称为一个范畴。①两个映射的组合仍是映射；②映射的组合满足结合律；③对于任一对象A，有恒等映射I<X>A</X>，使得I<X>A</X>(A)=A，且对于任何其他映射f有：<N><Z><I>I</I><X><I>A</I></X><I>f</I>=<I>fI</I><X><I>A</I></X>=<I>f</I><X>0</X><N><t><t>这种映射一般称为同型(morphism)，如果映射是可逆的，亦称同构(isomorphism)。