Categorical Algebra
Categorical Algebra
A CATEGORICAL INTRODUCTION
TO GENERAL ALGEBRA
Foreword v
Introduction ix
0 Preliminaries 1
3 Reflexive coequalizers 23
5 Properties of algebras 39
8 Canonical theories 65
9 Algebraic functors 71
iii
CONTENTS CONTENTS
A Monads 177
Bibliography 209
Index 215
The study that was initiated by Birkhoff in 1935 was named “general algebra”
by Kurosh in his classic text; the subject is also called universal algebra, as in
the text by Cohn. The purpose of general algebra is to make explicit common
features of the practice of commutative algebra, group theory, linear algebra,
Lie algebra, lattice theory, et cetera, in order to illuminate the path for that
practice. Less than twenty years after the 1945 debut of the Eilenberg-Mac Lane
method of categorical transformations, the obvious possibility of its application
to general algebra began to be realized in 1963; that realization continues in the
present book.
v
. FOREWORD
Bill Lawvere
Buffalo, October 31, 2009
In the first part of this book, consisting of Chapters 1 – 10, we develop the
approach in which algebraic theories are studied without a reference to sort-
ing. Consequently, algebraic categories are investigated as abstract categories.
We study limits and colimits of algebras, paying special attention to the sifted
colimits since they play a central role in the development. For example, alge-
braic categories are characterized as precisely the free completions under sifted
colimits of small categories with finite coproducts. And algebraic functors are
precisely the functors preserving limits and sifted colimits. This leads to an
algebraic duality: the 2-category of algebraic categories is dually biequivalent
to the 2-category of canonical algebraic theories.
Here we present the concept of equation as a parallel pair of morphisms in the
algebraic theory. An algebra satisfies the equation iff it merges the parallel pair.
We prove Birkhoff’s Variety Theorem: subcategories which can be presented
by equations are precisely those closed under products, subalgebras, regular
quotients, and directed unions. (The last item can be omitted in case of one-
sorted algebras.)
ix
. INTRODUCTION
Special Topics
Other Topics
Preliminaries
The aim of this chapter is to fix some notation and recall well-known facts
concerning basic concepts of category theory used throughout the book. The
reader may well skip it and return to it where needed. Only the most usual
definitions and results of the theory of categories are mentioned here, more
about them can be found in any of the book mentioned at the end of this
chapter.
0.1 Foundations. In category theory one needs to distinguish between small
collections (sets) and large ones (classes). An arbitrary set theory making such
a distinction possible is sufficient for our book. The category of (small) sets and
functions is denoted by
Set .
All categories we work with have small hom-sets.
0.2 Properties of functors. A functor F : A → B is
1. faithful if for every parallel pair of morphisms f, g : A ⇉ A′ in A, one has
f = g whenever F f = F g,
2. full if for every morphism b : F A → F A′ in B there exists a morphism
a : A → A′ in A such that F a = b,
3. essentially surjective if for every object B in B there exists an object A in
A with B isomorphic to F A,
4. an equivalence if there exists a functor F ′ : B → A such that both F · F ′
and F ′ ·F are naturally isomorphic to the identity functors. Such a functor
F ′ is called a quasi-inverse of F,
5. an isomorphism if there exists a functor F ′ : B → A such that both F · F ′
and F ′ · F are equal to the identity functors,
6. conservative if it reflects isomorphisms, that is, a : A → A′ is an isomor-
phism whenever F a : F A → F A′ is.
1
CHAPTER 0. PRELIMINARIES
F ε · ηF = F and εF ′ · F ′ η = F ′
which is full and faithful. This follows from the Yoneda Lemma which
states that for every X ∈ C and for every functor F : C → Set, the map as-
signing to every natural transformation α : YC (X) → F the value αX (idX )
is a bijection natural in X and F.
0.5 Diagrams.
a i // a
Dfd Dx
j
f ∈mor D x∈obj D
1. If a
c: Dx −→ C
x∈obj D
εF · F η = F and U ε · ηU = U .
A(F B, A) ≃ B(B, U A)
natural in A ∈ A and B ∈ B.
1. Every left adjoint preserves colimits.
2. Dually, every right adjoint preserves limits.
3. A solution set for a functor U : A → B and an object X of B is a set
of morphisms fi : X → U Ai (i ∈ I) with Ai ∈ A such that every other
morphism f : X → U A has a factorization f = U h · fi for some i ∈ I and
some morphism h : Ai → A in A.
4. The Adjoint Functor Theorem states that if A has limits, then a functor
U : A → B has a left adjoint iff it
(a) preserves limits, and
(b) has a solution set for every object X of B.
0.9 Reflective subcategories. Given a category B, by a reflective subcategory
of B is meant a full subcategory A such that the inclusion functor A → B has a
left adjoint (called a reflector for B). We denote by R : B → A the reflector and
by rB : B → RB the reflections.
0.10 Representable functors. A functor from a category A to Set is repre-
sentable if it is naturally isomorphic to a hom-functor A(A, −).
1. If A has coproducts, then A(A, −) has a left adjoint assigning to a set X
a coproduct of X copies of A.
2. The colimit of A(A, −) is a singleton set.
3. The Adjoint Functor Theorem can be stated in terms of representable
functors as follow:
A functor F : B → Set, with B complete, has a left adjoint iff it is repre-
sentable. This is the case iff it preserves limits and satisfies the solution
set condition: there exists a set G of objects of B such that for any object
B of B and any element b ∈ F B, there are X ∈ G, x ∈ F X and f : X → B
such that F f (x) = b.
0.11 Example.
1. For every set X the functor X × − : Set → Set is left adjoint to Set(X, −).
∆ : A → A × A , A 7→ (A, A)
A × A → A , (A, B) 7→ A × B
is a left adjoint to ∆.
0.12 Remark. The contravariant hom-functors B(−, B) : B → Setop , B ∈
obj B, collectively reflect colimits. That is, for every cocone C of a diagram
D : D → B we have: C is a colimit of D iff the image of C under any B(−, B)
is a colimit of the diagram B(−, B) · D in Set.
0.13 Slice categories. Given functors F : A → K and G : B → K, the slice
category (F ↓ G) has as objects all triples (A, f, B) with A ∈ A, B ∈ B and
f : F A → GB, and as morphisms (A, f, B) → (A′ , f ′ , B ′ ) all pairs a : A → A′ ,
b : B → B ′ such that Gb · f = f ′ · Ga.
1. As special cases, we have K ↓ G and F ↓ K where an object K ∈ K is
seen as a functor from the one-arrow category to K.
2. If F is the identity functor on K, we write K ↓ K instead of idK ↓ K.
0.14 Set functors as colimits of representables. Every functor A : T →
Set (T small) is in a canonical way a colimit of representable functors. In
fact, consider the Yoneda embedding YT : T op → Set T and the slice category
El A = YT ↓ A of “elements of A”. Its objects can be represented as pairs
(X, x) with X ∈ obj T and x ∈ A(X), and its morphisms f : (X, x) → (Z, z) are
morphisms f : Z → X of T such that Af (z) = x. We denote by ΦA : El A → T op
the canonical projection which to every element of the set AX assigns the object
X. Then A is a colimit of the diagram of representable functors as follows
ΦA YT
El A / T op / Set T
Indeed, the colimit injection YT (ΦA (X, x)) → A is the natural transformation
corresponding, by Yoneda Lemma, to the element x ∈ AX.
0.15 Kernel pair. A kernel pair of a morphism f : A → B is a parallel pair
f1 , f2 : N (f ) ⇉ A forming a pullback of f and f.
0.16 Classification of quotient objects. A quotient object of an object A
is represented by an epimorphism e : A → B, and an epimorphism e′ : A → B ′
represents the same quotient iff e′ = i · e holds for some isomorphism i : B → B ′ .
We use the same adjective for quotient objects and (any of) the representing
epimorphisms e : A → B :
1. Split means that there exists i : B → A with e · i = idB . Then B is called
a retract of A.
7
CHAPTER 1. ALGEBRAIC THEORIES AND ALGEBRAIC CATEGORIES
The simplest examples of algebraic categories are the category of sets and the
category of many-sorted sets. We will treat them in 1.9 and 1.10 as special cases
of the following more general example which plays a prominent role throughout
our book.
1.6 Example. Set-valued functors. If C is a small category, the functor category
Set C is algebraic. An algebraic theory of Set C is a free completion TC of C under
finite products. This means a functor ETh : C → TC such that
1. TC is a category with finite products
and
2. for every functor F : C → B, where B is a category with finite products,
there exists an essentially unique functor (that is, unique up to natural
isomorphism) F ∗ : TC → B preserving finite products with F naturally
isomorphic to F ∗ · ETh .
In other words, composition with ETh gives an equivalence between the category
of finite product preserving functors from TC to B and the category of functors
from C to B. In particular, the categories Set C and Alg TC are equivalent.
1.7 Remark. The free finite-product completion TC can be described as follows:
(i) Objects of TC are all finite families
(Ci )i∈I , I finite
of objects of C, and morphisms from (Ci )i∈I to (Cj′ )j∈J are pairs (a, α)
where a : J → I is a function and α = (αj )j∈J is a family of morphisms
αj : Ca(j) → Cj′ of C. The composition and identity morphisms are de-
fined as expected. A terminal object in TC is the empty family, and
a product of two objects is the disjoint union of the families. Finally,
the functor ETh : C → TC is given by ETh (C) = (C). It is easy to ver-
ify the universal property: since for every object (Ci )i∈I in TC we have
(Ci )i∈I = ΠI ETh (Ci ), then necessarily F ∗ ((Ci )i∈I ) = ΠI F Ci .
(ii) Equivalently, TC can be described as the category of all words over obj C
(the set of objects of C). That is, objects have the form of n-tuples
C0 . . . Cn−1 where each Ci is an object of C (and where n is identified
with the set {0, . . . , n − 1}) including the case n = 0 (empty word). Mor-
′
phisms from C0 . . . Cn−1 to C0′ . . . Ck−1 are pairs (a, α) consisting of a
function a : k → n and a k-tuple of C-morphisms α = (α0 , . . . , αk−1 ) with
αi : Ca(i) → Ci′ .
1.8 Remark. Since the Yoneda embedding YTC : TC op → Alg TC ≃ Set C pre-
serves finite coproducts (1.5), the category TC op is equivalent to the full subcat-
egory of Set C given by finite coproducts of representable functors.
1.9 Example. Sets. The simplest algebraic category is the category of sets
itself. An algebraic theory N for Set can be described as the full subcategory
of Setop whose objects are the natural numbers. In fact, since n = 1 × . . . × 1
in Setop , every algebra A : N → Set is determined, up to isomorphism, by the
set A(1). More precisely, we have an equivalence functor
The category Set has other algebraic theories – we describe them in Chapter 15.
1.10 Example. Many-sorted sets. The algebraic theory N for Set described in
1.9 is nothing else than the theory TC of 1.6 when C is the one-object discrete
category. More generally, if in 1.6 the category C is discrete, i.e. it is a set
S, we get the power category Set S of S-sorted sets and S-sorted functions.
Following 1.7, TSop is equivalent to the full subcategory of Set S
` of finite S-
sorted sets (an S-sorted set hAs is∈S is finite if the coproduct S As is a finite
set). Another equivalent description of TS is obtained by taking finite words
over S as objects (including the empty word). Morphisms from s0 . . . sn−1 to
s′0 . . . s′k−1 are functions a : k → n such that sa(i) = s′i (i = 0, . . . , k − 1).
1.11 Example. Abelian groups. We denote by Tab the category having natural
numbers as objects, and morphisms from n to k are matrices of integers with
n columns and k rows. Composition of P : m → n and Q : n → k is given by
matrix multiplication Q · P = Q × P : m → k, and identity morphisms are the
unit matrices. If n = 0 or k = 0, the only n × k matrix is the empty one [ ].
Tab has finite products. For example, 2 is the product 1 × 1 with projections
[1, 0] : 2 → 1 and [0, 1] : 2 → 1. (In fact, given one-row matrices P, Q : n → 1,
there exists a unique two-row matrix R : n → 2 such that [1, 0] · R = P and
[0, 1] · R = Q : the matrix with rows P and Q.) Here is a direct argument
proving that the category Ab of abelian groups is equivalent to Alg Tab (see also
1.13). Every abelian group G defines an algebra G b : Tab → Set whose object
b n
function is Gn = G . For every morphism P : n → k we define GP b : Gn → Gk
by matrix multiplication
g1 g1
b ):
G(P . .
.. 7→ P · ..
gn gn
1.12 Example. Modules. Let R be a ring with unit. The category R-Mod
of left modules and module homomorphisms is algebraic. A theory directly
generalizing that of abelian groups above has as objects natural numbers and as
morphisms matrices over R. Algebraic categories of the form R-Mod are treated
in greater detail in Appendix B.
1.13 Remark.
1. In the example of abelian groups we have the forgetful functor U : Ab →
Set assigning to every abelian group its underlying set. Observe that
the above groups Zn are free objects of Ab on n generators, and the full
subcategory of all these objects is the dual of the theory Tab above.
2. Analogously, if the category C of Example 1.6 has object set S, then we
have a forgetful functor which forgets the action of A : C → Set on mor-
phisms:
U : Set C → Set S , U A = hA(s)is∈S .
The functor U has a left adjoint
!
a a
S C
F : Set → Set , F (hAs is∈S ) = C(s, −)
s∈S As
(this easily follows from the Yoneda Lemma because F preserves coprod-
ucts). Following 1.8, the objects of the theory TC are precisely the finitely
generated free objects, that is, the image of finite S-sorted sets under F.
3. In Chapters 11 and 14 we will see that this is not a coincidence: for
every S-sorted algebraic category A the free objects on finitely many S-
sorted generators form a full subcategory whose dual is a theory for A (see
11.22 for one-sorted algebraic categories and 14.13 for S-sorted algebraic
categories).
1.14 Remark.
1. Let Σ be a signature, that is, a set Σ (of operation symbols) together with
an arity function
ar : Σ → N .
A Σ-algebra consists of a set A and, for every n-ary symbol σ ∈ Σ, an n-
ary operation σ A : An → A. An homomorphism of Σ-algebras is a function
1.16 Proposition. For every algebraic theory T , the category Alg T is closed
in Set T under limits.
Proof. Limits are formed objectwise in Set T . Since limits and finite products
commute, given a diagram in Set T whose objects are functors preserving finite
products, then a limit of that diagram also preserves finite products.
1.18 Remark.
1. The previous proposition means that limits of algebras are formed object-
wise at the level of sets. For example, a product of two graphs has both
the vertex set given by the cartesian product of the vertex sets, and the
set of edges given by the cartesian product of the edge sets.
3. In every algebraic category kernel pairs (0.15) exist and are formed ob-
jectwise (in Set).
1.19 Example. One of the most important data types in computer science is
a stack, or finite list, of elements of a set (of “letters”) called an alphabet. Here
we consider stacks of natural numbers: we will have elements of sort n (natural
number) and s (stack) and the following basic operations:
and
We will also have two constants: e, for the empty stack, and 0 of sort n. For
simplicity we put top(e) = 0. This leads us to the concept of algebras A of two
sorts
s (stack) and n (natural number)
with operations
succ : An → An ,
push : As × An → As ,
pop : As → As ,
and
top : As → An ,
δ : As × Ai → As (next-state function)
γ : As → Ao (output)
ϕ : 1 → As (initial state)
δ γ
As × Ai / As / Ao
ϕ ~~
~?
~
~~
~~
hs ×hi 1? hs ho
??
??
??
ϕ′ ?
A′s × A′i ′
/ A′
s ′
/ A′
o
δ γ
commutes. This is the category of algebras of three sorts s, i and o given by the
signature
δ : si → s , γ : s → o , ϕ : → s
(see Chapter 14 for the general notion of many-sorted signature). Again, an
algebraic theory of automata is formed by considering finitely generated free
algebras.
D : D × J → Set
2.3 Example.
15
CHAPTER 2. SIFTED AND FILTERED COLIMITS
3. Generalizing still further: directed colimits are filtered. Recall that a poset
is called (upwards) directed if it is nonempty and every pair of elements
has an upper bound. Directed colimits are colimits of diagrams whose
schemes are directed posets.
4. An example of filtered colimits that are not directed: the colimits of idem-
potents. Let f be an endomorphism of an object A which is idempotent,
that is, f · f = f. This can be considered as a diagam whose domain D has
one object and, besides the identity, precisely one idempotent morphism.
This category is filtered. In fact, the colimit of the above diagram is the
coequalizer of f and idA . It is not difficult to verify directly (or using 2.18)
that in Set these coequalizers commute with finite limits.
Colimits of idempotents are the only filtered colimits of finite diagrams:
every category with colimits of idempotents has all finite filtered colimits,
and every functor preserving colimits of idempotents preserves all finite
filtered colimits, see e.g. [7].
5. Filtered colimits are of course sifted.
6. Coequalizers are colimits that are not sifted (see 2.16). As we will see
in Chapter 3, reflexive coequalizers are sifted (but not filtered); these are
coequalizers of parallel pairs a1 , a2 : A ⇉ B for which d : B → A exists
with a1 · d = idB = a2 · d.
In fact, in a sense made precise in Chapter 7, we can state that
2.7 Corollary. In every algebraic category sifted colimits commute with finite
products.
In fact, this follows from the fact that the category Alg T is closed under limits
and sifted colimits in Set T and such limits and colimits in Set T are formed
objectwise.
? A `@@
mi ~~~ @@mj
~~~ @@
@
~~
Ai / Aj
mij
2.11 Remark. A small category A is connected iff the constant functor A → Set
of value 1 has colimit 1.
1. F is final;
(identity morphisms are not depicted). D is not sifted. In fact, the slice category
(A, B) ↓ ∆ is the discrete category with objects (f, idB ) and (g, idB ).
2.17 Remark. Filtered colimits are closely related to sifted ones. In fact, our
definition in 2.1 stresses this fact. The more usual definition of filtered category
D is to say that every finitely generated subcategory of D has a cocone in D.
(This includes the condition that D is nonempty.) And a well-known result
states that this implies the property of Definition 2.1.2. The converse is also
true:
2.18 Theorem. For a small category D the following conditions are equivalent:
1. D is filtered,
2. every finitely generated subcategory of D has a cocone,
and
3. D is nonempty and fulfils
(a) for every pair of object A, B there exists a cospan A → X ← B, and
(b) for every parallel pair of morphisms u, v : A ⇉ B there exists a mor-
phism f : B → C merging u and v: f · u = f · v.
Proof. The proof of the implications 3 ⇔ 2 ⇒ 1 is standard, the reader
can find it e.g. in [27], Vol. 1, Theorem 2.13.4. The proof of the implication
1 ⇒ 3 is easy: for (a) argue as in 2.14, for (b) use, analogously, the equalizer of
D(u, −), D(v, −) : D(B, −) ⇉ D(A, −) which is the diagram D of all morphisms
merging u and v : since colim D = 1 the diagram is nonempty.
2.23 Example. Here we mention some endofunctors of Set that are finitary.
1. The functor
Hn : Set → Set Hn X = X n
is finitary for every natural number n since finite products commute in
Set with filtered colimits.
Hf
HA / HB
a b
A /B
f
1. In 13.23 we will see that if H is finitary then the category H-Alg is alge-
braic.
Reflexive coequalizers
a1
/
Ao d /B
a2
a1 a′1
c c′
A // B / C and A′ // B ′ / C′
a2 a′2
are reflexive coequalizers in Set. We can assume, without loss of generality, that
c is the canonical function of the quotient C = B/ ∼ modulo the equivalence
relation described as follows: two elements x, y ∈ B are equivalent iff there
exists a zig-zag
A: z1 z2 ······
zk
ai1 === ai ai === ai ai2k−1 @@@ ai
== 2 3 == 4 @@ 2k
== == @@
= = @
···
B: x y
23
CHAPTER 3. REFLEXIVE COEQUALIZERS
where i1 , i2 , . . . , i2k are 1 or 2. For reflexive pairs a1 , a2 the zig-zags can always
be chosen to have the form
A: z1 z2 ······
z2k [3.1]
a1 === === AAA a
a
== 2 a ==a1 a2 AA 1
==
2
== AA
= = A
···
B: x y
(here for the elements z2i of A we use a1 , a2 and for the elements z2i+1 we use
a2 , a1 ). In fact, let d : B → A be a joint splitting of a1 , a2 .) Given a zig-zag, say,
z
??? a
a2
?? 1
??
x y
dx z>
~ @@@ a >>
a1
~~~ @@ 2 a2 >>a1
>>
~~ @@
~~~ @ >
x x y
Analogously for the general case. Moreover, the length 2k of the zig-zag [3.1]
can be prolonged to 2k +2 or 2k +4 etc. by using d. Analogously, we can assume
C ′ = B ′ / ∼′ where ∼′ is the equivalence relation given by zig-zags of a′1 and a′2
of the above form [3.1]. Now we form the parallel pair
a1 ×a′1
//
A × A′ B × B′
a2 ×a′2
and obtain its coequalizer by the zig-zag equivalence ≈ on B×B ′ . Given (x, x′ ) ≈
(y, y ′ ) in B × B ′ , we obviously have zig-zags both for x ∼ y and for x′ ∼′ y ′
(use projections of the given zig-zag). But also the other way round: whenever
x ∼ y and x′ ∼′ y ′ , then we choose the two zig-zags so that they both have the
above type [3.1] and have the same lengths. They create an obvious zig-zag for
(x, x′ ) ≈ (y, y ′ ). From this it follows that the map
a1 ×a′1 c×c′
// / (B/ ∼) × (B ′ / ∼′ )
A × A′ B × B′
a2 ×a′2
is a coequalizer, as required.
3.3 Corollary. For every algebraic theory T , the category Alg T is closed in
Set T under reflexive coequalizers.
In fact, this follows from 2.5 and 3.2.
2. Reflexive coequalizers are formed at the level of sets, but general coequal-
izers are not. Consider e.g. the pair x 7→ 2x and x 7→ 0 of endomorphisms
of Z whose coequalizer in Ab is finite and in Set it is infinite.
3.10 Example. Monoids. These are algebras with one associative binary op-
eration and one constant which is a neutral element. The category Mon of
monoids and homomorphisms is algebraic, see 13.14.
An example of an epimorphism which is not regular is the embedding
i: Z → Q
and
RO
t
r1 R? r2
r1 ?? r
? 2
??
?
R@ R
~~ @@ ~ ~ @@@
~ @@ ~ @@
~~r r2 @@ ~~r r2 @@
~~ 1 ~~ 1
A A A
commutes.
An equivalence relation is a relation which is reflexive, symmetric and transitive.
3.13 Remark.
1. If r1 , r2 : R ⇉ A is an equivalence relation, then the morphisms d, s and t
of 3.12 are necessarily unique.
2. An equivalence relation in Set is precisely an equivalence relation in the
usual sense.
3. Given a relation r1 , r2 : R ⇉ A and an object X, we can define a relation
∼R on the hom-set A(X, A) as follows: f ∼R g if there exists a morphism
h : X → R such that r1 · h = f and r2 · h = g. It is easy to check that
r1 , r2 : R ⇉ A is an equivalence relation in A iff ∼R is an equivalence
relation in Set for all X in A.
4. Kernel pairs are equivalence relations.
5. In the category of Σ-algebras, see 1.14, an equivalence relation on an al-
gebra A is precisely a subobject of A × A which, as a relation on the
underlying set of A, is an equivalence relation in Set. These relations are
usually called congruences on A. We refer to them as equivalence rela-
tions in Σ-Alg because the concept “congruence” is reserved (with the
only exceptions of 11.31 – 11.33) for congruences of algebraic theories, see
Chapter 10.
3.14 Definition. A category is said to have effective equivalence relations pro-
vided that every equivalence relation is a kernel pair.
3.15 Example. The category of posets does not have this property: take an
arbitrary poset B and an equivalence relation R on the underlying set of B
equipped with the discrete ordering, then the two projections R ⇉ B form an
equivalence relation which is seldom a kernel pair.
3.16 Definition. A category is called exact if it has
1. finite limits
2. coequalizers of kernel pairs
and
3. effective equivalence relations,
and if
4. regular epimorphisms are stable under pullback. That is, in every pullback
e′ /B
A
f g
C /D
e
q : A → A/ ∼R
is an isomorphism.
If all Di are of a certain type we say that colimits of that type distribute
over products.
The concept of distributing over finite products is defined as above but I is
required to be finite.
and
fn cn
n+n // n + 1 /1
gn
is a regular epimorphism.
In fact, since each of the three statements holds in Set, it holds in Set T , where
limits and colimits are formed objectwise. Following 1.16, 2.5 and 3.5, the
statements hold in Alg T for every algebraic theory T .
3.22 Remark.
2. Although in Set all colimits distribute over finite products, this is not
true in algebraic categories in general: consider the empty diagram in the
category of abelian groups. For I = {1, 2} in 3.19 and D1 = ∅ = D2 we
get colim D = Z and colim D1 × colim D2 = Z × Z.
In this chapter we prove that every algebraic category has colimits. Moreover,
the category Alg T is a free completion of T op under sifted colimits.
4.1 Remark. For the existence of colimits, since we already know that Alg T
has sifted colimits and, in particular, reflexive coequalizers (see 2.5 and 3.3), all
we need to establish is the existence of finite coproducts. Indeed, coproducts
then exist because they are filtered colimits of finite coproducts. And coproducts
and reflexive coequalizers construct all colimits, see 0.7. The first step towards
the existence of finite coproducts has already been done in Lemma 1.5: finite
coproducts of representable algebras, including an initial object, exist in Alg T .
4.2 Lemma. Given an algebraic theory T , for every functor A in Set T the
following conditions are equivalent:
1. A is an algebra,
2. El A is a sifted category
and
31
CHAPTER 4. ALGEBRAIC CATEGORIES AS FREE COMPLETIONS
D = El A × El B
is sifted by 4.4 and for the projections P1 , P2 of D we have two colimits in Alg T
over D :
A = colim YT · ΦA · P1 and B = colim YT · ΦB · P2 .
The diagram D : D → Alg T assigning to every pair (X, x) and (Z, z) a coproduct
of the representable algebras (see 1.5)
is sifted, thus it has a colimit in Alg T . Since colimits over D commute with
finite coproducts, we get
is a coproduct of A and B.
`
2. `
Infinite coproducts
Q i∈I Ai are directed colimits of finite subcoproducts
j∈J Aj = j∈J A j (for J ⊆ I finite).
3. In the category of sequential automata (1.20) the product A × B of two
automata is the machine working simultaneously in A and B on the given
(joint) input streams. Whereas the coproduct A + B is the machine work-
ing, on a given input streams, completely in A or completely in B.
4. A coproduct of graphs in Graph is given by the disjoint union of vertices
and the disjoint union of edges.
4.7 Example. Coequalizers.
1. In Ab a coequalizer of homomorphisms f, g : A ⇉ B is the quotient c : B →
B/B0 modulo the subgroup B0 ⊆ B of the elements f (a) − g(a) for all
a ∈ A.
2. A coequalizer of a parallel pair f, g : A ⇉ B in Graph is given by forming
the coequalizers in Set of (i) the two vertex functions and (ii) the two edge
functions.
4.8 Remark. Before characterizing algebraic categories as free completions
under sifted colimits, let us recall the general concept of a free completion of a
category C : this is, roughly speaking, a cocomplete category A in which C is a
full subcategory such that every functor from C to a cocomplete category has
an essentially unique extension (that is, unique up to natural isomorphism) to
a colimit-preserving functor with domain A. In the following definition we say
this more precisely. Also, for a given class D of small categories we define a free
completion under D-colimits, meaning that all colimits considered are colimits
of diagrams with domains that are elements of D.
4.9 Definition. Let D be a class of small categories. By a free completion of a
category C under D-colimits is meant a functor ED : C → D(C) such that
1. D(C) is a category with D-colimits
and
2. for every functor F : C → B, where B is a category with D-colimits, there
exists an essentially unique functor F ∗ : D(C) → B preserving D-colimits
with F naturally isomorphic to F ∗ · ED
ED
C= / D(C)
== {{
== {{ ∗
F ==
= {
{ F
}{{
B
F ∗ A = colim (F · ΦA ) .
El A
The same is true about the right-hand side: recall that A = colim (YC op · ΦA )
(0.14), thus a natural transformation from A to RB is a cocone of the diagram
YC op · ΦA with codomain RB :
op op op
Set C (A, RB) = Set C (colim (YC op ·ΦA ), RB) ≃ lim Set C (YC op (ΦA (X, x)), RB) .
Yoneda Lemma tells us that morphisms from the objects YC op (X) of that dia-
gram to RB = B(F −, B) are precisely the members of the set B(F X, B) :
op
Set C (YC op (X), RB) ≃ B(F X, B) .
op
In this sense, morphisms from A to RB in Set C encode precisely the cocones
of F · ΦA with codomain B.
4.11 Remark.
holds. This is easily seen from the above proof since if the algebra A has
the form A = YC op (X) a colimit of F · ΦA can be chosen to be F X.
op
2. Let Colim(Set C , B) be the full subcategory of B C of all functors preserv-
ing colimits. Then composition with YC op defines a functor
op
− · YC op : Colim(Set C , B) → B C .
4.12 Example.
2. One can proceed analogously with sifted colimits: we denote the free
completion under sifted colimits by
ESind : C → Sind C .
YT : T op → Alg T
Alg T = Sind (T op ) .
F ∗ A = colim (F · ΦA ) .
El A
This definition makes sense because, by 4.2, El A is sifted. As in 4.10 all that
needs to be proved is that the resulting functor F ∗ preserves sifted colimits.
In the present situation F ∗ does not have a right adjoint. Nevertheless, since
the inclusion I : Alg T → Set T preserves sifted colimits (2.5), we still have, for
RB = B(F −, B), a bijection
F ∗ : Alg T → B
preserving sifted colimits has a right adjoint. In fact, since F preserves finite co-
products, the functor B 7→ B(F −, B) factorizes through Alg T and the resulting
functor
R : B → Alg T , B 7→ B(F −, B)
is a right adjoint to F ∗ .
4.16 Remark. Let T be a finitely complete small category and Lex T denote
the full subcategory of Set T of finite limits preserving functors.
1. YT : T op → Lex T preserves finite colimits.
2. The embedding Lex T → Set T preserves limits and filtered colimits.
3. Lex T is cocomplete.
The proofs of 1. and 2. are easy modifications of 1.5, 1.16 and 2.5. Using 4.3,
the proof of 3. is analogous to that of 4.5.
4.17 Theorem. For every finitely complete small category T the Yoneda em-
bedding
YT : T op → Lex T
is a free completion of T op under filtered colimits. In other words,
Lex T = Ind (T op ) .
Free colimit completions (see Theorem 4.10) were probably first described by F.
Ulmer [92], see also [48]. The completion Ind was introduced by A.Grothendieck
and J. L.Verdier in [13], but it is also contained in [48]. The completion Sind
was introduced in [8], together with its relation to algebraic categories. But a
general completion under a class of colimits is already treated in [48]. Later,
these completions were studied by a number of authors, see e.g. the results and
the references in [59] and [3].
Properties of algebras
A@
~~ @@ f
~~ @@
~ @@
~~
~
X /Z
e
5.2 Example.
1. In Set all objects are regular projective.
2. In Ab all free abelian groups are regular projective. Conversely, a regular
projective abelian group is free: express A as a regular quotient e : X → A
of a free group X and apply the previous definition to f = idA . This proves
that X ≃ A × Ker e, and then A is free (because every subgroup of a free
abelian group is free).
3. A graph G is regular projective in Graph (see 1.15) iff its edges are pairwise
disjoint. That is, both functions Ge → Gv are monomorphisms.
5.3 Definition. Let A be a category. An object A of A is:
1. finitely presentable if the hom-functor A(A, −) : A → Set preserves filtered
colimits;
2. perfectly presentable if the hom-functor A(A, −) : A → Set preserves sifted
colimits.
39
CHAPTER 5. PROPERTIES OF ALGEBRAS
5.6 Example.
4. A graph is finitely presentable in Graph iff it has finitely many vertices and
finitely many edges. In fact, it is easy to see that for each such a graph G
the hom-functor Graph(G, −) preserves filtered colimits. Conversely, if G
is finitely presentable, use the fact that G is a filtered colimit of all of its
subgraphs on finitely many vertices and finitely many edges.
A graph is perfectly presentable iff it has finitely many vertices and finitely
many pairwise disjoint edges.
5.7 Remark. We will see in Chapter 11 that the situation described for Ab in
the above example is a special case of the general fact that:
1. finite presentability has in algebraic categories the usual algebraic mean-
ing (finitely presentable objects are precisely those which can be, in the
classical sense, presented by finitely many generators and finitely many
equations),
2. every free algebra is regular projective,
3. perfectly presentable algebras are just the retracts of the free algebras on
finitely many generators.
5.8 Remark. As pointed out in 5.5, in categories Set C the representable objects
have the property that their hom-functors preserve all colimits. We call such
objects absolutely presentable. In algebraic categories, absolutely presentable
objects are typically rare. For example no abelian group A is absolutely pre-
sentable: for the initial object 1, the object Ab(A, 1) is never intial in Set.
However, the categories Set C are an exception: every object is a colimit of
absolutely presentable objects.
5.9 Lemma. If an object is regular projective (or finitely presentable or perfectly
presentable) then every retract has that property too.
Proof. If f : B → A and g : A → B are such that g ·f = idB , then the natural
transformations
fulfil β · α = G. Therefore,
α·β β
F // F /G
F
and
In fact, 1. follows from 4.2 and 5.3, and 2. follows from 4.2, 2.20 and 5.11.
Proof. Let (Ai )i∈I be a family of regular projective objects and let`e : X → Z
Q a regular epimorphism. The claim follows from the formula A( I Ai , e) ≃
be
I A(Ai , e) and the fact that in Set regular epimorphisms are stable under
products (3.21).
5.15 Corollary. Every algebraic category has enough regular projective objects,
i.e., every algebra is a regular quotient of a regular projective algebra.
5.20 Remark. In Set directed unions have colimit cocones formed by monomor-
phisms. Thus, the same holds in Set T . Since Alg T is closed under filtered
colimits in Set T , this is also true in Alg T .
5.21 Definition. Let A be a category. An object A of A is finitely generated
if the hom-functor A(A, −) : A → Set preserves directed unions.
5.22 Proposition. In every algebraic category the finitely generated algebras
are precisely the regular quotients of representable algebras.
Proof. 1. Let A be finitely generated. Recall from 4.2 that A is the sifted
colimit of
ΦA
El A / T op YT / Alg T
5.23 Example. In the category N/Set of sets with countably many constants
the finitely generated objects are those that have, beside the constants, only
finitely many elements. Whereas the finitely presentable objects have, moreover,
the property that only finitely many pairs of distinct natural numbers label the
same constant. (Thus for example the terminal object is finitely generated but
not finitely presentable.) Finally, the absolutely presentable objects are those
finitely generated objects where the constants are pairwise distinct.
The lecture notes [48] by P. Gabriel and F. Ulmer is the source of the concept
of a finitely presentable object. In [8] perfectly presentable objects were intro-
duced under the name of strongly finitely presentable. In algebraic categories,
they coincide with objects “projectif-de-type-fini” of Y. Diers [39] and with the
finitely presentable effective projectives of M. C. Pedicchio and R. J. Wood [81].
The term “perfectly presentable” was suggested by A. Joyal (see [57]), his
motivation comes from perfect complexes as explained in 6.11 below.
A characterization of
algebraic categories
47
CHAPTER 6. A CHARACTERIZATION OF ALGEBRAIC CATEGORIES
exists with all Gi in G. We will see in the proof that this is equivalent to saying
that the canonical morphism
a
eA : G→A
(G,g)∈G↓A
In fact, this follows from 0.7 and 6.3, because any regular epimorphism is ex-
tremal.
6.5 Example.
6.6 Example.
`
with coproduct injections ρg : G → (G,g)∈G↓K G. We have a commutative tri-
angle
`
(G,g)∈G↓K G
r KK
v rrr KKeK
KK
rr r KK
rx rr KK
%/
K∗ λ
K
XB X′
BB ′ {{
BBx x {{
y BB { y′
B! }{{{
G B cg / K ∗ o cg′ G′
BB {{
BB {{
g BBB λ {{{ g′
! }{
K
E : A → Alg (G op ) , K 7→ A(−, K)
where I is the inclusion and I ∗ is its extension preserving sifted colimit (4.13).
Since E · I ∗ · YG op ≃ YG op and E · I ∗ preserves sifted colimits, it follows from 4.13
that E · I ∗ is naturally isomorphic to the identity functor. Thus E is essentially
surjective on objects.
6.10 Example.
2. In the category Bool of Boolean algebras consider the free algebras PPn
on n generators (where PX is the algebra of all subsets of a set X). The
dual of the category PPn (n ∈ N) is an algebraic theory for Bool. In fact,
PPn are perfectly presentable and form a strong generator closed under
finite coproducts.
6.13 Corollary. For every algebraic category A the dual of App is an algebraic
theory of A : we have an equivalence functor
E : A → Alg (Aop
pp ) , A 7→ A(−, A) .
6.14 Corollary. Two algebraic categories A and B are equivalent if and only
if the categories App and Bpp are equivalent.
Proof. This follows immediately from 6.13 and the fact that equivalence
functors preserve perfectly presentable objects.
From 1.10 we know that the slice category Set ↓ S, equivalent to the category
Set S of S-sorted sets, is algebraic. This is a particular case of a more general
fact:
o R
A / Set C
I
with the right adjoint I preserving sifted colimits. This induces another reflec-
tion
R·−
AD
o / Set C D
I·−
with I · − preserving sifted colimits because they are formed objectwise. Since
D
Set C ≃ Set C×D , by 6.18 AD is algebraic.
6.20 Remark. Our Characterization Theorem 6.9 shows a strong parallel be-
tween algebraic categories and the following more general concept due to Gabriel
and Ulmer [48].
6.21 Definition. A category is called locally finitely presentable if it is cocom-
plete and has a set G of finitely presentable objects such that every object of A
is a filtered colimit of objects of G.
6.22 Example.
1. Following 6.9, all algebraic categories are locally finitely presentable.
2. If T is a small category with finite limits, then Lex T , see 4.16, is a lo-
cally finitely presentable category. In fact Lex T is cocomplete (4.16), the
representable functors form a set of finitely presentable objects (5.5), and
every object is a filtered colimit of representable functors (4.3).
3. The category Pos of posets (which is not algebraic, see 6.10) is locally
finitely presentable: the two-element chain which forms a strong generator
is finitely presentable. Thus we can apply the following
6.23 Theorem. (Characterization of locally finitely presentable categories) The
following conditions on a category A are equivalent:
1. A is locally finitely presentable;
is almost valid – but not quite. What we have in mind are three facts:
1. A category C has sifted colimits iff it has filtered colimits and reflexive
coequalizers. This holds whenever C has finite coproducts – and in general
it is false.
and
57
CHAPTER 7. FROM FILTERED TO SIFTED
YT : T op → (Alg T )f p
(Alg T )f p = Rec (T op ) .
We will prove that given a finitely presentable algebra A : T → Set, there exists
a final functor (see Definition 2.12)
M : M → El A .
The rest of the proof is analogous to the proof of Theorem 4.10: given a functor
F : T op → B where B has reflexive coequalizers, we prove that there exists an
essentially unique functor
F ∗ : (Alg T )f p → B
F ∗ A = colim (F · ΦA )
El A
on objects. This extends uniquely to morphisms (as in the proof of 4.10) and
yields a functor F ∗ : (Alg T )f p → B. Since the inclusion I : (Alg T )f p → Set T
preserves reflexive coequalizers (7.2), we have for RB = B(F −, B) a bijection
natural in A and B, from which one deduces that F ∗ preserves reflexive co-
equalizers.
To prove the existence of the final functor M, recall from 5.17 that there
exists a reflexive pair
f1
/
P o d /Q
f2
YT (f1 )
// c /A
YT (P ) YT (Q)
YT (f2 )
cX : T (Q, X) → A(X)
cX (h) = cX (k) .
Now use the description of coequalizers in Set (see 0.6): since cX is the
coequalizer of YT (f1 )and YT (f2 ), there is a zig-zag of this pair connecting
h and k. For example a zig-zag of length 2:
v?
YT (f1 ) ???YT (f2 )
??
?
h k
(X, x)
w GG
h www GG k
v GG
www GG
G#
{ww
MQ o MP / MQ
Mf1 Mf2
ERec EInd
C / Rec C / Ind (Rec C)
In fact, for T = C op the above theorem yields Rec C = (Alg T )f p from which
6.26 and 4.17 prove Ind (Rec C) = Alg T . Now apply 4.13.
7.5 Remark. In the proof of Theorem 7.3 if B has finite colimits and F pre-
serves finite coproducts, then the extension F ∗ preserves finite colimits. This
follows from the fact that B(F −, B) lies now in Alg T and that (Alg T )f p is
closed in Alg T under finite colimits (5.11), so that we have a bijection
the image of D and closed in E under finite coproducts. Consider the following
diagram
(F ·U)∗
Sind C /A
H O 777 O
77
77
77
77
EInd 77U ∗
ESind F
77
7
Rec; C PPP 77
xxxx PPPU ′ 77
xx PPP 77
xxx ERec PPP 7
P'
C /E
U
The functor EInd preserves reflexive coequalizers by 4.16 and 4.17, and so do
the functors F, U ′ and (F · U )∗ . Thus, the universal property of ERec yields
(F · U )∗ · EInd ≃ F · U ′ .
Since
U ∗ · EInd · ERec ≃ U ∗ · ESind ≃ U ≃ U ′ · ERec
and, once again, the functors U ∗ , EInd and U ′ preserve reflexive coequalizers,
we have
U ∗ · EInd ≃ U ′ .
Finally, since
F · U ∗ · EInd ≃ F · U ′ ≃ (F · U )∗ · EInd
and the functors F, U ∗ and (F · U )∗ preserve filtered colimits, we have
F · U ∗ ≃ (F · U )∗ . [7.1]
D′ : D → C with D = U · D′
F · D = F · U · D′ ≃ (F · U )∗ · ESind · D′
From [7.1] and the fact that U ∗ also preserves the sifted colimit of ESind · D′
we derive
colim (F · D) ≃ F (colim (U ∗ · ESind · D′ )) ≃ F (colim D) .
The sifted diagram D → E which is the inclusion does not have a colimit.
However, E has reflexive coequalizers because its only nontrivial reflexive pairs
are a1 , a2 (with coequalizer c) and a′1 , a′2 (with coequalizer c′ ). Moreover, E has
filtered colimits: since the category E is clearly finite, it does not have any
nontrivial filtered diagram except those obtained by iterating an idempotent
endomorphism e, see 2.3. Thus it is sufficient to verify that E has coequalizers
of all pairs e, idX where e is an idempotent endomorhism of X. In fact, the only
idempotents of E are d · ai and d · a′i . The coequalizer of d · a1 and idA is clearly
a1 (because a morphism f with f = f · d · a1 fulfils f 6= a2 and then it uniquely
factorizes through a1 ), analogously for the other three idempotents. Thus, the
above coequalizers demonstrate that E has filtered colimits.
7.10 Remark. For the category D of 7.9 we have
T = colim D
which is the identity map on morphisms of E does not preserve sifted colimits
because
F (colim D) = S and colim F · D = T .
However, F clearly preserves filtered colimits and reflexive coequalizers: the only
nontrivial colimits of these types in E T lie in E and are described in Example
7.9. The same description applies to A.
The open problem of [8] whether preservation of filtered colimits and reflexive
coequalizers implies preservation of sifted colimits was answered by A. Joyal;
his proof even works for quasicategories (see [57]). Another proof was given S.
Lack (see [60]). The present proof is taken from [11] where also the stronger
statements stated at the beginning of this chapter are proved.
The formula 7.4 stems from [8].
Canonical theories
Every algebraic category has a number of algebraic theories which are often
non-equivalent, we will study this more detailed in Chapter 15. In the present
chapter we prove that there is always an essentially unique algebraic theory with
split idempotents. We call it a canonical theory. We first discuss splitting of
idempotents and idempotent completions.
8.1 Definition.
f: X → X , f ·f = f
f idZ
X@ /X Z@ /Z
@@ ~> @@ ~>
@@ ~~~ @@ ~~~
e @@ ~m m @@ ~e
~~ ~~
Z X
8.2 Remark.
65
CHAPTER 8. CANONICAL THEORIES
8.3 Example.
m f
Z /X // X
id
EIc : C → Ic C
such that
1. Ic C is idempotent-complete
and
8.5 Remark.
a/Z
X@
@@
a
@@
f @@ g
X a /Z
a / (a : X → X) a / (f : X → X)
(f : X → X)
EIc (f )
EIc (X) / EIc (X)
GG ;
GG f f ww
GG www
GG ww
G# ww
(f )
EIc (a) a EIc (a)
;w (g) GG
g www GG g
GG
www GG
ww G#
EIc (Z) / EIc (Z)
EIc (g)
commutative in B. Explicitly:
F ∗f Fa F ∗g
F ∗ a : F ∗ (f ) / FX / FZ / F ∗ (g) .
8.13 Example.
1. The canonical theory of the category Set is the theory N of natural num-
bers, see 1.9: it is clear that N is idempotent-complete.
2. The canonical theory of the category Ab is the theory Tab described in
1.13. In fact, we saw in 5.6 that Tab is dual to Abpp .
3. In the category Bool of boolean algebras we have the algebras PX of all
subsets of a set X. The free algebras on n generators PPn form, for n ∈ N,
a strong generator. As noted in 6.10, the dual of this full subcategory of
Bool is a theory for Bool. However, this is not the canonical theory. In
fact, the canonical theory is the dual of the full subcategory of all algebras
Pn for n ∈ N \ {0}, or equivalently, the category of finite nonempty sets
and functions. Since each n > 0 is injective in the category of finite sets,
it is a retract of 2n . Thus Pn is a retract of PPn.
Algebraic functors
M op M∗
T2op / Alg T2
YT2
71
CHAPTER 9. ALGEBRAIC FUNCTORS
By the Yoneda Lemma, this is nothing but composition with M. This immedi-
ately implies that Alg M preserves sifted colimits, because they are calculated
objectwise in Alg T1 and Alg T2 (see 2.5).
9.4 Definition. A functor between two algebraic categories is called algebraic
provided that it preserves limits and sifted colimits.
9.5 Example.
1. Every functor Alg M, for a theory morphism M, is algebraic.
2. The forgetful functor Ab → Set is algebraic.
3. Given an algebra A in an algebraic category A, then A(A, −) : A → Set is
algebraic iff A is perfectly presentable.
4. A constant functor with value A between algebraic categories is algebraic
iff A is a terminal object.
5. For every algebraic theory T , the embedding I : Alg T → Set T is an alge-
braic functor, see 1.16 and 2.5.
9.6 Remark. We know from 9.3 that every morphism of theories induces an
algebraic functor between the corresponding algebraic categories. If, moreover,
the algebraic theories are canonical (8.11), then the algebraic functors are es-
sentially just those induced by morphisms of theories, see 9.15 below. This will
motivate us to define “morphisms of algebraic categories” as the algebraic func-
tors. We are now going to prove that every algebraic functor has a left adjoint.
For this we will use Freyd’s Adjoint Functor Theorem (see 0.8).
9.7 Theorem. A functor between algebraic categories is algebraic if and only
if it has a left adjoint and preserves sifted colimits.
Proof. Let G : B → A be an algebraic functor. We are to prove that G has
a left adjoint. That is, for every object A of A we are to prove that the functor
A(A, G−) : B → Set
is representable.
(1) Assume first that A is perfectly presentable. Since G preserves limits, it
remains to prove that A(A, G−) satisfies the Solution Set Condition of 0.10.
For Bpp in 6.12 put
G = {GX | X ∈ Bpp } .
Every object B of B is a sifted colimit of objects from Bpp (see 6.9). Let us
write (σX : X → B) for the colimit cocone. Since G preserves sifted colim-
its, (GσX : GX → GB) is also a colimit cocone. As A(A, −) preserves sifted
colimits, every morphism b : A → GB factorizes as follows
GX
=
ϕ {{{
{ GσX
{{
{{
A / GB
b
Alg : Th op → ALG
the 2-functor assigning to every algebraic theory T the category Alg T , to every
1-cell M : T1 → T2 the functor Alg M = (−) · M and to every 2-cell α : M → N
the natural transformation Alg α : Alg M → Alg N whose component at a T2 -
algebra A is A · α : A · M → A · N.
9.14 Remark. The 2-functor Alg is well-defined due to 9.3: for every morphism
of theories M, the functor Alg M is algebraic. The fact that for every natural
transformation α we get a natural transformation Alg α is easy to verify.
is a biequivalence.
is an equivalence of categories.
(2a) Alg T1 ,T2 is full and faithful: given morphisms M, N : T1 ⇉ T2 and a nat-
ural transformation λ : Alg M → Alg N there exists a unique natural trans-
formation α : M → N such that Alg α = λ. The proof follows the lines of
the proof of Yoneda Lemma. Let us just indicate how to construct α. Con-
sider an object X in T1 . Since T2 (M X, −) ∈ Alg T2 , we have the component
λT2 (MX,−) (X) : T2 (M X, M X) → T2 (M X, N X) and we put
F L
T2op / Alg T2
YT2
Since YT1 (X) is perfectly presentable (see 5.5) and G preserves sifted colim-
its, the above natural isomorphism implies that L(YT1 (X)) is perfectly pre-
sentable. By 5.14, L(YT1 (X)) is a retract of a representable algebra and,
G : A2 → A1
E2 E1
A2 / A1
G
Aop
pp ≃ ALG (A, Set) .
1-cells of the 2-category LFP , and the 2-cells are natural transformations. We
also denote by LEX the 2-category of small categories with finite limits, finite
limit preserving functors, and natural transformations. The 2-functor
assigns to every small category T with finite limits the category Lex T (4.16)
and it acts on 1-cells and 2-cells in the analogous way as Alg : Th op → ALG .
9.19 Theorem. The 2-categories LFP and LEX are dually biequivalent.
In fact, Lex : LEX op → LFP is a biequivalence. The converse construction
associates to a locally finitely presentable category A the small, finitely complete
category Aopf p (6.26).
Morphisms of algebraic theories and the resulting algebraic functors were (in
the one-sorted case) introduced by F. W. Lawvere [63] and belong to the main
contribution of his work. The characterization 9.7 of algebraic functors and
the duality theorem 9.15 are contained in [5]. This is analogous to the Gabriel-
Ulmer duality 9.19 for locally finitely presentable categories (see [48]). A general
result can be found in [35].
2-categories have been introduced by C. Ehresmann in [42].
So far we have not treated one of the central concepts of algebra: equations. In
the present chapter we prove the famous characterization of varieties of algebras,
due to G. Birkhoff: varieties are precisely the full subcategories of Alg T closed
under
products,
subalgebras,
regular quotients,
and
directed unions.
The last item was not included in Birkhoff’s formulation. The reason is that
Birkhoff only considered one-sorted algebras, and for them directed unions follow
from the other three items (see 11.35). For general algebraic categories directed
unions cannot be omitted, see Example 10.23 below.
Classically, an equation is an expression u = v where u and v are terms (say,
in n variables). We will see in 13.9 that such terms are morphisms from n to 1
in the theory of Σ-algebras. We can also consider k-tuples of classical equations
as pairs of morphisms from n to k. The following concept generalizes this idea.
10.1 Definition. If T is an algebraic theory, an equation in T is a parallel
pair u, v : s ⇉ t of morphisms in T . (Following algebraic tradition, we write
u = v in place of (u, v).) An algebra A : T → Set satisfies the equation u = v if
A(u) = A(v).
10.2 Example.
1. In the theory Tab of abelian groups (1.11) recall that endomorphisms of
1 have the form [n] and correspond to the operations on abelian groups
given by x 7→ n · x. Thus, the equation
[2] = [0]
79
CHAPTER 10. BIRKHOFF’S VARIETY THEOREM
x+x = 0
hui i, hvi i : s → t1 × . . . × tn
are the correspnding morphisms. For this reason, we will state the definition of
variety using congruences as well as equations.
10.4 Definition. Let T be an algebraic theory. A congruence on T is a col-
lection ∼ of equivalence relations ∼s,t on hom-sets T (s, t), where (s, t) ranges
over pairs of objecs, which is stable under composition and finite products in
the following sense:
1. If u ∼s,t v and x ∼r,s y, then u · x ∼r,t v · y
x // s u //
r t
y v
10.5 Example. Consider the theory Tmon of monoids (3.10) whose morphisms
from n to k are all k-tuples of words in n = {0, 1, . . . , n − 1}. The commutative
law corresponds to the congruence ∼ with ∼n,1 defined for words v and w by
u ≈M v iff M u = M v
Proof.
(1) Clearly, Alg Q is faithful because Q is surjective.
(2) Consider objects A, B ∈ Alg T / ∼ and a morphism β : A · Q → B · Q, that
is, a collection βt : At → Bt of homomorphisms natural in t ranging through T .
Then the same collection is natural in t ranging through T / ∼, thus, β : A → B
is a morphism of Alg (T / ∼). Clearly, Alg Q takes this morphism to the original
one.
10.15 Corollary. Every variety is an algebraic category.
AO RRRR
v
RRR
RRR
E RRR
RRR
)
Alg (T / ∼) / Alg T
Alg Q
and
(d) sifted colimits: given a sifted colimit B = colim Ai in Alg T with all Ai in
A, then B also lies in A.
Proof. Following 10.15, the inclusion functor A → Alg T is naturally isomor-
phic to Alg Q, which preserves limits and sifted colimits by 9.3. This proves (a)
and (d).
(b) Let m : B → A be a monomorphism with A in A. We prove that B is in A
by verifying that every equation u1 , u2 : s ⇉ t that A satisfies is also satisfied by
B. We know from 1.18.2 that the component mt : Bt → At is a monomorphism.
From A(u1 ) = A(u2 ) and the commutativity of the squares
Bui
Bs / Bt
ms mt
As / At
Aui
A : T → Set , AX = X × X × X
Proof. We already know that the variety A is closed in Alg T under regular
quotients and sifted colimits (10.16) and therefore under directed unions, which
are a special case of sifted colimits (2.9). Moreover, following 10.15, the inclusion
functor A → Alg T is naturally isomorphic to Alg Q, which has a left adjoint
(9.3). It remains to prove that for every T -algebra B the reflection rB : B → RB
is a regular epimorphism. Let rB = m · e
? A aCCC
e ~~~ CCCCCCm
~~ CCCC
~~ ē CCC!
B / RB
rB
(a) products,
(b) subalgebras,
and
Proof. Every variety is closed under (a)-(d): see 10.16. Conversely, let A be
closed under (a)-(d).
(1) We first prove that A is a regular epireflective subcategory. Let B be a T -
algebra. By 3.6 there exists a set of regular epimorphisms e : B → Ae (e ∈ X)
representing all regular quotients of B with codomain in A. Denote by b : B →
Q
e∈X Ae the induced morphism and let
b Q
BA / Ae
AA : e∈X
AA u uu
rB AA
uu
A uuuu mB
RB
This is indeed a congruence, see 10.6 and 10.7.2. It is our task to prove that
every T -algebra B such that ∼ is contained in ≈B , see 10.7, lies in A.
(2a) Assume first that B is a regular quotient of a representable algebra YT (t).
We thus have a regular epimorphism e : YT (t) → B. We know that the reflec-
tion morphism rt : YT (t) → R(YT (t)) is a regular epimorphism, thus, it is a
coequalizer
u / rt
N v / YT (t) / R(YT (t))
YT (s) PP m6 B
PPPPPPYT (us )
PPPPPP mmmmm O
e m
PPPPPP mmm f
YT (vs ) PPPP' mmmmm
' m rt
/ R(YT (t))
nn6 6 YT (t) RRRR
cs
nn
u nnnnnn RRR
nnnnnnnnvnn h
RRR
RRR
nnnnnnnn RRR
(
N A
One-sorted algebraic
categories
πin : 1 → n , 0 7→ i (i = 0, . . . , n − 1)
89
CHAPTER 11. ONE-SORTED ALGEBRAIC CATEGORIES
(see 9.2), which is faithful by 11.8. More precisely, this forgetful functor takes
an algebra A : T → Set to the set A1, and a homomorphism h : A → B to the
component h1 : A1 → B1.
11.7 Example. For the one-sorted theory (Tab , Tab ) of abelian groups the cat-
egory Alg Tab is equivalent to Ab. (But it is not isomorphic to Ab : this si caused
by the fact that algebras for Tab are not required to preserve products strictly.
Consequently, there exist many algebras that are naturally isomorphic to alge-
bras of the form G b (see 1.11) but are not equal to any of those.) The forgetful
functor assigns, for every group G, to Gb the underlying set of G. Observe that,
unlike in Ab, there exist isomorphisms f : A → B in Alg Tab for which A1 = B1
and f1 = id but still A 6= B. In fact, given a group G we usually have many
algebras B 6= Gb naturally isomorphic to G b such that the component of the nat-
ural isomorphism at 1 is the identity. In other words, Alg Tab is not amnestic
(see 13.16).
11.8 Proposition. Let (T , T ) be a one-sorted algebraic theory. The forgetful
functor Alg T : Alg T → Set is algebraic, faithful and conservative.
Proof. Alg T is algebraic by 9.3. Let f : A → B be a homomorphism of
T -algebras. Because of the naturality of f, the following square commutes
fT n
AT n / BT n
≃ ≃
(AT )n / (BT )n
fTn
such that both E ·E ′ and E ′ ·E are naturally isomorphic to the identity functors.
We then say that (A, U ) and (B, V ) are concretely equivalent.
11.15 Example. The category Ab with its canonical forgetful functor is a one-
sorted algebraic category. In fact, it is concretely equivalent to the category of
algebras for (Tab , Tab ) : the functor
E / Alg Tab
Ab C
CC vv
CC
C vvv
U CC vv
! {vv Alg Tab
Set
E′ / Ab
Alg TabH
HH {{
HH {{
H {{ U
Alg Tab HHH {
# {}
Set
which to every algebra A : Tab → Set assigns the group G with A ≃ G b from
′ ′
1.11. It is easy to verify that both E · E and E · E are naturally isomorphic to
the identity functors.
11.18 Example. The category Graph of graphs is algebraic, but not one-sorted
algebraic. In fact, a terminal object in Graph is the graph with one vertex and
one edge, and it has a proper subobject given by the graph G with one vertex
and no edge. Observe that G is neither terminal nor initial in Graph. Now use
the following
11.19 Lemma. In a one-sorted algebraic category a terminal object A has no
nontrivial subobjects: for every subobject m : B → A either B is an initial object
or a terminal one.
Proof. Given a one-sorted algebraic theory (T , T ), denote by A a terminal
object of Alg T and by I the initial one. Since Alg T : Alg T → Set preserves lim-
its (11.9), B(1) is a subobject of A1 = 1. If B1 ≃ 1, then m1 is an isomorphism
and thus m is an isomorphism (since Alg T is conservative). If B1 = ∅, consider
the unique monomorphism a : I → B and the induced map a1 : I1 → B1 = ∅.
Such a map is necessarily an isomorphism, and thus so is a. It is easy to see
that concrete equivalences preserve the above property of terminal objects.
11.20 Example. Even though the category of graphs is not a one-sorted alge-
braic category, the category RGraph of reflexive graphs is. Here the objects are
directed graphs
τ /
G e /G v
σ
1. The forgetful functor Alg T : Alg T → Set has a left adjoint. In fact, due
to 4.11 applied to YN : N op → Set we can choose a left adjoint
FT : Set → Alg T
T op / T op
N op
YN YT
Set / Alg T
FT
that is
ηn (i) = T πin for all i = 0, . . . , n − 1
(recall that πin is the inclusion of i).
`
3. Since FT preserves coproducts, FT X = X YT (1) for every set X.
Indeed by Yoneda Lemma T (n, k) ≃ Alg T (YT (k), YT (n)) = Alg T (FT (k), FT (n)).
pni : A → nA = A + . . . + A (n summands).
The objects of T (A) are natural numbers, and morphisms from n to k are the
morphisms of A from kA = A+ . . .+ A to nA. Then T : N → T (A) is defined by
T πin = pni . Observe that T (A) is equivalent to the full subcategory of Aop on all
finite copowers of A under the equivalence functor n 7→ nA. The corresponding
category of T (A)-algebras can be equivalent to A, as we have seen in the example
A = Ab and A = Z. (In fact, if A = Alg T for a one-sorted algebraic theory
(T , T ) and A = T 1, then A is always equivalent to Alg T (A).) These theories
T (A) are often seen as the “natural” algebraic theories in classical algebra (e.g.
for A = groups, lattices, monoids, etc.).
11.24 Remark. Extending 11.21, for every one-sorted algebraic category (A, U )
with a left adjoint F ⊣ U a one-sorted theory can be constructed from the full
subcategory of Aop on the objects F {x0 , . . . , xn−1 }. Here a set of “standard
variables” x0 , x1 , x2 , . . . is assumed. In fact, the n injections
define n morphisms pni : F {x0 , . . . , xn−1 } → F {x0 } in Aop . Let T be the cate-
gory whose objects are the natural numbers and whose morphisms are
The composition in T is inherited from Aop , and so are the identity morphisms.
The functor T : N → T is determined by the above choice of morphisms pni for
all i ≤ n.
11.25 Example. For the one-sorted theory (Tab , Tab ) (11.5) the induced ad-
junction FTab ⊣ Alg Tab is, up to concrete equivalence, the usual adjunction given
by free abelian groups.
Using free algebras we can restate some facts from Chapter 5:
11.26 Proposition. Let (T , T ) be a one-sorted algebraic theory.
1. Free algebras are precisely the coproducts of representable algebras.
2. Every algebra is a regular quotient of a free algebra.
3. Regular projectives are precisely the retracts of free algebras.
Proof. 1: Following 11.21, every free algebra is a coproduct of representable
algebras. Conversely, every representable algebra is free by 11.21. Thus, every
coproduct of representable algebra is free because FT preserves coproducts.
2: Following 4.2, every algebra is a regular quotient of a coproduct of repre-
sentable algebras and then, by 1, it is a regular quotient of a free algebra.
3: This follows from 1. and 5.14.2.
Proof. 1. follows from 11.21 and the observation that whenever the object
FT X is finitely generated then it is isomorphic to FT X ′ for some finite set X ′ . In
fact, the set X is the directed union of its nonempty finite subsets X ′ . Since FT
is a left adjoint and directed unions are directed colimits in Set, we see that FT X
is a directed colimit with the colimit cocone formed by all F i, where i : X ′ → X
are the inclusion maps. Moreover, since each i is a split monomorphism in
Set, FT X is the directed union of the finitely generated free algebras FT X ′ .
Since FT X is were finitely generated, there exists a finite nonempty subset
i : X ′ ֒→ X and a homomorphism f : FT X → FT X ′ such that FT i · f = idFT X .
Thus FT i : FT X ′ → FT X, being a monomorphism and a split epimorphism, is
an isomorphism, a contradiction.
2. follows from 1. and 5.14.1, and 3. follows from 1. and 5.17.
and
3. there exists a finite subset X of A(1) not contained in any proper subalgebra
of A.
Proof. The equivalence between 1. and 2. follows from 5.21 and 11.18.1.
1 ⇒ 3 : Let A be a finitely generated object of Alg T . Form a diagram in
Alg T indexed by the poset of all finite subsets of A1 by assigning to every such
X ⊆ A1 the subalgebra X of A generated by X (see 11.10). Given finite subsets
X and Y with X ⊆ Y ⊆ A1, the connecting map X → Y is the inclusion
map. Then the inclusion homomorphisms iX : X → A form a colimit cocone of
this directed diagram. Since the functor Alg T (A, −) preserves this colimit, for
idA ∈ Alg T (A, A) there exists a finite set X such that idA lies in the image of
iX – but this proves X = A.
3 ⇒ 2 : If A = X for a finite subset X of A1, then by 11.19 A is a regular
quotient of the finitely generated free algebra FT X.
11.31 Remark.
1. Recall the notion of an equivalence relation on an object A in a category
from 3.12. If the category is Alg T , following the terminology of general
algebra in 11.32 and 11.33 we speak about congruence on the algebra
A (instead of equivalence). This is a slight abuse of terminology since
congruences were previously used for the theory T itself.
2. Similarly to 11.10, for every T -algebra A and every subset X of A1 × A1
there exists the least congruence on A whose underlying set contains X.
Such a congruence is called the congruence generated by X.
3. The finitely generated congruences are those generated by finite subsets of
A1 × A1.
11.32 Lemma. Let (T , T ) be a one-sorted algebraic theory. Given
u //
FT X B
v
In fact, this follows from 11.28 and 11.32 by taking B = FT Y with X and Y
finite sets.
Ue / UB
UA
Ug
|
UC
hn = f n : U B n → U C n .
Proof. By 10.22 all we need is proving that A is closed under directed unions.
Put U = Alg T and F = FT for short. Following the first part of the proof of
10.22 we know that A is regular epireflective in Alg T , with reflectons denoted
by rB : B → RB. Then for every directed union A = ∪i∈I Ai of subobjects
mi : Ai → A with Ai ∈ A for each i we prove that A lies in A. We use the
counit εA : F U A → A. Due to the definition of adjunction, U εA ) is a split
and therefore regular epimorphism. Since U reflects regular epimorphisms (see
11.9), εA is a regular epimorphism. Form the reflection rF UA : F U A → RF U A
and prove that εA factorizes through it: this finishes the proof because given
h : RF U A → A with εA = h · rUF A , then h is a regular epimorphism. Thus, A
is a regular quotient of RF U A, which proves that A is in A.
one-sorted case a better result is obtained, since we do not have to restrict the
theories at all.
is a biequivalence.
Proof. (1) Alg 1 is well-defined and essentially surjective (in the sense of
the 2-category ALG 1 , which means surjectivity up to concrete equivalence) by
definition of one-sorted algebraic category.
(2) We will prove that for two one-sorted algebraic theories (T1 , T1 ) and (T2 , T2 )
the functor
is an equivalence of categories. The proof that Alg 1(T1 ,T1 ),(T2 ,T2 ) is full and
faithful is the same as in Theorem 9.15. It remains to prove that Alg 1(T1 ,T1 ),(T2 ,T2 )
is essentially surjective: consider a concrete functor
G
Alg T1G o Alg T2
GG ww
GG ww
G
Alg T1 GG ww
# w{ w Alg T2
Set
It is our task to find a theory morphism M : (T1 , T1 ) → (T2 , T2 ) with G ≃
Alg 1 M. We have the left adjoint FT of 11.21 and we denote by F : Alg T1 →
Alg T2 a left adjoint of G. The commutativity of the above triangle yields a
natural isomorphism
ψ : FT2 → F · FT1 .
We are going to prove that F ·YT1 factorizes (up to natural isomorphism) through
YT2 :
YT1
T1op / Alg T1 [11.1]
M op ≃ F
T2op / Alg T2
YT2
In his dissertation [63] F. W. Lawvere presents the name algebraic category for
one equivalent to the category Alg T of algebras of a one-sorted algebraic theory.
Our decision to use concrete equivalence is motivated by the precise analogy one
gets to finitary monadic categories over Set (see Appendix A).
Another variant, based on pseudo-concrete functors in place of the concrete
ones, is to take all categories pseudo-concretely equivalent to the categories
Alg T above. This is shortly mentioned in Appendix C.
12.1 Remark.
H-Alg
2. We denote by
UH : H-Alg → K
the canonical forgetful functor (A, a) 7→ A.
u / H∅ Hu / H 2∅ H2 u / H 3∅ / ...
∅
I = colim n∈N H n ∅
103
CHAPTER 12. ALGEBRAS FOR AN ENDOFUNCTOR
vn : H n ∅ → I (n ∈ N)
fn+1 = a · Hfn : HH n ∅ → A .
in such a way that every node with n > 0 children has a label in Σn and every
leaf has a label in Σ0 + X.
Initial HΣ -algebra: We can represent HΣ ∅ = Σ0 by the set of all singleton
trees labelled by elements of Σ0 . Given a tree representation of HΣk ∅, we represent
a
HΣk+1 ∅ = Σn × (HΣk ∅)n
n∈N
σE
89:;
?>=< [12.1]
yy EE
yy EE
yy EE
y EE
yy
p1 ······ pn
The above ω-chain is the chain of inclusion maps ∅ ⊆ HΣ ∅ ⊆ HΣ2 ∅ ⊆ . . . and its
colimit [
I= HΣk (∅)
k∈N
H(−) + X
iX : HH ∗ X + X → H ∗ X,
ϕX : HH ∗ X → H ∗ X and ηX : X → H ∗ X
∗
89:;
?>=<
~~ @@@
~ @@
~~~ @@
~ @@
~~
pi
?>=<
89:; pi
89:;
?>=< pj
@ABC
GFED
∗B
89:;
?>=< ∗
89:;
?>=<
~~ BB }} @@@
~ BB } @@
~~~ BB }}} @@
~ BB } @@
~~ }}
∗
89:;
?>=< pk
@ABC
GFED pi
89:;
?>=< ∗
89:;
?>=<
??? @@@
?? @@
?? @@
?? @@
pi
89:;
?>=< pj
@ABC
GFED pj
@ABC
GFED pk
@ABC
GFED
Proof. We prove the more general formulation of (b), the proof of (a) is
analogous. Let D : D → H-Alg be a diagram with objects Dd = (Ad , ad ) and let
A = colim Ad be the colimit of UH ·D in Set with the colimit cocone cd : Ad → A.
If H preserves this colimit, there exists a unique H-algebra structure a : HA →
A turning each cd into a homomorphism. In fact, the commutative squares
Hcd
HAd / HA
ad a
Ad /A
cd
12.16 Remark. In 13.23 we will see that for every presentation of a functor
H as a quotient functor of HΣ , the category of H-algebras can be viewed as an
equational category of Σ-algebras.
12.17 Remark. Most of the result in this chapter has an obvious generalization
to endofunctors H of cocomplete categories K which preserve sifted colimits.
1. The initial chain of 12.2 is defined by denoting by ∅ an initial object of K
and using the unique morphism u : ∅ → H∅. The corresponding H-algebra
is initial.
2. The free H-algebra on an object X of K is the intial algebra for the
endofunctor H(−) + X.
3. The category H-Alg is complete and cocomplete, and the forgetful functor
into K preserves limits and sifted colimits.
Historical Remarks for Chapter 12
Algebras for an endofunctor were introduced by J. Lambek in [62]. The ini-
tial algebra construction 12.2 and its free-algebra variation 12.7 stem from [1].
Factorizations and colimits in categories H-Alg were studied in [2].
The fact that finitary endofunctors on Set yield one-sorted algebraic cat-
egories follows from the work of M. Barr [15] on free monads, see Appendix
A.
Equational categories of
Σ-algebras
In the present chapter we prove that one-sorted algebraic categories are precisely
the equational categories of Σ-algebras for (one-sorted) signatures Σ. The case
of S-sorted signatures is treated in Chapter 14.
13.1 Remark. We described a left adjoint
FΣ : Set → Σ-Alg
of the forgetful functor UΣ : Σ-Alg → Set in 12.9. The more standard description
is that FΣ X is the following Σ-term-algebra: the underlying set is the smallest
set such that
- every element x ∈ X is a Σ-term
and
- for every σ ∈ Σ of arity n and for every n-tuple of Σ-terms p1 , . . . , pn we
have a Σ-term σ(p1 , . . . , pn ).
The Σ-algebra structure on FΣ X is given by the formation of terms σ(p1 , . . . , pn ).
This defines a functor FΣ : Set → Σ-Alg on objects. To define it on morphisms
f : X → Z, let FΣ f be the function which in every term p of FΣ X substitutes
for every variable x ∈ X the variable f (x). More explicitly:
- if x ∈ X, then FΣ f (x) = f (x),
- if p1 , . . . , pn ∈ FΣ X and σ ∈ Σn , then
FΣ f (σ(p1 , . . . , pn )) = σ(FΣ f (p1 ), . . . , FΣ f (pn )).
111
CHAPTER 13. EQUATIONAL CATEGORIES OF Σ-ALGEBRAS
FΣ {x0 , . . . , xn−1 }
(TΣ , TΣ ) .
ε(T ,T ) : TC(T ,T ) −→ (T , T )
of one-sorted theories. It is clearly full and then, by 10.13, the unique functor ε′
making commutative the following diagram of morphisms of one-sorted theories
is an isomorphism
Q
TC(T ,T ) / TC(T ,T ) / ∼
FF u
FF uu
F
ε(T ,T ) FFF uuu′
F" uu ε
uz u
T
Therefore:
13.9 Remark.
t = t′
2. In fact, for the theory TΣ equations in the sense of 10.1 are equivalent to
the classical equations: given a parallel pair
t, t′ : n ⇉ k in TΣ
pki · t = pki · t′
13.10 Definition.
2. Equational categories are concrete categories over Set which are, for some
signature Σ, equational categories of Σ-algebras.
13.13 Example. Beside the algebraic theory Tab of abelian groups of 1.11
we now have a different one, based on the usual equational presentation: let
Σ = {+, −, 0} with + binary, − unary and 0 nullary. Then a theory of abelian
groups is the quotient TΣ / ∼ modulo the congruence on TΣ generated by the
four equations
(x + y) + z = x + (y + z)
x+y = y+x
x+0 = 0
x + (−x) = 0
for all m, m′ ∈ M.
13.16 Definition. A concrete category U : A → K is called:
1. Amnestic provided that given an isomorphism i : A → A′ in A with U i =
idUA , then A = A′ . (This implies i = idA because U is faithful.)
2. Transportable provided that for every object A in A and every isomorphism
i : U A → X in K there exists an isomorphism j : A → B in A with
U B = X and U j = i.
3. Uniquely transportable if in 2. the isomorphism j is unique.
13.17 Example.
1. For every one-sorted algebraic theory (T , T ) the concrete category
Alg T : Alg T → Set
in ik
X n = Bn / Bk = X k
Bf
UH : H-Alg → K , (A, a) 7→ A
13.18 Remark.
E /B
A@
@@
@@
U @@
V
K
E /B
A@
@@
@@
U @@ V
K
(a) products,
(b) subalgebras,
and
I / HΣ -Alg = Σ-Alg
H-AlgG
GG v
GG vv
G vv
UH GGG vv
# vz v UΣ
Set
clearly commutes.
Since I is injective on objects, H-Alg is concretely isomorphic to the full
subcategory I(H-Alg ) of Σ-Alg . We are to prove that I(H-Alg ) satisfies the
conditions of Proposition 13.22.
(a) Consider the above commutative diagram. Since UH preserves and UΣ
reflects limits and sifted colimits, I preserves them. In particular, I(H-Alg ) is
closed in Σ-Alg under products.
(b) Let f : (A, x) → I(B, b) be a monomorphism in Σ-Alg (and then in Set).
Since αA is a strong epimorphism in Set, we get an H-algebra structure on A
by diagonal fill-in:
HΣ f
HΣ AG / HΣ B
GG α
GG A αB
GG
G#
Mf
x HA / HB
a b
{
A /B
f
(a) finitely generated if it is generated by a finite set (see 11.10), that is, (A, a)
is isomorphic to
FΣ {x1 , . . . , xn }/ ∼
and
generates A.
13.25 Proposition. A Σ-algebra is a finitely generated object of Σ-Alg if and
only if it is a regular quotient of a finitely generated free algebra.
Proof. (1) Let (A, a) be a finitely generated object of Σ-Alg . Form a diagram
in Σ-Alg indexed by the poset of all finite subsets of A by assigning to every
such X ⊆ A the subalgebra X of A generated by X (see 11.10). Given finite
subsets X and Z with X ⊆ Z ⊆ A, the connecting map X → Z is the inclusion
map. Then the inclusion homomorphisms iX : X → A form a colimit cocone of
this directed diagram. Since the functor Σ-Alg (A, −) preserves this colimit, for
idA ∈ Σ-Alg (A, A) there exists a finite set X such that idA lies in the image of
iX – but this proves X = A.
(2) Let us prove that every quotient A = F {x1 , . . . , xn }/ ∼ is finitely generated.
Given a directed diagram of subobjects Bi (i ∈ I) with a colimit B = colim Bi ,
it is our task to prove that Σ-Alg (A, −) preserves this colimit, that is, every
homomorphism h : A → B factorizes through one of the colimit homomorphisms
bi : Bi → B. For the finite set {h(ηX (xk ))}nk=1 there exists i ∈ I such that this
set lies in the image of bi . From that it easily follows that the image of h is
contained into the image of bi . Since bi is a monomorphism, it follows that there
exists a homomorphism g : A → Bi with h = bi · g, as requested.
13.26 Proposition. A Σ-algebra is a finitely presentable object of Σ-Alg if
and only if it is a regular quotient of a finitely generated free algebra modulo a
finitely generated congruence.
Proof. (1) Let (A, a) be a finitely presentable object. By 11.28 there exists
a coequalizer
u / c /
F X Σ /F Z Σ (A, a)
v
with X and Z finite. Let ∼ be the congruence generated by the finitely many
equations u(ηΣ (x)) = v(ηΣ (x)) where x ∈ X, then (A, a) is clearly isomorphic
to FΣ Z/ ∼ : the canonical morphism q : FΣ Z → FΣ Z/ ∼ is namely also a
coequalizer of u and v.
(2) Conversely, let Z be a finite set and ∼ a congruence on FΣ Z generated
by equations t1 = s1 , . . . , tk = sk . For X = {1, . . . , k} define homomorphisms
u, v : FΣ X ⇉ FΣ Z by
This chapter contains classical results one can find in every introduction to
general algebra, e.g. [37].
The concepts of amnestic and transportable concrete categories are taken
from [4].
S-sorted algebraic
categories
Xs0 × . . . × Xsn−1
for some word w = s0 . . . sn−1 over S. We, again, suppose that projections
are chosen. And, again, instead with the above product we work with the word
s0 . . . sn−1 alone. In other words, the theory N which plays a central role for
one-sorted theories is generalized to the following:
S∗
the category whose objects are the finite words on S, and whose morphisms
from s0 . . . sn−1 to t0 . . . , tk−1 are all functions f : k → n with sf (i) = ti for all
123
CHAPTER 14. S-SORTED ALGEBRAIC CATEGORIES
i = 0, . . . , k − 1.
In particular, for every word w = s0 . . . sn−1 we have the projections
πiw : s0 . . . sn−1 → si (i = 0, . . . , n − 1)
14.3 Remark. We know from 1.10 that S ∗ is an algebraic theory for Set S , and
every word w is a product of one-letter words with the projections π0w , . . . , πn−1
w
S ∗
above. We are going to identify Set with Alg S . The full embedding
YS ∗ : (S ∗ )op → Set S
YS ∗ (w)s = {i = 0, . . . , n − 1 ; si = s} .
14.6 Example.
2. Let C be a small category, put S = obj C, and let ETh : C → TC denote the
free completion of C under finite products (1.6); recall from 1.7 that the
objects of TC can be viewed as words over S. Moreover, if C is discrete,
then TC = S ∗ . Therefore, we have a unique theory morphism TC : S ∗ → TC
which is the identity map on objects. We obtain an S-sorted theory
(TC , TC ) .
14.7 Remark. Precisely as in the one-sorted case, the functor T does not
influence the concept of algebra: the category Alg T thus consists, again, of
all functors A : T → Set preserving finite products. However, the presence of
T makes the category of algebras concrete over Set S : the forgetful functor is
simply
Alg T : Alg T → Set S
(see 14.4). More precisely, this forgetful functor takes an algebra A : T → Set
to the S-sorted set hAsis∈S , and a homomorphism h : A → B to the S-sorted
function with components hs : As → Bs.
14.8 Proposition. Let (T , T ) be an S-sorted algebraic theory. The forgetful
functor
Alg T : Alg T → Set S
is faithful, algebraic and conservative. It thus preserves and reflects limits, sifted
colimits, monomorphisms and regular epimorphisms.
The proof is analogous to that of 11.8.
14.9 Remark. The concept of one-sorted algebraic category in Chapter 11 used
concrete equivalences of categories over Set. For S-sorted algebraic theories we
need, analogously, concrete equivalences over Set S (see 11.12).
14.10 Definition. A S-sorted algebraic category is a concrete category over
Set S which is concretely equivalent to Alg T : Alg T → Set S for an S-sorted
algebraic theory (T , T ).
14.11 Proposition. Every variety of T -algebras for an S-sorted theory (T , T )
is an S-sorted algebraic category.
The proof is analogous to that of 11.17.
14.12 Remark. Let (T , T ) be an S-sorted theory.
1. The forgetful functor Alg T : Alg T → Set S has a left adjoint. In fact, due
to 4.11 applied to YS ∗ : (S ∗ )op → Set S we can choose a left adjoint
FT : Set S → Alg T
YS ∗ YT
Set S / Alg T
FT
commutes.
2. T -algebras of the form FT (X), for X an S-sorted set, are called free alge-
bras. If X is finite (1.10), they are called finitely generated free algebras.
σ: s
for n = 0.
2. A Σ-algebra is a pair (A, a) consisting of an S-sorted set A = hAs is∈S and
a function assigning to every element σ : s0 . . . sn−1 → s of Σ a mapping
σ A : As0 × . . . × Asn−1 → As .
f = hfs i with fs : As → Bs (s ∈ S)
σA
As0 × . . . × Asn−1 / As
fs0 ×...×fsn−1 fs
Bs0 × . . . × Bsn−1 / Bs
σB
Σ-Alg
14.17 Example.
1. The category of graphs has the form Σ-Alg for S = {v, e} and Σ consisting
of two operations of arity e → v (called τ and σ in 1.15).
2. For Σ = ∅ we have Σ-Alg = Set S .
3. For sequential automata (see 1.20) put S = {s, i, o} and Σ = {δ, γ, ϕ} with
arities δ : si → s, γ : s → o and ϕ : s.
4. For the example of stacks 1.19 put S = {s, n} and Σ = {succ, push, pop,
top, 0, e} with the arities given in 1.19.
14.18 Remark.
1. The description of a left adjoint
FΣ : Set S → Σ-Alg
(TΣ , TΣ )
analogous to the one described in 13.2: the words s0 . . . sn−1 represent the
sn−1
free Σ-algebra FΣ {xs00 , . . . , xn−1 }. The categories Σ-Alg and Alg TΣ are
concretely equivalent over Set S , this is analogous to 13.3.
3. Equations in the sense of 10.1 can be substituted by expressions
t = t′
where t and t′ are two elements of FΣ X of the same sort (for some finite
S-sorted set X of standard variables). This is analogous to 13.9, except
14.22 Definition.
2. S-sorted equational categories are concrete categories over Set S which are,
for some signature Σ, S-sorted equational categories of Σ-algebras.
14.23 Proposition.
14.25 Example.
of elements x, y, z, . . . of In .
14.28 Remark.
1. The converse implication of Theorem 12.15 does not generalize to the
S-sorted case: a quotient of a polynomial functor on Set S need not be
finitary.
A simple example can be presented in Set N : start with the constant
functor of value 2 = 1 + 1 (the S-sorted set having two elements in every
sort). This functor is clearly polynomial. Let H be the quotient with
HX = 1 whenever all sorts of X are nonempty, else, HX = 2. This
functor does not preserve the filtered colimit of all finitely presentable
subobjects of 1.
2. For finite sets S of sorts Theorem 12.15 fully generalizes: finitary endo-
fuctors of Set S are precisely the quotients of polynomial functors. In fact,
the proof of 12.15 easily modifies: in part (b) of the implication 3 ⇒ 1
choose the S-sorted set Z ′ in such a way that for every sort s we have
Zs′ 6= ∅ iff Cs 6= ∅; since D is filtered and S is finite, this choice is clearly
possible. Then, again, c′d · i′ is a split monomorphism.
Morita equivalence
133
CHAPTER 15. MORITA EQUIVALENCE
1. Matrix ring R[k] . This is the ring of all k × k matrices over R with the
ususal addition, multiplication, and unit matrix. This ring R[k] is Morita
equivalent to R for every k > 0, i.e., the category R[k] -Mod is equivalent
to R-Mod.
Morita’s original result is that the two operations above are sufficient: if a ring
S is Morita equivalent to R, i.e., R-Mod and S-Mod are equivalent categories,
then S is isomorphic to the ring uR[k] u for some pseudoinvertible idempotent
k × k matrix u.
15.5 Remark.
1. Both T [k] and uT u are well defined. In fact, T [k] has finite products with
p = 1 × . . . × 1 : the i-th projection is obtained from the i-th projection in
T of kp = k × . . . × k. Also uT u has finite products with p = 1 × . . . × 1 :
the i-projection πi : p → 1 of T yields a morphism u · πi : p → 1 of uT u
(i = 1, . . . , k) and these morphisms form a product p = 1 × . . . × 1 in uT u.
1. the matrix theories T [k] are Morita equivalent to T for all k > 0,
and
Proof. 1: Matrix theory T [k] . We have a full and faithful functor T [k] → T
defined on objects by n 7→ nk and on morphisms as the identity mapping.
Every objects of T is a retract of an object coming from T [k] : in fact, for every
n consider the diagonal morphism ∆ : n → nk = n × . . . × n. Consequently, T
and T [k] have the same idempotent completion. Thus, by 8.12, they are Morita
equivalent.
2: Idempotent modification uT u. Here we consider T as a full subcategory of
(Alg T )op via the Yoneda embedding (1.4)
YT : T → (Alg T )op .
Following 8.3, the idempotent YT (u) : YT (1) → YT (1) has a splitting in (Alg T )op ,
say
YT (u) idA
YT (1) / YT (1) AE /A
EE y< EE yy<
EE yy EE yy
E
ǫ EE
y E yyǫ
E" yy η η EE
" yy
yy
A YT (1)
Ȳ f
Ap / Aq
O
ηp ǫq
YT (p) / YT (q)
YT (f )
in (Alg T )op . Observe that Ȳ (idp ) = idAp because ǫ · η = idA . Now, we check
the equation
YT (f ) = η q · Ȳ (f ) · ǫp [15.1]
Indeed:
YT (f ) = YT (u)q · YT (f ) · YT (u)p = η q · ǫq · YT (f ) · η p · ǫp = η q · Ȳ (f ) · ǫp .
Ȳ (f ) = ǫq · YT (f ) · η p = ǫq · η q · h · ǫp · η p = h .
YT (f ) · YT (up ) = η q · h · ǫp · η p · ǫp = η q · h · ǫp = k = YT (f )
E : Alg S → Alg T
idA
AE /A
EE yy<
EE yy
E
η EE yyǫ
" yy
YT (n)
i E η̄ kη
YT (n) / E Ā / EYS (k) ≃ kA / kYT (n) ≃ YT (nk)
and
kǫ / kA ≃ EYS (k) Eǭ / E Ā i−1 / YT (n)
YT (nk) ≃ kYT (n)
commutes. Using once again YT (u) = η · ǫ and the faithfulness of YT , one easily
checks that up · Ēf · uq = Ēf, so that Ēf is a morphism p → q in uT [n] u. The
proof that Ē is a well defined, full and faithful functor is analogous to that in
Theorem 15.6 and is left to the reader.
15.8 Example. All one-sorted theories of Set. These are, up to equivalence
of categories, precisely the theories Tk of 15.1. In fact, it is easy to see that
[k]
Tk ≃ T1 is the matrix theory for every k ≥ 1. Moreover, given an idempotent
u : 1 → 1 of Tk , then the function u : k → k in Set is pseudoinvertible iff it is
invertible, thus u = id . Consequently, there are no other one-sorted theories of
Set.
15.9 Example. Let R be a ring with unit. Following 11.22, we can describe a
one-sorted theory TR of R-Mod : TR is the full subcategory of R-Modop of the
finitely generated free R-modules Rn (n ∈ N). Every one-sorted algebraic theory
of R-Mod is equivalent to TS for some ring S which is Morita equivalent to R.
Indeed, the two constructions of 15.3 fully correspond to the two constructions
of 15.4:
M: T ⇒S
M : T ⇒ S 7→ M ∗ : Alg T → Alg S
141
CHAPTER 16. FREE EXACT CATEGORIES
N (f ) // /X
q
e
# m1
/ / N (m) /I
m2 m
X //I /Z
e m
a1
A0 // A1
a2
f0 f1
b1
B0 // B1
b2
a1 a2
A0 /Ao A1
f0 f f1
B0 /Bo B1
b1 b2
For the sake of generality, let us point out that in 16.1, 16.2 and 16.3 we do
not need that in A equivalence relations are effective.
diagram
E′ E
} EE
e′ }}} EEn
}} EE
}~ } E"
A0 QQ a2 N (f1 )
QQQ
QQQ mmkm1mmm
a1 mQ k2
mmm QQQQQ
vmmmmm QQ(
A1 A1
We will use this fact in the proof of Theorem 16.24.
Observe that, unlike limits, weak limits are very much “non-unique”. For
example, any non-empty set is a weak terminal object in the category Set.
h πX : L → DX iX∈D
h πX · l : P → DX iX∈D
is a weak limit of D in P.
16.10 Remark. To avoid any ambiguity in the previous definition, let us point
out that if the comparison w : F W → lim F · D is a regular epimorphism for
a certain weak limit W of D, then the comparison w′ : F W ′ → lim F · D is
a regular epimorphism for any other weak limit W ′ of D. This follows from
Corollary 16.2 because w factorizes through w′ .
16.11 Example.
16.12 Example. Let P be a category with weak finite limits, and consider
the (possibly illegitimate) functor category [P op , Set]. The canonical Yoneda
embedding YP op : P → [P op , Set] is a left covering functor.
16.13 Remark. In the main result of this chapter (16.24) we show that an
exact category with enough regular projective objects is a free exact completion
of any of its regular projective covers. This is one of the results that request
working with the left covering property (instead of the seemingly more natural
condition of preservation of weak finite limits). In fact, the basic example 16.11.2
would not be true otherwise. This can be illustrated by the category of rings:
the inclusion of the full subcategory P of all regular projective rings does not
preserve weak finite limits. For example, the ring Z of integers is a weak terminal
object in P, but it is not a weak terminal object in A because the unique
morphism from Z to the one-element ring does not have a section.
A remarkable fact about left covering functors is that they classify exact
functors. Before stating this in a precise way, see 16.24, we need some facts about
left covering functors and pseudoequivalences. A pseudoequivalence is defined
“almost” as an equivalence relation, but (a) using a weak pullback instead of
a pullback to express the transitivity, and (b) without the assumption that the
graph be jointly monic.
16.14 Definition. Let P be a category with weak pullbacks. A pseudoequiva-
lence is a parallel pair
x1
/
X′ x / X
2
which is
1. reflexive, i.e., there exists r : X → X ′ such that x1 · r = idX = x2 · r,
2. symmetric, i.e., there exists s : X ′ → X ′ such that x1 · s = x2 and x2 · s =
x1 ,
and
3. transitive, i.e., in an arbitrary weak pullback
x′1
P / X′
x′2 x2
X′ /X
x1
i′2 i2
F X′ //I / FX
p i1
v·q
FP //Q
τ
p·F t hi1 ·i′1 ,i2 ·i′2 i
v
I / FX × FX
hi1 ,i2 i
16.17 Remark. Generalizing the fact that functors preserve finite limits iff
they preserve finite products and equalizers, we are going to prove the same
for left coverings. We use the phrase “left covering with respect to weak finite
products” for the restriction of 16.9 to discrete categories D. Observe that this is
equivalent to being left covering with respect to weak binary products and weak
terminal objects. Analogously, we use “left covering with respect to equalizers”.
Proof. 1. Using Lemma 16.3 and working by induction, one extends the
left covering character of F to joint equalizers of parallel n-tuples, and then to
multiple pullbacks.
2. Consider a finite diagram D : D → P. We can construct a weak limit of D
using a weak product ΠX∈D DX, weak equalizers Ed , one for each morphism
d : X → X ′ in D, and a weak multiple pullback E as in the following diagram
Ed J DX ′
e′d ~~> JJJ Dd·π ss ssss9 9
e
JJJd X
~~ sssss
~~~ JJJ
$ s sssssssπX ′
~ s
E@ .. ΠX∈D DX ..
@@ . t: KKKKKKKDc·π .
@@ tt KKKKKK Y
@ tt KKKKKK
e′c @@ ttt ec π Y′
tt K% %
Ec DY ′
Ld F DX ′
l′d ?
KK
KK l F Dd·π̃ q qqqqq8 8
KKd X qq q
KK qqqqqq
KK
% qqqqqqq π̃X ′
L? .. ΠX∈D F DX ..
?? . s9 MMMMMMMF Dc·π̃ .
?? ss MMMMMM Y
? ss MMMMMM
l′c ?? sss lc π̃ MMM& &
Y′
ss
Lc F DY ′
? Sd LLLL p 7 7 DX ′
ppF
s′d LLLsd F Dd·F π pp p
pXpppp
LLL
L p pppppppFpπ ′
% pp X
S? .. F (Π X∈D DX) ..
?? . r 9 NNNNNNF Dc·F πY .
N
?? rrr NNNNNN
?
s′c ?? rrrrrsc F π
NNNNNN
NNN' '
Y′
rr
Sc F DY ′
By assumption, the canonical factorization qd : F Ed → Sd is a regular epimor-
phism. By Lemma 16.3, this gives rise to a regular epimorphism q : Q → S,
where Q is the multiple pullback of the F ed . By part 1., the canonical factor-
ization t : F E → Q is a regular epimorphism. Finally, a diagram chase shows
that the pullback of ld · ld′ along the canonical factorization p : F (ΠX∈D DX) →
ΠX∈D F DX is sd · s′d . By part 1., p is a regular epimorphism, so that we get a
regular epimorphism p′ : S → L. The regular epimorphism p′ · q · t : F E → Q →
S → L shows that F is left covering.
16.19 Lemma. A left covering functor F : P → B preserves finite jointly mono-
morphic sources.
Proof. A family of morphisms (fi : A → Ai )i∈I is jointly monomorphic if and
only if the span formed by idA , idA is a limit of the corresponding diagram:
id/A x / FA id /
A 00 L 44 FA F A4
00 4 44
id fi 00 y F fi 44 id F fi 44
00 44 44
fi F fi 44F fj F fi 44F fj
A OOO / Ai 00fj F A RRR / F Ai 44 F A RRR / F A i 4
OOO . 00 RRR R RRR . . 44
OOO . . 0 RRR . . . 44 R
R . 44
O 0 RRR RR
fj OOOO 0
F fj RRR 44 F fj RRRR 4
O' R ) R)
Aj F Aj F Aj
Let us point out that in 16.16 and 16.18 we do not need to assume that
equivalence relations are effective in B. Moreover, if in Definition 16.9 we replace
regular epimorphism by strong epimorphism, then 16.19 and 16.20 hold for all
categories B with finite limits.
16.21 Definition. Let P be a category with weak finite limits. A free exact
completion of P is an exact category Pex with a left covering functor
Γ : P → Pex
such that for every exact category B and for every left covering functor F : P →
B, there exists an essentially unique exact functor F̂ : Pex → B with F̂ · Γ
naturally isomorphic to F.
Note that, since a free exact completion is defined via a universal property,
it is determined uniquely up to equivalence.
16.22 Remark. Since the composition of the left covering functor Γ : P → Pex
with an exact functor Pex → B clearly gives a left covering functor P → B, the
previous universal property can be restated in the following way: Composition
with Γ induces an equivalence functor
− · Γ : Ex[Pex , B] → Lco[P, B]
where Ex[Pex , B] is the category of exact functors from Pex to B and natural
transformations, and Lco[P, B] is the category of left covering functors from P
to B and natural transformations.
16.23 Remark. In order to prepare the proof of Theorem 16.24, let us explain
how an exact category with enough regular projective objects can be recon-
structed using any of its regular projective covers. Let P → A be a regular
f′
X′ // > Z ′
g′
Σ
a1 ·x a2 ·x b1 ·z b2 ·z
f
//
X g
Z
a b
ϕ
A /B
Using the regular projectivity of X and X ′ and the universal property of the
kernel pair of b, we get a pair (f ′ , f ) such that ϕ · a = b · f and f · ai · x = bi · z · f ′
for i = 1, 2. Conversely, a pair (f ′ , f ) such that f · ai · x = bi · z · f ′ for i = 1, 2
induces a unique extension to the quotient. Moreover, two such pairs (f ′ , f ) and
(g ′ , g) have the same extension if and only if there is a morphism Σ : X → Z ′
such that b2 · z · Σ = f and b2 · z · Σ = g.
16.24 Theorem. Let I : P → A be a regular projective cover of an exact cate-
gory A. Then A is a free exact completion of P.
Proof. 1. Extension of a left covering functor F : P → B to a functor F̂ : A →
B. To define F̂ on objects A ∈ A, construct the coequalizer
x1 =a1 ·x a
// //A
X′ x2 =a2 ·x
X
F x1 F x2 F z1 F z2
FX / FZ
Ff
α β
F̂ A / F̂ B
F̂ ϕ
The discussion in 16.23 shows that this definition does not depend on the choice
of the pair f, f ′ . The preservation of composition and identity morphisms by F̂
comes from the uniqueness of the extension to the quotients. It is clear that
F̂ · I is naturally isomorphic to F and that a different choice of P-covers X and
X ′ for a given object A ∈ A produces a functor naturally isomorphic to F̂ .
2. F̂ is the essentially unique exact functor such that F̂ ·I is naturally isomorphic
to F. Indeed, using once again the notations of 16.23, (F̂ a1 , F̂ a2 ) is the kernel
pair of F̂ a, and F̂ x and F̂ a are regular epimorphisms:
F̂ x F̂ a1 F̂ a
F X ′ ≃ F̂ X ′ / / F̂ N (a) // F̂ X ≃ F X / / F̂ A
F̂ a2
Consider the following diagram, where both lines are products in A and c : R →
X × Z is a P-cover
R
c
πX πZ
Xo X ×Z /Z
a a×b b
Ao πA A×B πB
/B
α γ β
F̂ A o F̂ πA
F̂ (A × B)
F̂ πB
/ F̂ B
γ α×β
F̂ (A × B) / F̂ A × F̂ B
hF̂ πA ,F̂ πB i
The top morphism is a regular epimorphism because F is left covering, and the
right-hand morphism is a regular epimorphism by 16.3.3, so that the bottom
morphism also is a regular epimorphism, as requested.
3b. Equalizers: let
e ϕ
E /A // B
ψ
R ′
m mmm6 Z
n′ mmm
c
mm mm z
mm m
m
E ′′ m6
N (b)
n mmmmm
z′ mmm b1 b2
mmmmm f
m
E′ ′
/X // Z
e g
a′ a b
ϕ
E e
/A // B
ψ
E′ D
~ DD
e′ ~~~ DDn
~~ DD
~ ~ D"
X QQQg N (b)
QQQ b1 mm
QQmQmmmm
f b2
mmm QQQQQ
vmmmmm QQ(
Z Z
R
~ AAA ′
e′ ·z ′ ·c
~~ AAn ·c
~~~ AA
~
X PPPg Z′
PPP bn1 n·znnn
PnPn
f
nnn PPPPP b2 ·z
wnnnn P'
Z Z
6 F Z′
lllll
′
mlll
q
l llll
l ll
′′ N (β)
=V lll6
k m lll
q′ lll β1 β2
llllll Ff
l / FX //
FR V′ v′ FZ
Fg
γ α ′ α β
F̂ ϕ
h v
F̂ E /V /
6 F̂ A // F̂ B
F̂ ψ
F̂ e
diagram:
V ′′ E
′ ′
v ·q zz
z EE ′
z EEm
zz EE
|zz E"
F X RR F g F (b1 ·z) l F Z ′
RRR l
RRRlllll
Ff l l R RRRR F (b2 ·z)
ll
vllll RR(
FZ FZ
Since F is left covering, the unique morphism k : F R → V ′′ such that m′ · k =
F (n′ ·c) and v ′ ·q ′ ·k = F (e′ ·z ′ ·c) is a regular epimorphism. As B is exact and F
is left covering, by 16.16 (β1 , β2 ) is the equivalence relation induced by (z1 , z2 ),
so that q is a regular epimorphism, and then q ′ also is a regular epimorphism.
Since α′ also is a regular epimorphism, it remains to check that α′ · q ′ · k = h · γ.
By composing with the monomorphism v, this is an easy diagram chasing.
3c. Terminal object: let 1A and 1B be terminal objects of A and B, and T → 1A
a P-cover. Applying F̂ we get a commutative diagram
FT / F̂ 1
A
zz
zz
zz
z| z
1B
f′
X′ / Z′
x1 x2 z1 z2
X /Z
f
157
CHAPTER 17. EXACT COMPLETION AND
REFLEXIVE-COEQUALIZER COMPLETION
id id id id
X /Z
f
17.3 Remark.
1. The fact that the above relation among premorphisms is an equivalence
relation can be proved (step by step) using the assumption that the
codomain z1 , z2 : Z ′ ⇉ Z is a pseudoequivalence. Observe also that the
class of (f ′ , f ) depends on f only (compose f with a reflexivity morphism
of (z1 , z2 ) to show that (f ′ , f ) and (f ′′ , f ) are equivalent); for this reason,
we often write [f ] instead of [f ′ , f ].
2. The fact that composition is well-defined is obvious.
3. Γ is a full and faithful functor. This is easy to verify.
4. Observe that if P is small (or locally small), then Pex also is small (or
locally small, respectively).
17.4 Remark. The above equivalence relation among premorphisms in Pex can
be thought of as a kind of “homotopy” relation. And in fact, this is the case in a
particular example: let X be a topological space and X [0,1] the space of continu-
ous maps from the interval [0, 1] to X; the evaluation maps ev0 , ev1 : X [0,1] ⇉ X
constitute a pseudoequivalence. This gives rise to a functor E : Top → Topex .
Now two continuous maps f, g : X → Z are homotopic in the usual sense pre-
cisely when E(f ) and E(g) are equivalent in the sense of Definition 17.1. More
precisely, E factorizes through the homotopy category, and the factorization
E ′ : HTop → Topex is full and faithful (and left covering).
We are going to prove that the above category Pex is exact and the func-
tor Γ : P → Pex is a regular projective cover. For this, it is useful to have
an equivalent description of Pex as a full subcategory of the functor category
[P op , Set].
17.5 Lemma. Let P be a category with weak finite limits, and let
YP op : P → [P op , Set]
be the Yoneda embedding. The following properties of a functor A : P op → Set
are equivalent:
in [P op , Set];
x a1 a
YP op (X ′ ) / / N (a) // Y op (X) //A (for some X ′ in P).
P
a2
YP op (W ) XXX
11 LLL XXXXXX
11 LLLv XXXXX x′1
LLL XXXXX
11 XXXXX
11 LL& XXXXX
u1 X,
11 P JJ′ / YP op (X ′ )
11 JJ
1 JJu
JJ x
x′2 11 JJ
11 J$ ′
a1
11 u2 P / N (a)
11
11 a′2 a2
1
YP op (X ′ ) x / / N (a) a1
/ YP op (X)
Note that the fact that (x1 , x2 ) is a pseudoequivalence in P does not mean
that (YP op (x1 ), YP op (x2 )) is a pseudoequivalence in [P op , Set] because YP op does
not preserve weak pullbacks.
′
17.7 Lemma. There exists an equivalence of categories E : Pex → Pex such that
E · Γ = YP .
op
′
Proof. Consider the functor E : Pex → Pex sending a morphism [f ] : X/X ′ →
′
Z/Z to the corresponding morphism ϕ between the coequalizers as in the fol-
lowing diagram
f′
YP op (X ′ ) / YP op (Z ′ )
x1 x2 z1 z2
YP op (X) / YP op (Z)
f
a b
A /B
ϕ
Γ : P → Pex
e′ f′
E′ / X′ // Z ′
g′
e1 e2 x1 x2 z1 z2
f
//
E /X Z
e g
This means that we need the following equations: x1 ·e′ = e·e1 and x2 ·e′ = e·e2 .
Moreover, we request f ·e and g ·e being equivalent, that is, we need a morphism
such that [e] · [h] = [e] · [k]. This means that there is a morphism Σ : A → X ′
such that x1 · Σ = e · h and x2 · Σ = e · k. By the weak universal property of
E ′ , we have a morphism Σ′ : A → E ′ such that e1 · Σ′ = h and e2 · Σ′ = k. This
means that [h] = [k].
(iv) We prove that every morphism
h′ / X′
A′
a1 a2 x1 x2
A /X
h
in Pex such that [f ] · [h] = [g] · [h] factorizes through [e]. We know that there is
Σ : A → Z ′ such that z1 ·Σ = f ·h and z2 ·Σ = g ·h. The weak universal property
of E yields then a morphism k : A → E such that e · k = h and Σ · k = ϕ. Now,
x1 · h′ = e · k · a1 and x2 · h′ = e · k · a2 . The weak universal property of E ′ yields
a morphism k ′ : A′ → E ′ such that e1 · k ′ = k · a1 and e2 · k ′ = k · a2 . Finally,
the needed factorization is [k ′ , k] : A/A′ → E/E ′ .
1b. Products: Consider two objects x1 , x2 : X ′ ⇉ X and z1 , z2 : Z ′ ⇉ Z in Pex .
Their product is given by
x′ z′
X′ o P′ / Z′
x1 x2 p1 p2 z1 z2
Xo x P z
/Z
where
x z
Xo P /Z
1c. Terminal object: For any object T of P, the projections from a weak product
π1 , π2 : T × T ⇉ T form a pseudoequivalence. If T is a weak terminal object in
P, then (π0 , π1 ) is a terminal object in Pex .
2. Pex is closed under finite limits in [P op , Set]. In fact, by Lemma 17.7, we
′
can identify Pex with Pex . We prove that the full inclusion of Pex into [P op , Set]
preserves finite limits. Because of Lemma 16.20, it is enough to prove that
the inclusion is left covering. We give the argument for equalizers, since that
for products and terminal object is similar (and easier). With the notations of
part 1., consider the following diagram, where ǫ, α and β are extensions to the
coequalizers, the triangle on the right is a regular factorization, and the triangle
at the bottom is the factorization through the equalizer
e′ f′
YP op (E ′ ) / YP op (X ′ ) // YP op (Z ′ )
g′ II
II z
II
II
f b1
I$ $
e / YP op (X) // Y op (Z) oo
YP op (E) P N (b)
g b2
c a b
ǫ /k5 A
α //
C B
kkk β
′ kkkkk
ǫ kkkkl
kkkkkk
L
We have to prove that C lies in Pex . For this, consider the following diagram:
K / B ′′ / YP op (X)
a
/B α /A
B′
β c
YP op (X) //A //C
a c
with each square except, possibly, the right-hand bottom one, a pullback. The
remaining square is, then, also a pullback because [P op , Set] is exact, X ∈ P
and a is a regular epimorphism. Since A, B and YP op (X) are in Pex , which is
closed in [P op , Set] under finite limits (see part 2.), also K lies in Pex . So, K is
a regular quotient of a representable object. But K is also the kernel pair of
the regular epimorphism c · a : YP op (X) → C. By Lemma 17.5, this means that
C is in Pex .
17.9 Corollary. For every category P with weak finite limits, the functor
Γ : P → Pex
of 17.2 is a free exact completion of P.
In fact, this follows from 16.24 and 17.8.
17.10 Remark. Let A be an algebraic category. From Chapter 7 we know that
there are equivalences
A ≃ Ind (Af p ) and Af p ≃ Rec (App )
where App and Af p are the full subcategories of A of perfectly presentable
objects and of finitely presentable objects, respectively, and Rec is the free
completion under finite colimits conservative with respect to finite coproducts
(see 17.11). An analogous situation holds with the exact completion. In fact,
there are equivalences
A ≃ (Arp )ex ≃ (FCSum (App ))ex and Arp ≃ Ic (FCSum (App ))
where Arp is the full subcategory of regular projective objects and FCSum is the
free completion under coproducts conservative with respect to finite coproducts.
ERec : C → Rec C
YT : T op → (Alg T )f p
and
Z1
z1 z2
f
// Z
V g
0
h : f 7→ g
such that f · x1 ∼ f · x2 .
X Z
id id id id
f
P (X / Z) = X /Z
[f ]
17.13 Remark.
1. Consider
Z1
z1 z2
f
V // Z 0
g
@f1 ? ; fn >
h1
?? h
?? 2 {{{ ~>>> hn+1
hn
{ >>
?? {{ >>
}{{
f f2 ...... fn−1 g
17.14 Lemma. Let C be a category with finite coproducts. The category Rec C
of 17.12 has finite colimits and ERec : C → Rec C preserves finite coproducts.
Z1
z1 z2
f
// Z
V g
0
ERec x1 [idX0 ] x1
ERec X1 // ERec X0 / (X1 // X 0 )
ERec x2 x2
ERec : C → Rec C
and
2. for every functor F : C → B preserving finite coproducts, where B is
a finitely cocomplete category, there exists an essentially unique functor
F ∗ : Rec C → B preserving finite colimits with F naturally isomorphic to
F ∗ · ERec .
ERec
C? / Rec C
?? y y
?? ≃ yy
F ?? yy ∗
|yy F
B
F x1
F X1 // F X / F ∗ (x1 , x2 )
0
F x2
Finitary localizations of
algebraic categories
r ◦ r ◦ ...◦ r n-times
169
CHAPTER 18. FINITARY LOCALIZATIONS OF ALGEBRAIC
CATEGORIES
a pullback)
r◦r
r1′
x FFF r′
x xx FF 2
xx FF
|xx F"
′
X E X′ B
r1 | || EE y y BB r
| EEr2 r1 y
y BB 2
|| EEE yy BB
~|| " |yy B
X X X
Since F preserves filtered colimits and finite limits, we have F r = F r. The pseu-
doequivalence r has a coequalizer, which is preserved by F. But a coequalizer
of r is also a coequalizer of r, and so F preserves coequalizers of reflexive and
symmetric pairs of morphisms.
3. If r = (r1 , r2 ) is just a reflexive pair, then a reflexive and symmetric pair
containing r is given by r ◦ r−1 , that is
r ◦ r−1G
ww GG
s1 ww GGs2
w GG
www GG
{w #
′
X H X′ B
| HH vv BB r
r1 || HHr2 r2 vv BB 1
|| HH vv BB
|| HH# v B
~| {vv
X X X
exactness of the category, and the existence of coproducts of objects from the
generator. In fact, we have the following result (recall that a category is well-
powered if, for a fixed object A, the subobjects of A constitute a set (not a
proper class):
where the (G, h)-components of eS and ŝ are h and g, respectively, and the
(G, g)-component of σ is h. By diagonal fill-in there exists d : SM(s) → S such
that d · qM(s) = σ and s · d = sM(s) . Such a d is an isomorphism: it is a
monomorphism because sM(s) is, and an extremal epimorphism because eS is.
Thus, F (M(s)) = s and the proof is complete.
From Propositions 3.18 and 6.22, we know that an algebraic category is exact
and locally finitely presentable. The converse is not true because of the lack of
projectivity of the generator. In the remaining part of this chapter we want to
state in a precise way the relationship between algebraic categories and exact,
locally finitely presentable categories.
18.7 Definition. Given a category B, by a localization of B is meant a reflective
subcategory A whose reflector preserves finite limits. And A is called a finitary
localization if, moreover, it is closed in B under filtered colimits.
18.8 Remark. More loosely, we speak about localizations of B as categories
equivalent to full subcategories having the above property. We use the notation
o R
A /B
I
o R
A /B
I
Ir1 q
IA′ // IA //Q
Ir2
and this means that (r1 , r2 ) is effective. It remains to prove that regular epi-
morphisms are stable under pullbacks. For this, consider a pullback
f′
P /C
g′ g
A /B
f
e′ /Q m′ / IC
IP
Ig′ h Ig
IA /E / IB
e m
projective cover of Alg T (5.15). Since, by 16.27, the full inclusion of P into
Alg T is a free exact completion of P and, by assumption, Lex T is exact, it
remains just to prove that the inclusion P → Lex T is left covering. Once this
is done, we can apply 16.26 to the following situation
P EE / Alg T
EE u u
EE
EE uuu
uu
E" zuu R
Lex T
where R is the reflector, and we conclude that R is an exact functor. But the
inclusion P → Alg T ≃ Pex is left covering, and Lex T is closed in Alg T under
limits, so that also the inclusion P → Lex T is left covering.
18.11 Remark. To finish this chapter, we observe that Corollary 18.2 can
be used to prove the characterization of varieties established in 10.24 without
using Birkhoff’s Variety Theorem 10.22. We sketch the argument. Let T be an
algebraic theory and
I : A → Alg T , R ⊣ I
a regular epireflective subcategory closed under regular quotients and directed
unions. From the closedness under regular quotients it immediately follows
that I preserves regular epimorphisms and that in A equivalence relations are
effective, so that A is exact. To prove that I preserves filtered colimit, consider
a functor F : D → A with D filtered and let hσd : F d → Bid∈D be its colimit
cocone in Alg T . Let
ed
Fd / Gd md / B
be the regular factorization of σd . For any morphism f : d → d′ in D there
exists a unique Gf : Gd → Gd′ such that md′ · Gf = md (use diagonal fill-in,
cf. 0.16). This defines a new functor G : D → A (indeed Gd ∈ A because it
is a regular quotient of F d ∈ A) and B is the directed union of the Gd’s, so
that B ∈ A. Following 18.2 I preserves sifted colimits and then by 6.18 A is
algebraic. Moreover, an algebraic theory TA of A can be described as follows
(cf. 6.16):
TAop = {R(T (X, −)) | X ∈ T }
The functor
T → TA , X 7→ R(T (X, −))
preserves finite products (by 1.5) and is surjective on objects. It remains to
prove that it is also full: let η be the unit of the adjunction R ⊣ I and con-
sider f : R(T (X, −)) → R(T (Z, −)). Since ηT (Z,−) is a regular epimorphism
and T (X, −) is regular projective, there exists g : T (X, −) → T (Z, −) such that
f · ηT (X,−) = ηT (Z,) · g. Since η is natural and ηT (X,−) is an epimorphism, it
follows that Rg = f. By 10.13 TA is a quotient of T . Finally
A ≃ Alg TA ≃ Alg (T / ∼)
so that A is a variety of T -algebras.
The first systematic study of localizations is due to P. Gabriel [47] who also
together with N. Popesco characterized Grothendieck categories, see [83]. This
is an ancestor of Theorem 18.10.
Arbitrary (i.e., non necessarily finitary) localizations of one-sorted algebraic
categories and, more in general, of monadic categories over Set are characterized
in [93] and in [94]. Essential localizations are studied in [10], which generalizes
the original result for module categories due to J. E. Roos [88].
One of the results of Lawvere’s thesis [63] is a characterization of one-sorted
algebraic categories, compare with Corollary 18.6. The only difference is that
in Lawvere’s original result the generator is required to be abstractly finite,
a notion that without the other conditions of the characterization theorem is
weaker than finitely presentability.
Monads
An important aspect of algebraic categories which has not yet been treated in
this book are monads. The aim of this appendix is to give a short introduction to
monads on a category K, and then to explain how finitary monads for K = Set
precisely yield one-sorted algebraic theories, and for K = Set S the S-sorted
ones.
The word “monad” stems from monoid: recall that a monoid in a category
K is an object M together with a morphism m : M × M → M which
m×idM
M ×M ×M / M ×M
idM ×m m
M ×M /M
m
commutes, and
5 M iS
kkkk O SSSSSSS
idM kkkkk Sid
SSMSS
kkkk m
SSSS
kkkk
M = 1 × M e×id / M ×M o M ×1=M
M id ×e
M
commute.
A.1 Definition.
177
APPENDIX A. MONADS
Mµ
MMM / MM [A.1]
µM µ
MM /M
µ
and
6 M hP [A.2]
nnn O PPPPP
Mnnnn PM
PPP
n µ
nnn PPP
nnn / M ·M o
P
M ηM Mη
M
commute.
2. The monad is called finitary if M is a finitary functor.
A.2 Example.
1. The functor M : Set → Set given by
MX = X + 1
M X = X∗
of all words on it, that is, the (underlying set of the) free monoid on X.
This yields an endofunctor on Set together with natural transformations
ηX : X → X ∗ , the formation of one-letter words, and µX : (X ∗ )∗ → X ∗
given by concatenation of words.
3. Recall that for every finitary endofunctor H of Set free H-algebras exist,
giving a left adjoint FH : Set → H-Alg (see 12.7). The corresponding
monad H ∗ on Set is called the free monad on H. For example, if H is
the polynomial functor of a signature Σ, the free monad is the monad of
Σ-terms.
In the notation of 12.6 we have two natural transformations
η : Id → UH FH = H ∗
and
ϕ : HH ∗ → H ∗
ψ = ϕ · Hη : H → H ∗ .
We will see in A.28 that it has the universal property explaining the name
free monad.
A.3 Example. The basic example of a monad is that induced by any adjoint
situation
o F /
A K where F ⊣ U .
U
Let η : IdK → U F and ε : F U → IdA denote the unit and counit of the adjunc-
tion. Recall the equalities
U = U ε · ηU and F = εF · F η [A.3]
M = UF : K → K
µ = U εF : M M = U F U F → U F = M [A.4]
which, together with the unit η : IdK → M, forms a monad on K. In fact, the
commutativity of the two triangles [A.2] follows from [A.3] and the square [A.1]
follows from the naturality of ε :
ε · F U ε = ε · εF U [A.5]
yielding
µ · M µ = U (ε · F U ε)F = U (ε · εF U )F = µ · µM .
Observe that whenever U is a finitary functor, this monad is finitary because
F, being a left adjoint, always preserves filtered colimits.
A.4 Example.
A.5 Remark. Recall from 12.1 the category M -Alg of M -algebras for the
endofunctor M of K. If M is the monad induced by an adjoint situation F ⊣ U
XE [A.6]
EE
ηX
EEidX
EE
E"
MX x / X
KM .
UM : K M → K , (X, x) 7→ X
A.8 Example.
1. For every category K we have the trivial monad Id = (IdK , id, id). The
only Eilenberg-Moore algebras are idX : X → X. Thus, K I ≃ K.
3. For the word monad A.2.2 the category Set M is essentially the category
of monoids. In fact, given an Eilenberg-Moore algebra x : X ∗ → X, then
[A.6] states that the response to one-letter words is trivial: x(a) = a. And
[A.7] states that for words of length larger than 2 the response is given by
the binary operation
a1 ∗ a2 = x(a1 a2 ) .
In fact, for example in length 3 we get
MMf Mf
µY
MMZ / MZ
Mz z
MZ /Z
z
FM
o /K
KM
UM
FM X = (M X, µX ) .
µ = UM ε FM .
o F
A /K with F ⊣ U
U
K: A → KM
KA = (U A, U εA )
UεA
MUA / UA
MUf Uf
MUB / UB
UεB
in K. In fact, x merges the parallel pair by [A.7] and, moreover, the morphisms
ηX and ηMX are easily seen to fulfil the following equations:
(i) µX · ηMX = idMX ,
(ii) ηX · x = idX ,
and
(iii) M x · ηMX = ηX · x.
and
A proof of A.18 can be found in [71], Chapter 6, Section 7. The reader has just
to observe that the parallel pairs of morphisms used in that proof are reflexive,
and U creates the coequalizers involved in condition (b) since it is amnestic and
conservative.
Proof. Condition (a) of A.18 follows from 13.17 and (b) from 13.11 and 11.8:
the forgetful functor is algebraic, thus it preserves reflexive coequalizers.
A.20 Example.
Q
(a) Products: let (X, x) = i∈I (Xi , xi ) where each (Xi , xi ) is an Eilenberg-
Moore algebra. (X, x) satisfies [A.6] because the projections (πi )i∈I are a limit
cone, thus collectively monomorphic, and the diagram
X
w DDD
πiwww DDidX
www DD
{w
w D!
x /X
Xi MX AA
ww AA πi
ηXi www AA
ww AA
{ww Mπi
M Xi / Xi
xi
µXi
M M XeLi / M Xi
LLL w w;
LMMπ
LLL i Mπi ww
w
LL ww
µX ww
MMX / MX
Mxi Mx x xi
MX /X
x GG
rrrr GG
GG
rrr πi GGG
yrrr Mπi #
M Xi / Xi
xi
ZO
m
ηZ
XA
zz AA id idZ
z ηX AA X
zz
z AA
|z
z
MX /X
w x @@
ww @@
w
wMm @@
w m @
{w
w
MZ /Z
z
the outward triangle commutes and all parts except the middle triangle also com-
mute. Thus so does the middle triangle since m is a monomorphism. Therefore,
(X, x) satisfies [A.6]. The proof of [A.7] is analogous.
(c) Regular quotients e : (Z, z) → (X, x) of Eilenberg-Moore algebras (Z, z). In
Z
e
X
ηZ
ηX zz
z AAA id idZ
zz AA X
z AA
|zz
MX /X
w; x `@@
w @@
www @@
w e
ww Me @
MZ /Z
z
again all parts except the middle triangle commute. Since e is an epimorphism,
so does the middle triangle. Therefore, (X, x) satisfies [A.6]. For [A.7] use the
analogous argument plus the fact that M preserves epimorphisms (because they
split in Set).
A.23 Corollary. For every finitary monad M on Set the category Set M is
cocomplete and the forgetful functor UM : Set M → Set preserves sifted colimits.
In fact, the category Set M is equational by A.21 and then one-sorted algebraic
by 13.11. Use now 4.5 and 11.9.
IdK D
η {{ DD η′
{{ DD
{{ DD
}{{ D!
M / M′
ρ
and
Mρ ρM ′
MM / MM′ / M ′M ′
µ µ′
M / M′
ρ
commute.
A.25 Example. Let M be any endofunctor of Set. Following 4.11 and 4.13 there
exists a finitary endofunctor M f and a natural transformation ǫM : M f → M
universal among the natural transformations N → M with N finitary.
If M is part of a monad M = (M, µ, η), then M f becomes part of a finitary
monad and ǫM a monad morphism: the monad multiplication for M f is
i µf
Mf · Mf / (M · M )f / Mf
′ H / KM
KM C
CC ||
CC
C ||
UM′ CC ||| UM
! ~|
K
In fact, for a free Eilenberg-Moore algebra (M ′ A, µ′A ), the algebra H(M ′ A, µ′A )
has the form (M ′ A, σA : M M ′ A → M ′ A). We get a monad morphism
′
MηA σA
ρ : M → M′ , ρA : M A / M M ′A / M ′A .
A.27 Corollary. The category of finitary monads on Set and monad morphisms
is dually equivalent to the category of finitary monadic categories on Set and
concrete functors.
A.28 Corollary. The free monad on a finitary endofunctor (see A.2.3) is indeed
free on H : for every finitary monad M = (M, µ, η) and every natural transfor-
mation α : H → M there exists a unique monad morphism α∗ : H ∗ → M with
α = α∗ · ψ.
∗
In fact, recall from A.13.3 that H-Alg is concretely isomorphic to Set H and
use, in place of α∗ , the concrete functor from Set M to H-Alg assigning to every
Eilenberg-Moore algebra x : M X → X the algebra x · αX : HX → X.
commutes.
We will see in the proof that the bijective correspondence assigns to every monad
morphism ρ : M → M′ the functor ρ̂ : KM → KM′ which is the identity map on
objects, and assigns to p : X → M Z in KM (X, Z) the value
p ρZ
X / MZ / M ′Z
Gp M ′ Gq µ′Z
=(X / M ′W / M ′M ′Z / M ′Z )
(preservation of composition)
and
(due to G · JM = JM′ ).
(iv) GM u = Gu · ρX
(v) G(q · u) = Gq · u
ρW · M v = GM v
and then we apply (iv). The equality ρ · η = η ′ follows from (v) by u = ηW and
q = idMW , and the equality ρ · µ = µ′ · ρM ′ · M ρ follows from (ii) by p = idMMX
and q = idMX ; this proves that the right-hand side is equal to GµX , whereas
the left-hand side is GµX by (v) applied to q = µX and u = idMMX . Thus,
ρ : M → M′
SetfM
the full subcategory of the Kleisli category KM on all natural numbers, and by
f
JM : N op → SetfM
N opF
f xx FF J f
JM FF M′
xxx FF
x
|xx F#
SetfM G
/ Setf ′
M
Proof. Denote by FMon the category of finitary monads and monad mor-
f
phisms. Every object M defines a one-sorted theory by dualizing JM of A.36:
f op
(JM ) : N → (SetfM )op .
M n = T (n, 1) .
The theory (SetfM )op thus has as morphisms from n to k precisely all functions
p : k → T (n, 1) .
Ip ∈ T (n, k)
characterized by
T πik · Ip = p(i) (i = 0, . . . , k − 1) .
We obtain an isomorphism of categories
I : (SetfM )op → T
N>
f op
(JM ) vv >>
vvv >>T
vv >>
v{ v >
(SetfM )op I
/T
A.39 Remark. The situation with S-sorted theories and S-sorted algebraic
categories is entirely analogous: all the above results translate without problems
from Set to Set S , only Theorem A.21 needs some work:
A.40 Theorem. S-sorted equational categories are up to concrete isomorphism
precisely the categories Set M of Eilenberg-Moore algebras for finitary monads M
on Set S .
Proof. The only difference with respect to the proof of A.21 is that in the
S-sorted case we have to check also that (Set S )M is closed in M -Alg under
directed unions. Let ki : (Xi , xi ) → (X, x) (i ∈ I) be a colimit cocone of a
filtered colimit in M -Alg , where each (Xi , xi ) is an Eilenberg-Moore algebra.
Then (X, x) satisfies [A.6] because the cocone (ki ) is collectively epimorphic:
Xi
ki
ηXi XB idXi
ηX yy
y BB
y BBidX
yy BBB
|yy
M /X
; X x `AA
www AA
w AA
wwwMk k AA
ww i i
M Xi / Xi
xi
Mxi Mx x xi
MX /X
cGG
rr9
x
Mki r GG ki
r GG
rrr GG
rrr G
M Xi / Xi
xi
Abelian categories
The categories R-Mod of left modules over a unitary ring R are algebraic and
abelian. The aim of the present appendix is to prove that these are the only
one-sorted abelian algebraic categories. We also prove the many-sorted gener-
alization of this result.
B.1 Remark. In the following we use the standard terminology of the theory
of abelian categories:
195
APPENDIX B. ABELIAN CATEGORIES
B.2 Example. Just as one-object categories are precisely the monoids, one-
object preadditive categories are precisely the unitary rings R. Every left R-
module M defines an additive functor M : R → Ab with M (∗) = M and M r =
r · − : M → M for r ∈ R. Conversely, every additive functor F : R → Ab is
naturally isomorphic to M for M = F (∗).
For a small, preadditive category C, we denote by Add [C, Ab] the abelian
category of all additive functors into Ab (and all natural transformations). The
previous example implies that R-Mod is equivalent to Add [R, Ab].
Proof. Sufficiency. For every small additive category C, we prove that the
category Add [C, Ab] is equivalent to Alg C. We denote by hom(C, −) : C → Set
and Hom(c, −) : C → Ab the hom-functors. Consider the forgetful functor
U : Ab → Set. Since U preserves finite products, it induces a functor
for C ∈ obj C, which are objects of Alg C. Since C is preadditive, for every object
C ′ the hom-set hom(C, C ′ ) is an abelian group, and hom(C, −) factorizes as
Hom(C,−) U
C / Ab / Set
b
with Hom(C, −) : C → Ab additive. Therefore, U(Hom(C, −)) ≃ hom(C, −).
Once again, the general case follows from the previous one by using the fact
that any C-algebra is a sifted colimit of representable C-algebras and that U b
preserves sifted colimits.
Necessity. Let T be an algebraic theory, and assume that Alg T is abelian.
Since T op embeds into Alg T , T is preadditive (with finite products), and then
it is a small additive category. Following the first part of the proof, Alg T is
equivalent to Add [T , Ab].
B.4 Corollary. Abelian algebraic categories are precisely the additive cocom-
plete categories with a strong generator consisting of perfectly presentable ob-
jects.
In fact, this follows from 6.9 and B.3.
B.5 Remark. In B.3 the condition that C is additive can be weakened: preaddi-
tivity is enough. In fact, let C be a small preadditive category. We can construct
the small and preadditive category Mat (C) of matrices over C as follows:
- Objects are finite (possibly empty) families (Xi )i∈I of objects of C;
- Morphisms from (Xi )i∈I to (Zj )j∈J are matrices M = (mi,j )(i,j)∈I×J of
morphisms mi,j : Xi → Zj in C;
- The matrix multiplication, the identity matrices, and matrix addition,
as well known from Linear Algebra, define the composition, the identity
morphisms and the preadditive structure, respectively.
This new category Mat (C) is additive. Indeed, it has a zero object given by the
empty family, and biproducts ⊕ given by disjoint unions. Let us check that the
obvious embedding C → Mat (C) induces an equivalence between Add [Mat (C), Ab]
and Add [C, Ab]. Indeed, given F ∈ Add [C, Ab], we get an extension F ′ ∈
Add [Mat (C), Ab] in the following way: F ′ (M ) is the unique morphism such
that the following square
L F ′ (M) L
F (Xi ) / F (Zj )
I O J
F (Xi ) / F (Zj )
F (mi,j )
commutes for all (i, j) ∈ I × J, where the vertical morphisms are injections in
the coproduct and projections from the product, respectively. It is easy to verify
that the functor F 7→ F ′ is an equivalence from Add [C, Ab] to Add [Mat (C), Ab].
Hom(Z, −) : Ab → Ab
Throughout our book we took the “strict view” of what a theory morphism or
a concrete functor or a monadic functor etc. should be. That is, the condition
put on the functor in question was formulated as equality between two func-
tors. There is a completely natural “non-strict view” where the conditions are
formulated as natural equivalences between functors. This has a number of ad-
vantages. For example, we can present a characterization of one-sorted algebraic
categories (see Theorem C.6 below) for which we know no analogous result in
the strict variant. Also the duality between one-sorted algebraic theories and
uniquely transportable one-sorted algebraic categories can be directly derived
from the non-strict version of the biduality 11.39 without using monads. In the
present appendix we shortly mention the non-strict variants of some conepts in
our book.
C.1 Definition.
199
APPENDIX C. MORE ABOUT DUALITIES FOR ONE-SORTED
ALGEBRAIC CATEGORIES
U : A → Set
Proof. The conditions are necessary by 11.8. Let us prove that they are
sufficient: let U : A → Set be as above, with F a left adjoint of U. The set
F = {F n : n ∈ N} is closed in A under finite coproducts and, by 6.16, it is a
E Alg T ′′
A HH / Alg (F op ) / Alg T
HH ≃ s ss
HH Alg T ss
H s
U HHH s s Alg T′
$ yss
Set
1-cells: pseudo-morphisms,
Proof. The proof is analogous to that of 11.39, just observe that from a
pseudo-concrete functor
we get a natural isomorphism ψ : FT1 → F · FT2 between the left adjoints. The
rest of the proof of 11.39 can now be repeated with no other changes.
C.11 Remark. In Appendix A we have obtained the duality between the cate-
gory of one-sorted algebraic theories and the category of uniquely transportable
one-sorted algebraic categories using finitary monads. We are going to derive
such a duality from the biequivalence of Theorem C.10. In order to perform this
we need several preliminary steps. We start by an observation explainin why
when we restrict our attention to uniquely transportable one-sorted algebraic
categories we do not need a non-strict version.
G : (A1 , U1 ) → (A2 , U2 )
ϕA : U1 A → U2 GA .
C.16 Lemma. The category ALG 1u (seen as a 2-category with only identity
2-cells) is biequivalent to the 2-category PsALG 1 having
objects: pseudo-one-sorted algebraic categories (A, U ),
1-cells from (A1 , U1 ) to (A2 , U2 ) : pseudo-concrete with G : A1 → A2 a
functor and ϕ : U1 → U2 · G a natural isomorphism,
2-cells from (G, ϕ) to (H, ψ) : natural transformations α : G → H which
are coherent, i.e., such that U2 α · ϕ = ψ.
Proof. (1) Let us start by observing that, since U2 is conservative, the coher-
ence condition U2 α·ϕ = ψ implies that α is invertible and, since U2 is faithful, it
implies that between two parallel 1-cells of PsALG 1 there is at most one 2-cell.
(2) The inclusion ALG 1u → PsALG 1 is essentially surjective (in the sense of
the 2-category PsALG 1 ) : let (A, U ) be an object in PsALG 1 . We are going to
construct the diagram
E1
AB / A1 E2 / A2
BB {{
BB U1 {{
U BB
B {{
}{{ U2
Set
where E1 and E2 are pseudo-concrete equivalences, (A1 , U1 ) is transportable,
and (A2 , U2 ) is uniquely transportable. Therefore, (A2 , U2 ) is a uniquely trans-
portable pseudo-one-sorted algebraic category. By Corollary C.13 we conclude
that (A2 , U2 ) is an object of ALG 1u .
(2a) Objects in A1 are triples (A, πA,X : U A → X, X) with A ∈ A, X a set
and πA,X an isomorphism. A morphism from (A, πA,X , X) to (A′ , πA′ ,X ′ , X ′ )
is a pair of morphism a : A → A′ , x : X → X ′ such that x · πA,X = πA′ ,X ′ · U a.
Clearly the forgetful functor
E1 : A → A1 , E1 A = (A, idUA , U A)
[X] the equivalence classe of X. The hom-set A2 ([X][Z]) is the quotient of the
disjoint union of the A1 (X ′ , Z ′ ) for X ′ ∈ [X], Z ′ ∈ [Z], with f : X → Z equiv-
alent to f ′ : X ′ → Z ′ if there exist U1 -identites i : X → X ′ and j : Z → Z ′
and U1 f = U1 f ′ . The composition of [f ] : [X] → [Z] and [g] : [Z] → [W ] is
[gjf ] : [X] → [W ], where j : Z → Z ′ is any U1 -identity. The functors E2 and U2
are defined by
E2 : A1 → A2 , E2 (f : X → Z) = [f ] : [X] → [Z] ,
is an equivalence:
(3a) Full: let G, H : (A1 , U1 ) → (A2 , U2 ) be 1-cells in ALG 1u and α : (G, =) →
(H, =) a 2-cell in PsALG 1 . The coherence condition gives U2 (αA ) = id for every
A ∈ A. Since U2 is amnestic, αA is the identity.
(3b) Faithful: obvious because ALG 1 has only identity 2-cells.
(3c) Essentially surjective: let (A1 , U1 ), (A2 , U2 ) be objects in ALG 1u and
(G, ϕ) : (A1 , U1 ) → (A2 , U2 ) a 1-cell in PsALG 1 . As in the proof of C.12 we get a
concrete functor H : (A1 , U1 ) → (A2 , U2 ) and a natural isomorphism ψ : H → G.
To end the proof observe that ψ : (H, =) → (G, ϕ) is a 2-cell in PsALG 1 . Indeed,
the condition U2 (ψA ) = ϕA is precisely the coherence condition on ψ.
Recall the 2-fucntor Alg 1 : (Th 1 )op → ALG 1 from 11.38. There is an obvious
version of this 2-functor in the present context: all we need to observe is that
given a coherent natural transformation α in PsTh 1 , then Alg α is also coherent.
By a slight abuse of notation we denote this 2-functor by Alg 1 again:
C.17 Notation. We denote by
of C.17 is a biequivalence.
(1) The 2-functor Alg 1 is well-defined by 11.8.
(2) The 2-functor Alg 1 is essentially surjective (in the sense of the 2-category
PsALG 1 ) : following C.6, for every object (A, U ) of PsALG 1 there exists a
pseudo-concrete equivalence E : A → Alg T with natural isomorphism
ϕ : Alg T · E → U .
such that
Eε · ηE = E and εE ′ · E ′ η = E ′ .
We get a natural isomorphism
It follows that
are 2-cells in PsALG 1 . Indeed, the coherence condition on η is just the definition
of ψ, and the coherence condition on ε follows from the equation Eε · ηE = E :
We conclude that (A, U ) and (Alg T , Alg T ) are equivalent objects in PsALG 1 .
(3) We will prove that for two one-sorted algebraic theories (T1 , T1 ) and (T2 , T2 )
the functor
Alg 1(T1 ,T1 ),(T2 ,T2 )
PsTh 1 ((T1 , T1 ), (T2 , T2 )) / PsALG 1 ((Alg T2 , Alg T2 ), (Alg T1 , Alg T1 ))
is an equivalence of categories.
(3a) Full and faithful: the proof as in Theorem 9.15, indeed α : M → N is
coherent iff Alg α : Alg M → Alg N is coherent.
(3b) Essentially surjective: we follow the proof of 11.39. Let
α : (Alg M, =) → (G, ϕ)
[1] J. Adámek, Free algebras and automata realizations in the language of cat-
egories, Comment. Math. Univ. Carolin. 14 (1974), 589-602.
[2] J. Adámek, Colimits of algebras revisited, Bull. Austral. Math. Soc. 17
(1977), 433-450.
[3] J. Adámek, F. Borceux, S. Lack and J. Rosický, A classification of accessible
categories, J. Pure Appl. Algebra 175 (2002), 7-30.
[4] J. Adámek, H. Herrlich and G. Strecker, Abstract and Concrete Categories,
Dover Publications 2009.
[5] J. Adámek, F. W. Lawvere and J. Rosický, On the duality between varieties
and algebraic theories, Alg. Univ. 49 (2003), 35-49.
[6] J. Adámek, F. W. Lawvere and J. Rosický, How algebraic is algebra?, Theory
Appl. Categ. 8 (2001), 253-283.
[7] J. Adámek and J. Rosický, Locally Presentable and Accessible Categories,
Cambridge University Press 1994.
[8] J. Adámek and J. Rosický, On sifted colimits and generalized varieties, The-
ory Appl. Categ. 8 (2001), 33-53.
[9] J. Adámek and J. Rosický, Toward a characterization of algebraic exactness,
J. Algebra 272 (2004), 730-738.
[10] J. Adámek, J. Rosický and E. M. Vitale, On algebraically exact categories
and essential localizations of varieties, J. Algebra 244 (2001), 450-477.
[11] J. Adámek, J. Rosický and E. M. Vitale, What are sifted colimits?, preprint
2009.
[12] J. Adámek, M. Sobral and L. Sousa, Morita equivalence for many-sorted
algebraic theories, J. Algebra 297 (2006), 361-371.
[13] M. Artin, A. Grothendieck and J. L. Verdier, Théorie des topos at coho-
mologie étale des schémas, Lect. Notes in Math. 269, Springer-Verlag 1972.
[14] B. Banaschewski, Functors into categories of M -sets, Abh. Mat. Sem. Univ.
Hamburg 38 (1972), 49-64.
209
BIBLIOGRAPHY BIBLIOGRAPHY
[15] M. Barr, Coequalizers and free triples, Math. Z. 116 (1970), 307-322.
[16] M. Barr, A. P. Grillet and D. H. van Osdol, Exact Categories and Categories
of Sheaves, Lect. Notes in Math. 236, Springer-Verlag 1971.
[17] M. Barr and C. Wells, Toposes, Triples and Theories, Springer-Verlag 1985.
[18] M. Barr and C. Wells, Category Theory for Computing Science, Prentice
Hall 1990.
[19] H. Bass, Algebraic K-theory, Benjamin 1968.
[20] A. Bastiani and C. Ehresmann, Categories of sketched structures, Cah.
Top. Géom. Différ. Catég. 13 (1972), 104-214.
[21] J. Bénabou, Structures algébriques dans les catégories, Cah. Top. Géom.
Différ. Catég. 10 (1968), 1-126.
[22] J. Bénabou, Introduction to bicategories, In Reports of the Midwest Cate-
gory Seminar Lect. Notes in Math. 40, Springer-Verlag 1967, 1-77.
[23] D. B. Benson, M. Nečesal and J. Rosický, Algebras over variable theories,
Algebra Universalis 47 (2002), 55-64.
[24] G. Birkhoff, On the structure of abstract algebras, Proc. Cambr. Phil. Soc.
31 (1935), 433-454.
[25] G. Birkhoff and J. D. Lipson, Heterogenous algebras, J. Combin. Theory 8
(1970), 115-133.
[26] J. M. Boardman and R. M. Vogt, Homotopy invariant algebraic structures
on topological spaces, Lect. Notes in Math. 347, Springer-Verlag 1973.
[27] F. Borceux, Handbook of Categorical Algebra, Cambridge Univ. Press 1994.
[28] F. Borceux and E. M. Vitale, On the notion of bimodel for functorial se-
mantics, Appl. Categ. Structures 2 (1994), 283-295.
[29] N. Bourbaki, Théorie des Ensembles, Herrman 1956.
[30] M. Bunge, Categories of Set-valued functors, Dissertation, University of
Pennsylvania 1966.
[31] M. Bunge and A. Carboni, The symmetric topos, J. Pure Appl. Algebra
105 (1995), 233-249.
[32] A. Carboni and R. Celia Magno, The free exact category on a left exact
one, J. Austral. Math. Soc. Ser. A 33 (1982), 295-301.
[33] A. Carboni and E. M. Vitale, Regular and exact completions, J. Pure Appl.
Algebra 125 (1998), 295-116.
[34] C. Centazzo, J. Rosický and E. M. Vitale, A characterization of locally
D-presentable categories, Cah. Top. Géom. Différ. Catég. 45 (2004), 141-146.
ALG, 74 Lex, 77
ALG1u , 203 Lex T , 36
ALG1 , 100, 203 M -set, 115
ALG S , 126 M on, 26
ALGcolim , 139 P os, 22
Ab, 9 P sALG1 , 204
Add, 196 P sT h1 , 203
Alg, 74 R-Mod, 10
Alg M , 71 RGraph, 93
Alg T , 90 Rec C, 57, 164
Alg T , 7 S ∗ , 123
Alg 1 , 100, 205 Set, 1
Bool, 51 Set S , 9
EIc , 66 Set M , 184
EInd , 35 SetfM , 191
ERec , 57, 165 Sind C, 35
ESind , 35 TΣ , 112
ETh , 8 T h, 74
ED , 33 T h1 , 100, 203
El A, 5 T h S , 126
Ex, 150 T hc , 74
F M on, 191 T hBim , 139
FH , 106 UH , 103
FT , 94 UΣ , 111
FΣ , 106, 111 UM , 180
FM , 182 YC , 2
Graph, 11 ∆, 5
H-Alg , 21, 103 Γ, 150, 158
HΣ , 21 ΦA , 5
Ic C, 66 Σ, 10
Ind C, 35 Σ-Alg , 11
f
JM , 191 M, 177
JM , 188 A C, 2
KM , 188 Af p , 54
LEX, 77 App , 51
LF P , 77 C(T , T ), 112
Lco, 150 C op , 2
215
INDEX INDEX
variety, 81
Yoneda embedding, 2
Yoneda Lemma, 2