# Concrete category

From Cattheory

This article defines a notion of a category along with some additional structure.

View other such notions

## 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.