I will write a series of posts as a way of gently introducing category theory to the ‘beginner’, though I will assume that the beginner will have some level of mathematical maturity. This series will be based on the the book, Conceptual Mathematics: A first introduction to categories by Lawvere and Schanuel. So, this won’t go into most of the deeper stuff that’s covered in, say, Categories for the Working Mathematician by Mac Lane. We shall deal only with sets (as our objects) and functions (as our morphisms). This means we deal only with the Category of Sets! Therefore, the reader is not expected to know about advanced stuff like groups and/or group homomorphisms, vector spaces and/or linear transformations, etc. Also, no knowledge of college level calculus is required. Only knowledge of sets and functions, some familiarity in dealing with mathematical symbols and some knowledge of elementary combinatorics are required. That’s all!
Sets, maps and composition
An object (in this category) is a finite set or collection.
A map (in this category) consists of the following:
i) a set called the domain of the map;
ii) a set called the codomain of the map; and
iii) a rule assigning to each , an element .
We also use ‘function’, ‘transformation’, ‘operator’, ‘arrow’ and ‘morphism’ for ‘map’ depending on the context, as we shall see later.
An endomap is a map that has the same object as domain and codomain, which in this case is .
An endomap in which for every is called an identity map, also denoted by .
Composition of maps is a process by which two maps are combined to yield a third map. Composition of maps is really at the heart of category theory, and this will be evident in plenty in the later posts. So, if we have two maps and , then is the third map obtained by composing and . Note that is read ‘ following ‘.
Guess what? Those are all the ingredients we need to define our category of sets! Though we shall deal only with sets and functions, the following definition of a category of sets is actually pretty much the same as the general definition of a category.
Definition: A CATEGORY consists of the following:
(1) OBJECTS: these are usually denoted by etc.
(2) MAPS: these are usually denoted by etc.
(3) For each map , one object as DOMAIN of and one object as CODOMAIN of . So, has domain and codomain . This is also read as ‘ is a map from to ‘.
(4) For each object , there exists an IDENTITY MAP, . This is also written as .
(5) For each pair of maps and , there exists a COMPOSITE map, . ( ‘ following ‘.)
such that the following RULES are satisfied:
(i) (IDENTITY LAWS): If , then we have and .
(ii) (ASSOCIATIVE LAW): If and , then we have . ( ‘ following following ‘) Note that in this case we are allowed to write without any ambiguity.
Exercises: Suppose and .
(1) How many maps are there from to ?
(2) How many maps are there from to ?
(3) How many maps are there from to ?
(4) How many maps are there from to ?
(5) How many maps are there from to satisfying ?
(This is a non-trivial exercise for the general case in which for some positive integer .)
(6) How many maps are there from to satisfying ?
(7) Can you find a pair of maps and such that . If yes, how many pairs can you find?
(8 ) Can you find a pair of maps and such that . If yes, how many pairs can you find?
How many maps are there if is the empty set and for some ? What if and is the empty set? What if both and are empty?