Concrete category

From Cattheory
Revision as of 00:43, 9 December 2008 by Vipul (talk | contribs) (New page: {{category with additional structure}} ==Definition== A '''concrete category''' is the data of a defining ingredient::category along with a defining ingredient::faithful functor ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.