满子范畴

满子范畴（full subcategory）是是一种特殊的子范畴。范畴D称为C的子范畴(sub category)，如果是的子类，而且D中的态射的合成和C是一样的。例如，Poset是Set的子范畴。又如果，则称D是C的满子范畴(full subcategory)。例如，Grp是Mon的满子范畴。