Concrete category

Last updated August 16, 2020

In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets (or sometimes to another category, see Relative concreteness below). This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as structure-preserving functions. Many important categories have obvious interpretations as concrete categories, for example the category of topological spaces and the category of groups, and trivially also the category of sets itself. On the other hand, the homotopy category of topological spaces is not concretizable, i.e. it does not admit a faithful functor to the category of sets.

A concrete category, when defined without reference to the notion of a category, consists of a class of objects, each equipped with an underlying set; and for any two objects A and B a set of functions, called morphisms, from the underlying set of A to the underlying set of B. Furthermore, for every object A, the identity function on the underlying set of A must be a morphism from A to A, and the composition of a morphism from A to B followed by a morphism from B to C must be a morphism from A to C.^[1]

Definition

A concrete category is a pair (C,U) such that

C is a category, and
U : C → Set (the category of sets and functions) is a faithful functor.

The functor U is to be thought of as a forgetful functor, which assigns to every object of C its "underlying set", and to every morphism in C its "underlying function".

A category C is concretizable if there exists a concrete category (C,U); i.e., if there exists a faithful functor U: C → Set. All small categories are concretizable: define U so that its object part maps each object b of C to the set of all morphisms of C whose codomain is b (i.e. all morphisms of the form f: a → b for any object a of C), and its morphism part maps each morphism g: b → c of C to the function U(g): U(b) → U(c) which maps each member f: a → b of U(b) to the composition gf: a → c, a member of U(c). (Item 6 under Further examples expresses the same U in less elementary language via presheaves.) The Counter-examples section exhibits two large categories that are not concretizable.

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 four elements can be given two non-isomorphic group structures: one isomorphic to $\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /2\mathbb {Z}$ , and the other isomorphic to $\mathbb {Z} /4\mathbb {Z}$ .

Further examples

Any group G may be regarded as an "abstract" category with one arbitrary object, $\ast$ , and one morphism for each element of the group. This would not be counted as concrete according to the intuitive notion described at the top of this article. But every faithful G-set (equivalently, every representation of G as a group of permutations) determines a faithful functor G → Set. Since every group acts faithfully on itself, G can be made into a concrete category in at least one way.
Similarly, any poset P may be regarded as an abstract category with a unique arrow x → y whenever x ≤ y. This can be made concrete by defining a functor D : P → Set which maps each object x to $D(x)=\{a\in P:a\leq x\}$ and each arrow x → y to the inclusion map $D(x)\hookrightarrow D(y)$ .
The category Rel whose objects are sets and whose morphisms are relations can be made concrete by taking U to map each set X to its power set $2^{X}$ and each relation $R\subseteq X\times Y$ to the function $\rho :2^{X}\rightarrow 2^{Y}$ defined by $\rho (A)=\{y\in Y\mid \exists \,x\in A:xRy\}$ . Noting that power sets are complete lattices under inclusion, those functions between them arising from some relation R in this way are exactly the supremum-preserving maps. Hence Rel is equivalent to a full subcategory of the category Sup of complete lattices and their sup-preserving maps. Conversely, starting from this equivalence we can recover U as the composite Rel → Sup → Set of the forgetful functor for Sup with this embedding of Rel in Sup.
The category Set^op can be embedded into Rel by representing each set as itself and each function f: X → Y as the relation from Y to X formed as the set of pairs (f(x), x) for all x ∈ X; hence Set^op is concretizable. The forgetful functor which arises in this way is the contravariant powerset functor Set^op → Set.
It follows from the previous example that the opposite of any concretizable category C is again concretizable, since if U is a faithful functor C → Set then C^op may be equipped with the composite C^op → Set^op → Set.
If C is any small category, then there exists a faithful functor P : Set^{C^op} → Set which maps a presheaf X to the coproduct $\coprod _{c\in \mathrm {ob} C}X(c)$ . By composing this with the Yoneda embedding Y:C → Set^{C^op} one obtains a faithful functor C → Set.
For technical reasons, the category Ban₁ of Banach spaces and linear contractions is often equipped not with the "obvious" forgetful functor but the functor U₁ : Ban₁ → Set which maps a Banach space to its (closed) unit ball.
The category Cat whose objects are small categories and whose morphisms are functors can be made concrete by sending each category C to the set containing its objects and morphisms. Functors can be simply viewed as functions acting on the objects and morphisms.

Counter-examples

The category hTop , where the objects are topological spaces 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 fact that there does not exist any faithful functor from hTop to Set was first proven by Peter Freyd. In the same article, Freyd cites an earlier result that the category of "small categories and natural equivalence-classes of functors" also fails to be concretizable.

Implicit structure of concrete categories

Given a concrete category (C, U) and a cardinal number N, let U^N be the functor C → Set determined by U^N(c) = (U(c))^N. Then a subfunctor of U^N is called an N-ary predicate and a natural transformation U^N → U an N-ary operation.

The class of all N-ary predicates and N-ary operations of a concrete category (C,U), with N ranging over the class of all cardinal numbers, forms a large signature. The category of models for this signature then contains a full subcategory which is equivalent to C.

Relative concreteness

In some parts of category theory, most notably topos theory, it is common to replace the category Set with a different category X, often called a base category. For this reason, it makes sense to call a pair (C, U) where C is a category and U a faithful functor C → X a concrete category overX. For example, it may be useful to think of the models of a theory with N sorts as forming a concrete category over Set^N.

In this context, a concrete category over Set is sometimes called a construct.

Notes

↑ Mac Lane, Saunders; Birkhoff, Garrett (1999), Algebra (3rd ed.), AMS Chelsea, ISBN 978-0-8218-1646-2

Related Research Articles

In mathematics, specifically category theory, a functor is a map between categories. Functors were first considered in algebraic topology, where algebraic objects are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied.

In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C that makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.

Isomorphism In mathematics, invertible homomorphism

In mathematics, an isomorphism is a mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape".

In category theory, a branch of mathematics, a universal property is an important property which is satisfied by a universal morphism. Universal morphisms can also be thought of more abstractly as initial or terminal objects of a comma category. Universal properties occur almost everywhere in mathematics, and hence the precise category theoretic concept helps point out similarities between different branches of mathematics, some of which may even seem unrelated.

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Indeed, this intuition can be formalized to define so-called functor categories. Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications.

In category theory, an epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms g₁, g₂: Y → Z,

In mathematics, a direct limit is a way to construct a object from many objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms between those smaller objects. The direct limit of the objects $, where ranges over some directed set, is denoted by .$

In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure. It also has a formulation in terms of category theory, although this is in yet more abstract terms. Examples include free groups, tensor algebras, or free lattices. Informally, a free object over a set A can be thought of as being a "generic" algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure.

In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category can be embedded in Ab.

In mathematics, the category Ord has preordered sets as objects and order-preserving functions as morphisms. This is a category because the composition of two order-preserving functions is order preserving and the identity map is order preserving.

In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures allowing one to utilize, as much as possible, knowledge about the category of sets in other settings.

In mathematics, in the area of category theory, a forgetful functor 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure. Because many structures in mathematics consist of a set with an additional added structure, a forgetful functor that maps to the underlying set is the most common case.

In category theory, a faithful functor is a functor that is injective when restricted to each set of morphisms that have a given source and target.

In general topology and related areas of mathematics, the initial topology on a set $, with respect to a family of functions on, is the coarsest topology on X that makes those functions continuous.$

In general topology and related areas of mathematics, the final topology on a set $, with respect to a family of functions into, is the finest topology on that makes those functions continuous.$

In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different categories, as discussed below.

Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space X to another topological space Y is associated the pullback functor taking bundles on Y to bundles on X. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stacks, which are fibered categories with "descent". Fibrations also play an important role in categorical semantics of type theory, and in particular that of dependent type theories.

This is a glossary of properties and concepts in category theory in mathematics.

In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms.

In mathematics, a topos is a category that behaves like the category of sheaves of sets on a topological space. Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic.

References

Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition).
Freyd, Peter; (1970). Homotopy is not concrete. Originally published in: The Steenrod Algebra and its Applications, Springer Lecture Notes in Mathematics Vol. 168. Republished in a free on-line journal: Reprints in Theory and Applications of Categories, No. 6 (2004), with the permission of Springer-Verlag.
Rosický, Jiří; (1981). Concrete categories and infinitary languages. Journal of Pure and Applied Algebra, Volume 22, Issue 3.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Mac Lane, Saunders; Birkhoff, Garrett (1999), Algebra (3rd ed.), AMS Chelsea, ISBN 978-0-8218-1646-2