模范畴范畴范畴是范畴论的基本概念之一

称C是一个范畴，是指C满足下述六点：1.C有一个对象类{A，B，C，…}(不要求它是一个集合，即不要求它满足集合论的公理，只要求能判别出是不是它的对象)，常记为ObjC或简记C

2.对C的任两对象A，B，有一个确定的集合(可为空集)Hom(A，B)，其元素称为由A到B的态射，记为f∈Hom(A，B)或f：A→B

3.对给定的f∈Hom(A，B)与g∈Hom(B，C)有惟一的gf∈Hom(A，C)，称为f与g的合成

4.Hom(A，B)与Hom(C，D)有公共元是指A=C且B=D

5.态射合成满足结合律

6.对C的任意对象A，Hom(A，A)至少有一个元素εA使对σ∈Hom(A，B)恒有σεA=σ=εBσ，称εA为A的恒等态射(εB为B的恒等态射)

例如，以一切集合作对象，以集合映射作态射，则得集合范畴Set(简称集范畴)

以一切拓扑空间作对象，以连续映射作态射，则得拓扑空间范畴Top

以一切环为对象，以环同态作为态射得环范畴Ring

类似地，可得群范畴Group，阿贝尔群范畴AG，环R上的左R模范畴RM等

以自然数为对象，a|b(表示a整除b)时定义Hom(a，b)有惟一元素φab，ab时定义Hom(a，b)=(空集)，也得到一个范畴.一般地，对每个拟序集都可仿此定义范畴

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。