Concrete category: Difference between revisions
(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 ...) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{category | {{category plus additional structure}} | ||
==Definition== | ==Definition== | ||
Latest revision as of 00:44, 9 December 2008
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.