Concrete category
Template:Category with additional structure
Definition
A concrete category is the data of a category along with a faithful functor from it to the category of sets.
A category that admits such a functor is termed a concretizable category.