In many of the previous posts on this blog, we have seen that whenever there is some special property on our sets, then there are special kinds of functions between these sets that in some way “respect” this special property. For example, for topological spaces (see Basics of Topology and Continuous Functions), there are special kinds of functions called continuous functions that in some way respect the topology. Similarly, for vector spaces and modules (see Vector Spaces, Modules, and Linear Algebra), there are special kinds of functions between them called linear transformations that respect the closure under addition and scalar multiplication.
For groups, we also have the concept of a homomorphism (not to be confused with the concept of a homeomorphism in topology), which is a function between groups such that whenever
in the domain it is guaranteed that
in the range. A homomorphism is therefore a function between groups that respects the law of composition of the groups.
We now introduce in this post a kind of “language” that expresses these ideas in a neat way, with a mechanism that allows us to relate two different kinds of these special sets; this is useful, for example in algebraic topology, where we study topological spaces using groups. Information about topological spaces are reflected as information about groups.
In Homotopy Theory, we learned about the fundamental group of a space, formed by looking at loops starting and ending at a chosen basepoint, and identifying loops that can be deformed into one another under an equivalence relation. For a circle, the fundamental group is the abelian group of integers under addition, which intuitively corresponds to the number of times a loop winds around the circle taking into account the direction (clockwise or counterclockwise).
We now consider a torus. We can think of a torus as being constructed by “gluing” circles to every point of some other “base” circle. We can refer to these circles that are being glued to the “base” circle as the “fiber” circles. Thus the points of the torus can be specified by giving a pair of numbers, one referring to a coordinate of a point of the “base” circle, and the other a coordinate of a point of the “fiber” circle at that point on the base. More formally, we refer to the torus as the Cartesian product
of two circles.
The fundamental group of the torus is given by the set of ordered pairs of integers, one corresponding to the number of times a loop winds around the “body” of the torus, and the other corresponding to the number of times this same loop winds around the “hole” of the torus, once again taking into account the direction. The pair of integers can then be given a group structure by addition “componentwise”. This group of pairs of integers is an example of a direct product of groups and is written (Since the groups involved are all abelian, this is also sometimes referred to as an example of a direct sum and written
).
That the torus is a Cartesian product of two circles and its fundamental group is a direct product of two copies of the fundamental groups of the circle is an example of how information about topological spaces is reflected as information about groups.
We now introduce the language of category theory. We quote from the book Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Saunders Mac Lane and Ieke Moerdijk:
A category consists of a collection of objects (often denoted by capital letters,
) a collection of morphisms (or maps or arrows) (
), and four operations; two of the operations associate with each morphism
of
its domain
or
and its codomain
or
, respectively, both of which are objects of
. One writes
or
to indicate that
is a morphism on
with domain
and codomain
, and one says that
is a morphism from
to
. The other two operations are an operation which associates with an object
of
a morphism
(or
) called the identity morphism of
and an operation of composition which associates to any pair
of
such that
another morphism
, their composite. These operations are required to satisfy the following axioms.
(i)
(ii)
(iii)
(iv)
In (ii)-(iv), we assume that the compositions make sense; thus (ii) is required to hold for any pair of arrows and
with
, and (iii) is required to hold for any two objects
and
of
and any morphism
from
to
, etc.
Many of the concepts we have already discussed form categories. We have, for example the categories
, where the objects are sets and the morphisms are functions,
, where the objects are topological spaces and the morphisms are continuous functions,
, where the objects are topological spaces with selected points, one for each space, called basepoints and the morphisms are continuous functions that take basepoints to basepoints,
, where the objects are vector spaces with field of scalars
and the morphisms are linear transformations,
, where the objects are modules with ring of scalars
and the morphisms are linear transformations, and
, where the objects are groups and the morphisms are homomorphisms.
Note that sometimes the notation for these categories varies depending on the author.
We now introduce the concept of a functor. From the same book as above,
Given two categories and
, a functor from
to
is an operation
which assigns to each object
of
an object
of
, and to each morphism
of
a morphism
of
, in such a way that
respects the domain and codomain as well as the identities and the composition:
,
,
, and
, whenever this makes sense.
We have already discussed an example of a functor, namely the functor from the category to the category
which assigns to a topological space with a basepoint its fundamental group, and to basepoint-preserving continuous functions (continuous functions that take basepoint to basepoint) between these topological spaces homomorphisms between their fundamental groups.
In physics the concept of categories and functors is also used in topological quantum field theory. Roughly, the idea is that in classical mechanics (including relativity) the physics is expressed in terms of manifolds (shapes that have no sharp edges) while in quantum mechanics the physics is expressed in terms of vector spaces. So topological quantum field theory studies functors from the category whose objects are manifolds and whose morphisms are cobordisms (a cobordism between two manifolds is a manifold existing one dimension higher whose boundary is made up of those two original manifolds – this is used to express the idea of one manifold transforming into the other, with the one extra dimension of the cobordism representing time) to the category of vector spaces.
Going back to category theory, we discuss some more important concepts. The opposite category of a category
is the category whose objects are the same as that of
but whose morphisms are in the opposite direction of the morphisms of
. A contravariant functor from
to
is just a functor from
to
.
We recall from our discussion in Presheaves that the classical notion of a presheaf on a topological space is given by a set
(sometimes with the extra structure of groups, rings, or modules) for every open subset
of
and functions called restriction maps
for every inclusion of open subsets of
(we have written it this way instead of the more common
to make it look more symmetric) satisfying certain properties related to identity and composition. We now generalize this classical notion and simply define a presheaf on
as just a contravariant functor from
to
.
We introduce one more concept in category theory, that of a natural transformation between functors. Quoting once more from the book of Mac Lane and Moerdijk,
Let and
be two functors from a category
to a category
. A natural transformation
from
to
, written
, is an operation associating with each object
of
a morphism
of
, in such a way that, for any morphism
in
,
. The morphism
is called the component of
at
.
We have seen that a presheaf on is a contravariant functor from a category
to the category of sets
. We can now define the category of all presheaves on
, written
, as the category whose objects are functors
on
, and whose morphisms are natural transformations
between such functors.
is an example of what is called a functor category, and in this context it is also sometimes written as
.
We have now seen some basic constructions in category theory. There are many more. It can perhaps be said that in category theory the emphasis is on looking at the “relationships” or “interactions” between objects, as opposed to looking “inside” of these objects, as is the case with set theory. This allows us to make analogies between seemingly different objects, as what we have seen with topological spaces and groups. We end this post with a couple of quotes:
“Good mathematicians see analogies between theorems or theories. The very best ones see analogies between analogies.”
-Stefan Banach (as quoted by Stanislaw Ulam)
“If there is one thing in mathematics that fascinates me more than anything else (and doubtless always has), it is neither ‘number’ nor ‘size’, but always form.”
-Alexander Grothendieck
References:
Natural Transformation on Wikipedia
Topological Quantum Field Theory on Wikipedia
Categories for the Working Mathematician by Saunders Mac Lane
Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Saunders Mac Lane and Ieke Moerdijk
Pingback: More Category Theory: The Grothendieck Topos | Theories and Theorems
Pingback: Eilenberg-MacLane Spaces, Spectra, and Generalized Cohomology Theories | Theories and Theorems
Pingback: More on Chain Complexes | Theories and Theorems
Pingback: Vector Fields, Vector Bundles, and Fiber Bundles | Theories and Theorems
Pingback: The Hom and Tensor Functors | Theories and Theorems
Pingback: Direct Images and Inverse Images of Sheaves | Theories and Theorems
Pingback: Simplices | Theories and Theorems
Pingback: An Intuitive Introduction to String Theory and (Homological) Mirror Symmetry | Theories and Theorems
Pingback: The Theory of Motives | Theories and Theorems
Pingback: Adjoint Functors and Monads | Theories and Theorems
Pingback: Monoidal Categories and Monoids | Theories and Theorems
Pingback: Some Useful Links: Quantum Gravity Seminar by John Baez | Theories and Theorems