Concrete category

From Cattheory
Revision as of 00:44, 9 December 2008 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.