ormula_1；另一个则同构于formula_2。
更多的例子.1.任一个群"G"可能被视为一个有单一个物件，对每个群内的元素都有一对应的态射的「抽象」范畴，。依据条目顶端所描述的直观概念，这并不被认为是具体的。但每个忠实"G"-集合（等价地说，每个将"G"做为群置换的表示）都会决定一个忠实函子"G" → Set。当每个群都可以忠实地作用在其本身时，"G"至少有一种方法可以做为一具体范畴。2.相似地，任一偏序集合"P"可能被视为一抽象范畴，其带有一个唯一的态射"x" → "y