Remarks
It is important to note that, contrary to intuition, concreteness is not a property which a category may or may not satisfy, but rather a structure with which a category may or may not be equipped. In particular, a category C may admit several faithful functors into Set. Hence there may be several concrete categories (C,U) all corresponding to the same category C.
In practice, however, the choice of faithful functor is often clear and in this case we simply speak of the "concrete category C". For example, "the concrete category Set" means the pair (Set,I) where I denotes the identity functor Set → Set.
The requirement that U be faithful means that it maps different morphisms between the same objects to different functions. However, U may map different objects to the same set and, if this occurs, it will also map different morphisms to the same function.
For example, if S and T are two different topologies on the same set X, then (X,S) and (X,T) are distinct objects in the category Top of topological spaces and continuous maps, but mapped to the same set X by the forgetful functor Top → Set. Moreover, the identity morphism (X,S) → (X,S) and the identity morphism (X,T) → (X,T) are considered distinct morphisms in Top, but they have the same underlying function, namely the identity function on X.
Similarly, any set with 4 elements can be given two non-isomorphic group structures: one isomorphic to ; the other isomorphic to .
Read more about this topic: Concrete Category
Famous quotes containing the word remarks:
“An illustrious individual remarks that Mrs. [Elizabeth Cady] Stanton is the salt, Anna Dickinson the pepper, and Miss [Susan B.] Anthony the vinegar of the Female Suffrage movement. The very elements get the “white male” into a nice pickle.”
—Anonymous, U.S. women’s magazine contributor. The Revolution (August 19, 1869)
“I thought my razor was dull until I heard his speech and that reminds me of a story that’s so dirty I’m ashamed to think of it myself.”
—S.J. Perelman, U.S. screenwriter, Bert Kalmar, Harry Ruby, and Norman Z. McLeod. Groucho Marx, Horsefeathers, as a newly-appointed college president commenting on the remarks of Huxley College’s outgoing president (1932)
“So, too, if, to our surprise, we should meet one of these morons whose remarks are so conspicuous a part of the folklore of the world of the radio—remarks made without using either the tongue or the brain, spouted much like the spoutings of small whales—we should recognize him as below the level of nature but not as below the level of the imagination.”
—Wallace Stevens (1879–1955)