| Concrete Category |
Limousines in Concrete |
Website Links For Concrete |
Information AboutConcrete Category |
|
Most categories considered in everyday life are concrete; examples are Top , the category of Topological Space s and Continuous Function s, and '''Grp''' the category of Groups and Group Homomorphism s. DEFINITION A concrete category is formally defined as follows:
The faithful functor ''F'' is typically thought of as a Forgetful Functor , which assigns to every object of ''C'' its "underlying set", and to every morphism in ''C'' the corresponding function. Thus, a concrete category ''C'' consists not just of ''C'' itself, but of the category ''C'' and a corresponding forgetful functor ''F''. In practice, the forgetful functor is usually clear, and we simply speak of the "concrete category ''C''". The requirement that ''F'' be faithful means that different morphisms between the same objects map to different functions. (However, different objects may map to the same set, and morphisms between different objects may map to the same function.) For example, in the concrete category Grp of groups, any set with 4 elements can be given two non-isomorphic group structures, (namely, or ), but to check if two group homomorphisms between groups ''G'' and ''H'' are equal, we need only check that the underlying set functions are equal. NOT ALL CATEGORIES ARE CONCRETE A category ''C'' is ''concretizable'' if there exists a faithful functor from ''C'' into Set. The category HTop , where the objects are Topological Space s and the morphisms are Homotopy Classes of continuous functions, is an example of a category that is not concretizable. While the objects are sets (with additional structure), the morphisms are not actual functions between them, but rather classes of functions. The statement that '''hTop''' is not concretizable says more than this simple observation, however; it asserts that there does not exist ''any'' faithful functor from '''hTop''' to '''Set''', no matter how we attempt to define such a functor. ALTERNATE DEFINITION Some authors use a more general definition of concrete category, where an arbitrary category ''X'', (sometimes called the ''base category'') takes the place of Set. In this case, we say that a ''concrete category over X'' consists of a category ''C'' and a faithful functor ''F'' : ''C'' → ''X''. In this case, a concrete category over Set is sometimes called a ''construct''. REFERENCES
Articles about Concrete Category
|
|||||||
|
|