(Category Theory Homological Al) Marco Grandis - Category Theory and Applications - A Textbook For Beginners-World Scientific Pub Co Inc (2018)
(Category Theory Homological Al) Marco Grandis - Category Theory and Applications - A Textbook For Beginners-World Scientific Pub Co Inc (2018)
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
To
Maria Teresa
This page intentionally left blank
Preface
vii
This page intentionally left blank
Contents
Introduction page 1
0.1 Categories 1
0.2 Universal properties 2
0.3 Diagrams in a category 3
0.4 Functors 4
0.5 Natural transformations and adjunctions 5
0.6 A brief outline 6
0.7 Classes of categories 7
0.8 Our approach 7
0.9 Literature 8
0.10 Notation 9
0.11 Acknowledgements 9
1 Categories, functors and natural transformations 10
1.1 Categories 10
1.2 Monoids and preordered sets as categories 17
1.3 Monomorphisms and epimorphisms 22
1.4 Functors 26
1.5 Natural transformations and equivalence of categories 33
1.6 Categories of functors, representable functors 41
1.7 A category of Galois connections 45
1.8 Elementary categories of relations and partial mappings 52
2 Limits and colimits 61
2.1 Basic limits and colimits 61
2.2 General limits and completeness 68
2.3 Pullbacks and pushouts 75
2.4 Subobjects and quotients, regular and strong 80
2.5 Factorisation systems 84
2.6 Inductive limits and filtered colimits 89
ix
x Contents
2.7 Universal arrows and free objects 95
2.8 *Other universals 98
3 Adjunctions and monads 103
3.1 Adjoint functors 103
3.2 Properties of adjunctions 110
3.3 Comma categories 115
3.4 Monoidal categories and exponentials 120
3.5 The Adjoint Functor Theorem 128
3.6 Monads and algebras 131
3.7 Exercises and complements on monads 139
3.8 *Idempotent monads and idempotent adjunctions 141
4 Applications in Algebra 149
4.1 Free algebraic structures 149
4.2 Regular and Barr-exact categories 154
4.3 Varieties of algebras 156
4.4 Limits and free algebras 162
4.5 Relations for regular categories 166
5 Applications in Topology and Algebraic Topology 172
5.1 Adjoints and limits in Topology 173
5.2 Cylinder, cocylinder and homotopies 181
5.3 Simplicial sets 190
5.4 Cubical sets 196
5.5 Hints at Directed Algebraic Topology 202
6 Applications in Homological Algebra 208
6.1 Kernels and cokernels 209
6.2 Categories of lattices in Homological Algebra 212
6.3 Puppe-exact categories 217
6.4 Additive and abelian categories 225
6.5 Projective p-exact categories and projective spaces 231
6.6 Relations and induction for p-exact categories 237
7 Hints at higher dimensional category theory 246
7.1 From categories to 2-categories and bicategories 247
7.2 Double categories 254
7.3 Enriched, internal and ordered categories 262
7.4 *Double categories of lattices in Homological Algebra 269
7.5 *Double categories of relations in Homological Algebra 273
7.6 *Factorisation systems as pseudo algebras for 2-monads 278
References 281
Index 287
Introduction
0.1 Categories
1
2 Introduction
0.2 Universal properties
In these categories (and many ‘similar’ ones) we have cartesian products,
constructed by forming the cartesian product of the underlying sets and
putting on it the ‘natural’ structure of the kind we are considering, be it
of algebraic character, or an ordering, or a topology, or something else.
All these procedures can be unified, so that we can better understand
what we are doing: we have a family (Xi )i∈I of objects of a category,
indexed by a set I, and we want to find an object X equipped with a
family of morphisms pi : X → Xi (i ∈ I), called cartesian projections,
which satisfies the following universal property:
- for every object Y and every family of morphisms fi : Y → Xi (i ∈ I) in
the given category
f
Y ❋❴ ❴ ❴/ X
❋❋
❋❋ pi (0.1)
fi ❋❋"
Xi
0.4 Functors
It becomes now possible to view on the same level, so to say, mathematical
theories of different branches, and formalise their links. A well-behaved
mapping between categories is called a functor.
Among the simplest examples there are the forgetful functors, that forget
the structure (or part of it), like:
and the fundamental group functor π1 : Top• → Gp, defined on the category
of pointed topological spaces and pointed continuous mappings.
ηX : X → U (F (X)). (0.7)
where id is the identity functor of the category Set (turning objects and
arrows into themselves) and U F : Set → Set is the composed functor (turn-
ing each set into the underlying set of the free group on it). This natural
transformation is essential in linking the functors U, F and making the
functor F : Set → Gp left adjoint to U : Gp → Set.
The link is represented by the universal property of the insertion of the
basis, namely the fact that every mapping f : X → U (G) with values in a
group G (more precisely in its underlying set) can be uniquely extended to
a homomorphism g : F (X) → G. Formally:
- for every morphism f : X → U (G) in Set, there exists precisely one mor-
phism g : F (X) → G in Gp such that U (g).ηX = f .
6 Introduction
One can reformulate this link in an equivalent presentation of the ad-
junction, which may be more familiar to the reader: there is a (natural)
bijective correspondence
0.9 Literature
For further study of general category theory there are excellent texts, like
Mac Lane [M4], Borceux [Bo1, Bo2, Bo3], Adámek, Herrlich and Strecker
[AHS], Freyd and Scedrov [FrS]. References for higher dimensional category
theory can be found in Chapter 7.
Sheaf categories and toposes, which are not treated here, are presented
in Mac Lane–Moerdijk [MaM] and [Bo3], with extensive references to more
advanced texts like Johnstone’s [Jo3, Jo4]. A peculiar, conceptual intro-
duction to category theory can be found in Lawvere and Schanuel [LwS].
As already warned, the range of applications of category theory is much
wider than what will be seen here, and can be presented in an elementary
text.
For instance, we only explore a few categorical properties of topologi-
cal vector spaces and Banach spaces, for which the reader is referred to
Semadeni’s book [Se]. The applications in Homological Algebra examined
here follow a particular approach, discussed in Chapter 6, where other ap-
proaches are cited. Some old and new applications of categories to the
theory of networks are briefly presented in 1.8.9. Morita equivalence is
only mentioned, in 1.5.6.
We do not examine the deep relationship among category theory, Logic
and theoretical Computer Science, which is explored in texts like Makkai
and Reyes [MkR], Lambek and Scott [LaS], Barr and Wells [BarW], Crole
0.10 Notation 9
[Cr], nor the growing influence of categories and higher dimensional cate-
gories in parts of theoretical Physics, for which one can see Baez and Lauda
[BaL].
Differential Geometry is studied in a ‘synthetic’ way in Kock [Ko], mak-
ing formal use of infinitesimals. A new book by Bunge, Gago and San Luis
[BunGS] extends this subject to Synthetic Differential Topology. Different
forms of Galois Theory are explored in Borceux and Janelidze [BoJ]. A
categorical view of Set Theory can be found in Lawvere and Rosebrugh
[LwR].
The relationship of category theory with Algebraic Geometry is perhaps
too complex to be simply referred to.
0.10 Notation
The symbol ⊂ denotes weak inclusion.
As usual, the symbols N, Z, Q, R, C denote the sets of natural, integral,
rational, real or complex numbers; N∗ is the subset of the positive integers.
Open and semi-open real intervals are denoted as ]a, b[, [a, b[, etc. This
notation, loosely taken from Bourbaki, has the advantage of distinguishing
the interval ]a, b[ from the pair (a, b).
A singleton set is often written as {∗}. The equivalence class of an
element x, with respect to an assigned equivalence relation, is generally
written as [x]. A bullet in a diagram stands for an arbitrary object.
Categories, 2-categories and bicategories are generally denoted as A, B...;
strict or weak double categories as A, B...
A section, subsection or part marked with * deals with some topic out of
the main line of this book, and is often addressed to readers having some
knowledge of the subject.
0.11 Acknowledgements
Many points have been discussed with my colleagues and friends: in par-
ticular with Bob Paré and George Janelidze, during a long collaboration.
1
Categories, functors and natural
transformations
1.1 Categories
We start by considering concrete categories, associated with mathematical
structures. But categories are not restricted to these instances, and the
theory must be developed in a general way.
Given a mathematical discipline, it may not be obvious which category or
categories are best suited for its study. This questionable point is discussed
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
in 1.1.5, 1.1.6.
1.1.2 Definition
A category C consists of the following data:
(a) a set ObC, whose elements are called objects of C,
(b) for every pair X, Y of objects, a set C(X, Y ) (called a hom-set) whose
elements are called morphisms (or maps, or arrows) of C from X to Y and
denoted as f : X → Y ,
(c) for every triple X, Y, Z of objects of C, a mapping of composition
Every topic of category theory has a dual instance, which comes from the
opposite category (or categories). A dual notion is generally distinguished
by the prefix ‘co-’.
A set X can be viewed as a discrete category: its objects are the elements
of X, and the only arrows are their (formal) identities; here X op = X.
As usual in category theory, the term graph will be used to denote a
simplified structure, with objects (or vertices) and morphisms (or arrows)
f : x → y, but no assigned composition nor identities. (This is called a
directed multigraph in graph theory, or also a quiver). A morphism of
graphs preserves objects, arrows, domain and codomain. Every category
has an underlying graph.
properties of completeness that are ‘too large for its size’ (as we shall see
in 2.2.3).
We assume the existence of a (Grothendieck) universe U, which is fixed
throughout; its axioms – recalled below, in 1.1.7 – say that we can perform
inside it the usual operations of set theory. Its elements are called small
sets (or U-small sets, if necessary).
A category is understood to have objects and arrows belonging to this
universe, and is said to be small if its set of morphisms belongs to U, large
if it does not (and is just a subset of U). As a consequence, in a small
category the set of objects (which is in bijective correspondence with the
set of identities) also belongs to U. A category C is said to have small
hom-sets if all its sets C(X, Y ) are small; in this case C is small if and only
if its set of objects is.
The categories of structured sets that we consider are generally large
U-categories, like the category Set of small sets (and mappings), or Top of
small topological spaces (and continuous mappings), or Ab of small abelian
groups (and homomorphisms); in such cases, the term ‘small’ (referred to
these structured sets) will be generally understood, and we speak – as usual
– of the ‘category of sets’, and so on.
14 Categories, functors and natural transformations
*In fact one often needs a hierarchy of universes. For instance, Cat will
denote the category of small categories and functors, introduced in 1.4.1. In
order to view the (large) categories Set, Top, Ab, etc. in a similar structure
we should assume the existence of a second universe V, with U ∈ V, and
use the category CatV (also written as CAT) of V-small categories. In a
more complex situation one may need a longer chain of universes. Most of
the time these aspects will be left understood.*
(b) Other points will become clearer below. For instance, the category Top
of topological spaces and continuous mappings is a classical framework for
studying Topology. Among its good properties there is the fact that all
‘categorical products’ and ‘categorical sums’ (studied in Section 2.1, but
already sketched in the Introduction) exist, and are computed as in Set,
then equipped with a suitable topology determined by the structural maps.
(More generally, this is true of all limits and colimits, and – as we shall
see – is a consequence of the fact that the forgetful functor Top → Set has a
left and a right adjoint, corresponding to discrete and chaotic topologies).
Hausdorff spaces are certainly important, but it is often better to view
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
them in Top, as their category Hsd is less well behaved: colimits exist,
but are not computed as in Set, and the simplest way to compute them
– generally – is to take the colimit in Top and ‘make it Hausdorff’ (see
5.1.4(b)).
*(c) Many category theorists would agree with Mac Lane, saying that even
Top is not sufficiently good ([M4], Section VII.8), because it is not a carte-
sian closed category (see 5.1.1), and prefer – for instance – the category of
compactly generated Hausdorff spaces (see 2.6.3(d)). However, researchers
interested in Homotopy Theory and Algebraic Topology might be satis-
fied with the fact that the standard interval (with its cartesian powers) is
exponentiable in Top, as we shall exploit in Section 5.2.
We shall also hint, in 5.1.8, at another approach called ‘pointless topol-
ogy’, which is based on the category of locales and is favoured in topos
theory.
(d) Finally we remark that artificial exclusions ‘most of the time’ give
categories of poor properties, like the category of non-abelian groups, or
non-empty semigroups. The latter case needs some further comment.
16 Categories, functors and natural transformations
1.1.6 Variety of algebras and horror vacui
In Universal Algebra, a ‘variety of algebras’ includes all the algebraic struc-
tures of a given signature (i.e. with a certain family of operations, of as-
signed arity), that satisfy a given set of equational axioms (or universally
quantified identities): e.g. all groups, or all rings; but not all fields, be-
cause multiplicative inverses only exist for non-zero elements, and cannot
be given by a ‘general’ unary operation satisfying some universal identities.
Here a variety of algebras will mean a category of objects defined in this
way, with their homomorphisms (as made precise in Section 4.3). We do
not follow the convention that the underlying set should be non empty; a
convention which has unlucky consequences for any theory without 0-ary
operations, like semigroups: for instance two subalgebras of an algebra may
not have a meet (as subalgebras).
This convention is rather usual in Universal Algebra (cf. Grätzer [Gr1]),
but is not followed in Cohn’s book [Coh]. (Of course, generally speaking,
results can be easily translated from one setting to the other.)
*For a reader with some knowledge of limits and colimits, dealt with in
Chapter 2, we can add that a variety of algebras (in the present sense) has
all limits and colimits, while the category of non-empty semigroups lacks
certain limits (like equalisers and pullbacks) and certain colimits (as an
initial object), precisely because we have artificially taken out a solution.*
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
Other comments in this sense can be found in 3.6.1; but there is also a
comment in the opposite sense, in 5.3.9, for categories used in an ‘auxiliary
way’.
determined – if extant.
1.2.4 Lattices
Classically a lattice is defined as an ordered set X such that every pair
x, x′ of elements has a join x ∨ x′ = sup{x, x′ } (the least element of X
greater than both) and a meet x ∧ x′ = inf{x, x′ } (the greatest element of
X smaller than both).
Here we follow a different convention, usual in category theory: lattice
will always mean an ordered set with finite joins and meets, which amounts
to the existence of binary joins and meets together with the least element
0 = ∨∅ and the greatest element 1 = ∧∅. (This structure is called a
‘bounded lattice’ in Lattice Theory.)
The bounds 0 and 1 (the empty join and the empty meet) are equal in
the one-point lattice {∗}, and only there.
Consistently with this terminology, a lattice homomorphism has to pre-
serve finite joins and meets; a sublattice of a lattice X is closed under such
operations (and has the same bounds as X). The category of lattices and
homomorphisms will be written as Lth.
Occasionally we speak of a quasi lattice when we only assume the exis-
tence of binary joins and meets; a homomorphism of quasi lattices only has
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
x ∨ 0 = x = x ∧ 1,
x ∨ (x ∧ y) = x = x ∧ (x ∨ y).
x ∧ x′ = 0, x ∨ x′ = 1.
The subsets of a set X form the classical boolean algebra PX, which is
a complete lattice.
1.2 Monoids and preordered sets as categories 21
The (complete) lattice SubA of subgroups of an abelian group (or sub-
modules of a module) is not distributive, generally (see 1.2.7(d)); but one
can easily check that it always satisfies a weaker, restricted form of dis-
tributivity, called modularity.
Namely, a lattice is said to be modular if it satisfies the following selfdual
property (for all elements x, y, z)
(i) if x 6 z then (x ∨ y) ∧ z = x ∨ (y ∧ z).
The category of modular (resp. distributive) lattices and their homomor-
phisms will be written as Mlh (resp. Dlh).
*By Birkhoff’s representation theorem ([Bi] III.5, Theorem 5) the free
distributive lattice on n generators is finite and isomorphic to a lattice of
subsets. The reader may also be interested to know that the free modular
lattice on three elements is finite and (obviously!) not distributive (see [Bi],
III.6, Fig. 10), while four generators already give an infinite free modular
lattice (see the final Remark in [Bi], III.6).*
6.6.
The interested reader is invited to directly investigate the problem, be-
fore considering the layout given below. The first step is showing that X is
anti-isomorphic to the divisibility lattice of natural numbers (a well-known,
nearly obvious point). Then one proves that the latter is distributive, a
(hopefully amusing) exercise based on our school knowledge – prime fac-
torisation.
(a) The reader likely knows, or should prove, that each subgroup of Z is of
the form nZ, for a unique n ∈ N (and is an ideal of the ring of integers).
This gives us an isomorphism X → Y op , where Y = (N, |) is the set of
natural numbers ordered by the divisibility relation m|n. Therefore Y is a
(complete) lattice as well, and we recognise its operations m ∨ n and m ∧ n
as fairly well-known. We also note that 1 = minY and 0 = maxY .
Q
(b) Now, each n ∈ N∗ has a unique decomposition n = p pnp as a product
of powers of non-invertible prime numbers p; of course the natural expo-
nents np are quasi-null (i.e. all of them are 0, out of a finite number of
prime indices p), so that the factorisation is essentially finite.
The reader will use this fact to prove that Y can be embedded in the
Q
cartesian product p N of countably many copies of the set N = N ∪ {∞},
22 Categories, functors and natural transformations
with the natural order. One can now show that Y is distributive, and X
as well.
(c) As a consequence, the lattice Sub(A) of any cyclic group A is also
distributive.
(d) The reader can easily show that this property fails for the abelian group
Z2 , or for any non-trivial abelian group A ⊕ A. (Again, this will be of use
in Section 6.6.)
On the other hand, Z/2 ⊕ Z/3 ∼ = Z/6 has a distributive lattice of
subgroups.
(e) A reader acquainted with principal ideal domains may like to rethink
the whole thing.
1.3.2 Comments
In a category of structured sets and structure-preserving mappings, an
injective mapping (of the category) is obviously a monomorphism, while
a surjective one is an epimorphism. The converse may require a non-
trivial proof, or even fail. This can only be understood by working out
the examples below.
Interestingly, a divergence appears between monos and epis: the theory
of categories is self-dual, but our frameworks of structured sets are not!
When we classify monos in Set, this tells us everything about the epis of
Setop but nothing about the epis of Set.
In fact, in all the examples below it will be easy to prove that the mono-
morphisms coincide with the injective morphisms. Later we shall see, in
2.7.4(d), some conditions that ensure this fact, and hold true in all the
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
1.4 Functors
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
(a) A functor between two monoids, viewed as categories (see 1.2.1), is the
same as a homomorphism of monoids.
(b) A functor between two preordered sets, viewed as categories (see 1.2.3),
is the same as a monotone function, i.e. a preorder-preserving mapping.
(c) A functor G → K Vct defined on a group (viewed as a category) amounts
to a representation of G, in the usual sense of a homomorphism G →
Aut(X) with values in the group of automorphisms of a K-vector space.
(d) Categories linked by an obvious isomorphism are often perceived as
‘the same thing’. For instance Ab is isomorphic to the category Z Mod of
modules on the ring of integers. The various equivalent ways of defining
topological spaces give rise to isomorphic categories that are nearly never
distinguished; the same holds for the two equivalent ways of defining lattices
(recalled in 1.2.4, 1.2.5).
1.4.3 Subcategories
Let C be a category. A subcategory D is defined by assigning:
- a subset ObD ⊂ ObC, whose elements are called objects of D,
28 Categories, functors and natural transformations
- for every pair of objects X, Y of D, a subset D(X, Y ) ⊂ C(X, Y ), whose
elements are called morphisms of D, from X to Y ,
so that the following conditions hold:
(i) for every pair of consecutive morphisms of D their composite in C belongs
to D,
(ii) for every object of D its identity in C belongs to D.
D, equipped with the induced composition law, is then a category. It
comes with an inclusion functor U : D → C, also written as D ⊂ C.
One says that D is a full subcategory of C if, for every pair of objects X, Y
of D, we have D(X, Y ) = C(X, Y ), so that D is determined by assigning
its subset of objects. One says that D is a wide subcategory of C if it has
the same objects, so that D is determined by assigning its subset of maps
(closed under composition and containing all identities).
For instance, Ab is a full subcategory of Gp while Ban1 is a wide sub-
category of Ban. Of course a full and wide subcategory must be the total
one.
P ∗ : Setop → Set,
(1.15)
X 7→ PX, (f : X → Y ) 7→ (f ∗ : PY → PX),
00 ❊ / 10 X00 / X10
❊❊
❊❊
❊❊ = (1.19)
❊"
01 / 11 X01 / X11
should not be confused. There are canonical choices of such families that are
not natural (see 1.5.2(d)), and natural transformations ‘defined’ through
the axiom of choice (see 1.5.8).
Replacing the category C with a graph Γ (see 1.1.2), one can consider
a natural transformation ϕ : F → G : Γ → D between two morphisms of
graphs defined on Γ, with values in a category.
1.5.3 Operations
Two natural transformations ϕ : F → G and ψ : G → H have a vertical
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
1.5.4 Exercises
The reader should prove the following properties of the compositions of
natural transformations, which will often be used in computations. All the
proofs are trivial, except the last, which is easy.
(a) χ(ψϕ) = (χψ)ϕ,
K (KϕH)H ′ = (K ′ K)ϕ(HH ′ )
′
(associativities),
(b) ϕ.idF = ϕ = idG.ϕ,
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
ϕ : F → G (obviously invertible).
(b) Given a faithful functor U : A → C, one can embed A as a subcategory
of a suitable category C′ equivalent to C.
(c) If the faithful functor U is essentially surjective on the objects, one can
make this embedding wide (and even the identity on objects).
Note. As an example, the forgetful functor U : Top → Set is surjective on
objects, and Top is a wide subcategory of the category T ≃ Set introduced
in 1.1.5(a).
f f′ GF f GF f ′ (1.25)
X′ / GF X ′
ηX ′
G-equivariant mapping – notions that the reader may already know or can
deduce from (1.30). Similarly we have the category GTop = Cat(G, Top) of
G-spaces. All this can be extended to monoids.
(c) With a basic knowledge of Homological Algebra, one can describe the
category Ch+ Ab of positive cochain complexes of abelian groups as a full
subcategory of the category Cat(N, Ab) that we have seen in 1.4.9(e), and
give a similar description of the category Ch+ Ab of positive chain com-
plexes (to be examined in 5.3.7).
Then the Yoneda Lemma (in 1.6.6) describes the natural transformations
F → G, for every functor G : C → Set; it also proves that the object which
represents a functor is determined up to isomorphism (see 1.6.7).
A contravariant functor F : C 99K Set is in fact a covariant functor
F : Cop → Set; therefore it is representable if it is isomorphic to a func-
tor
C(−, X0 ) : Cop → Set, X 7→ C(X, X0 ),
(1.33)
(f : X → Y ) 7→ (−.f : C(Y, X0 ) → C(X, X0 )),
are representable.
(b) By definition, the canonical forgetful functors of Ban and Ban1 are
44 Categories, functors and natural transformations
represented by the scalar field K (R or C):
U = Ban(K, −) : Ban → Set, U (X) = |X|,
(1.34)
B1 = Ban1 (K, −) : Ban1 → Set, B1 (X) = {x ∈ X | ||x|| 6 1},
and give, respectively, the underlying set |X| and the unit ball B1 (X) of a
Banach space (up to functorial isomorphism).
(c) Show that the contravariant functor of subsets P ∗ : Setop → Set (defined
in (1.15)) is representable, making use of the characteristic function of a
subset.
(d) A representable covariant functor preserves monomorphisms. A repre-
sentable contravariant functor takes epimorphisms of its domain to injective
mappings.
(e) The reader can review the exercises 1.5.2(b) and (c) at the light of the
Yoneda Lemma, below.
ϕX0
C(X0 , X0 ) / GX0
f.− Gf (1.38)
C(X0 , X) / GX
ϕX
1.6.7 Exercises
(a) Prove that, if the functor F : C → Set is represented by two objects,
these are isomorphic in C.
(b) More generally, prove that a natural transformation ϕ : F0 → F1 be-
tween two representable functors Fi = C(Xi , −) is invertible if and only if
y(ϕ) ∈ F1 (X0 ) = C(X1 , X0 ) is an isomorphism.
f = f gf, g = gf g. (1.43)
1.7.3 Properties
Let us come back to a general Galois connection f ⊣ g between ordered
sets X, Y .
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
The mapping f preserves all the existing joins (also infinite), while g
preserves all the existing meets. In fact, if x = ∨xi in X then f (xi ) 6 f (x)
(for all indices i). Supposing that f (xi ) 6 y in Y (for all i), it follows that
xi 6 g(y) (for all i); but then x 6 g(y) and f (x) 6 y.
From the relations f = f gf and g = gf g it follows that:
(a) gf = id ⇔ f is injective ⇔ f is a split mono ⇔ g is surjective
⇔ g is a split epi ⇔ f reflects the order relation,
(a∗ ) f g = id ⇔ f is surjective ⇔ f is a split epi ⇔ g is injective
⇔ g is a split mono ⇔ g reflects the order relation.
Moreover the connection restricts to an isomorphism (of ordered sets)
between the sets of closed elements of X and Y , defined as follows
cl(X) = g(Y ) = {x ∈ X | x = gf (x)},
(1.46)
cl(Y ) = f (X) = {y ∈ Y | y = f g(y)}.
(b) For a commutative unitary ring R, let us take the affine space X =
Rn and the polynomial ring Y = R[x1 , ..., xn ] (for some n > 1). Every
polynomial p ∈ Y can be evaluated at any point x ∈ X, giving p(x) ∈ R.
We write x⊥p to mean that p(x) = 0. The associated contravariant Galois
connection is well known in Algebraic Geometry, and sends:
- a subset A ⊂ Rn to the ideal R(A) of all polynomial which annihilate at
every point of A,
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
- a subset B ⊂ R[x1 , ..., xn ] to the affine algebraic set L(B) of all points of
Rn annihilated by every polynomial of B.
*The reader may know that, if R is an algebraically closed field, Hilbert’s
Nullstellensatz characterises the closed subsets of R[x1 , ..., xn ] as the radical
ideals of this ring. On the other hand, the closed subsets of Rn are its affine
algebraic sets, by definition.*
(c) An orthogonality (endo)relation f ⊥g between morphisms of a category
will be introduced in 2.4.2.
X 7→ X op , (f : X → Y ) 7→ (f op : X op → Y op ), (1.61)
X 7→ X op , · Y ) 7→ (uop : Y op → X op ),
(u : X → (1.62)
gory T of finite sets and corelations was used in the theory of networks, by
G. Darbo [Da1, Da2] and some of his collaborators like F. Parodi and G.
Testa. The subject was apparently ahead of its time, and later forgotten;
but recently J. Baez has independently reinvented it, with his students, in
a similar perspective [BaP, Fo].
In fact, a corelation ϕ : α →
· β between finite sets (called a ‘transducer’
in [Da1] and related articles) can be viewed as an electrical circuit made
of perfectly conductive wires, connecting the ‘terminals’ belonging to α to
those belonging to β, as in the following picture
• •
• •
•
•
•
• •
• • (1.71)
α β
• • •
• • • • •
•
•
•
• = • •
• • • • •
• • • (1.72)
α β γ α γ
D : T → Set,
(1.73)
σαβ : Dα×Dβ → D(α + β),
sets, according to definitions that we shall see in Section 3.4 and 7.2.4.)
• •
• •
•
A •
•
• •
• • (1.74)
α β
A B
•✤✤ •✤✤ •✤✤ •✤✤ •✤✤ •✤✤ •✤✤
✤ ✤ ✤ ✤ ✤ ✤ ✤ (1.75)
• • • • • • •
α+β
The theory is quite general, and not limited at all to electrical devices.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
2
Limits and colimits
relationship with adjoints will be examined in 3.2.2 and 3.2.4, with comma
categories in 3.3.5.
2.1.1 Products
The simplest case of a limit, in a category C, is the product of a family
(Xi )i∈I of objects (indexed by a small set I).
This is defined as an object X equipped with a family of morphisms
pi : X → Xi (i ∈ I), called (cartesian) projections, which satisfies the
following universal property
f
Y ❋❴ ❴ ❴/ X
❋❋
❋❋
❋❋ pi (2.1)
fi "
Xi
ten written as (fi ) (even though it is not the same as the family of its
components, of course).
The product of a family of objects need not exist. If it does, it is deter-
mined up to a unique coherent isomorphism, in the sense that if also Y is a
product of the family (Xi )i∈I with projections qi : Y → Xi , then the unique
morphism f : X → Y which commutes with all projections (i.e. qi f = pi ,
for all indices i) is invertible. This follows easily from the fact that there is
also a unique morphism g : Y → X such that pi g = qi ; moreover gf = idX
(because pi (gf ) = pi (idX), for all i) and f g = idY .
Q
Therefore one speaks of the product of the family (Xi ), denoted as i Xi .
We say that a category C has products (resp. finite products) if every
family of objects indexed by a small set (resp. by a finite set) has a product
in C.
In particular the product of the empty family of objects ∅ → ObC means
an object X (equipped with no projections) such that for every object Y
(equipped with no maps) there is a unique morphism f : Y → X (satisfying
no condition). The solution is called the terminal object of C; again, it need
not exist, but is determined up to a unique isomorphism. It can be written
as ⊤.
2.1 Basic limits and colimits 63
2.1.2 Exercises and complements (Products)
(a) In Set, Top, Ab, Ord all products exist and are the usual cartesian ones
(constructed on the product of the underlying sets). The terminal object
is the singleton, with the corresponding structure.
Let us recall that a topological product X with projections pi : X → Xi
has the coarsest topology making all projections continuous. Similarly, in
Ord, the product has the coarsest order relation making all projections
monotone: (xi ) 6 (yi ) if, for all indices i, xi 6 yi in Xi .
(b) Products in the categories Set• and Top• are also obvious
Q Q
i (Xi , xi ) =( i Xi , (xi )). (2.2)
m f
E b❉ / X // Y m = eq(f, g),
O g
❉ (2.3)
w
❉ h
❉
Z
2.1.5 Sums
As already mentioned in Section 1.1, every notion of category theory has
a dual notion.
The sum, or coproduct, of a family (Xi )i∈I of objects of C is dual to its
product. Explicitly, it is an object X equipped with a family of morphisms
ui : Xi → X (i ∈ I), called injections, which satisfy the following universal
property:
f
XO ❴ ❴ ❴/ < Y
①
ui ①① (2.5)
①①①fi
①
Xi
(c) In Abm, Ab and R Mod categorical sums are realised as ‘direct sums’
L Q
Ai = {(ai ) ∈ i Ai | ai = 0 except for a finite set of indices}, (2.7)
where the family (ai ) is said to be quasi-null. The initial object is the
singleton.
P
(d) A sum i (Xi , xi ) in Set• or Top• can be constructed as a pointed
subset or subspace of the cartesian product
Q
{(xi ) ∈ i Xi | xi = xi for all indices i except one at most}. (2.8)
For instance, (R, 0) + (R, 0) can be realised as the subset (or subspace)
of the cartesian plane formed of the two cartesian axes. (Equivalently,
P
the sum can be realised as a quotient of the unpointed sum i Xi , by
identifying all the base points xi .)
(e) In the category X associated to a preordered set, the categorical sum
of a family of points xi ∈ X amounts to its sup (the least upper bound),
while the initial object amounts to the least element of X.
P
(f) In Cat a sum Ci of categories is their obvious disjoint union. The
initial object is the empty category 0.
66 Limits and colimits
*(g) In Gp categorical sums are classically known as ‘free products’. In
CRng, finite sums are realised as tensor products over Z (see 4.1.4(b)), and
a general sum as a colimit of finite tensor products.
(a) In Set the natural solution for the coequaliser of two mappings f, g : X →
Y is the projection
p : Y → Y /R, (2.10)
on the quotient modulo the equivalence relation of Y spanned by the pairs
(f (x), g(x)) ∈ Y 2 , for x ∈ X.
(b) In Top we do the same, putting on Y /R the quotient topology, namely
the finest that makes the mapping p continuous. In pOrd we do the same,
putting on Y /R the induced preordering (the finest that makes p mono-
tone). In Ord we first compute the preorder Y /R in pOrd, and then take
the associated ordered set; this fact will be extended to all colimits, in
3.2.3(b).
(c) In Ab we take the quotient Y /H, modulo the subgroup H = {f (x) −
g(x) | x ∈ X}, which amounts to the quotient Y /R′ modulo the congruence
of abelian groups spanned by the previous equivalence relation R. The
reader will adapt this construction to Gp.
(d) Coequalisers in Set• and Top• are (easy and) left to the reader.
(e) In Top an epimorphism p : Y → Y ′ is any surjective map (see 1.3.3(b)),
2.1 Basic limits and colimits 67
while a regular epi must be the projection on a quotient space p : Y → Y /R,
up to homeomorphism; this means a topological projection p : Y → Y ′ , i.e.
a surjective continuous mapping where Y ′ has the finest topology making
p continuous: a subset of Y is open if and only if its preimage is open in
Y . (The converse is also true: every topological projection is a regular epi,
see 2.4.5(c).)
*(f) The coequaliser in Cat of two functors F, G : C → D is the quotient of
D modulo the generalised congruence generated by this pair; the latter, as
defined in the paper [BBP], also involves equivalent objects. One can avoid
giving a ‘construction’ of the coequaliser category (necessarily complicated)
and just prove its existence by the Adjoint Functor Theorem 3.5.2.
Q P
R Mod, a finite product Ai and L the corresponding finite sum Ai are
realised as the same object A = Ai , which satisfies:
- the property of the product, by a family of projections pi : A → Ai ,
- the property of the sum, by a family of injections ui : Ai → A,
- the equations pi ui = idAi and pj ui = 0 : Ai → Aj (for i 6= j).
Such an object (in a pointed category) is called a biproduct. The empty
biproduct is the zero object.
Other examples, including Ban and Rel Set (but not Ban1 ), will be seen
in 2.2.6.
As a related notion, a preadditive, or Z-linear, category is a category C
where every hom-set C(A, B) is equipped with a structure of abelian group,
generally written as f + g, so that composition is additive in each variable
(i.e. bilinear over Z)
(f + g)h = f h + gh, k(f + g) = kf + kg, (2.11)
where h : A′ → A and k : B → B ′ . A preadditive category on a single
object is ‘the same’ as a (unitary) ring.
An additive category C is a preadditive category with finite products, or
68 Limits and colimits
equivalently with finite sums, which are then biproducts. The equivalence
will be proved in Theorem 6.4.3, where we also see that, in this case, the
sum of parallel maps is determined by the categorical structure.
Typical examples are Ab, R Mod, Ban (while Abm and Rel Set are just
N-linear and semiadditive: see 6.4.3, 6.4.5).
X : S → C, i 7→ Xi , a 7→ (Xa : Xi → Xj ). (2.12)
fi
A ❍❴ ❴ ❴/ Xi Xa .fi = fj
❍❍
❍❍
❍ Xa (2.13)
fj ❍#
Xj (for a : i → j in S).
(d) In Set every non-empty set is weakly terminal, while ∅ is the unique
weakly initial object. In a pointed category, every object is weakly terminal
and weakly initial.
(e) Weak pullbacks of sets are used in 2.3.8. A weakly initial object will be
used in the proof of the Initial Object Theorem, in 3.5.1.
*(f) Weak limits and colimits are studied in [G4, G6]. They are impor-
tant in Homotopy Theory. A reader familiar with the notion of homotopy
pullback (resp. pushout) of topological spaces [Mat] will likely know, or
easily prove, that it gives a weak pullback (resp. pushout) in the homotopy
category hoTop.
Proof The reader can complete this outline. (Alternatively, a more detailed
argument can be found in [M4], Section V.2, Theorem 1.)
Let the functor X : S → C be written in index notation, as in 2.2.1, and
consider the small products
Q
i Xi indexed by the objects i ∈ ObS, with projections pi ,
Q (2.14)
a Xj(a) indexed by the arrows a in S, with projections qa .
where it is understood that a : i(a) → j(a) in S.
2.2 General limits and completeness 71
Q
A cone (A, (fi )) of X amounts to a map f : A → i Xi that equalises the
following two maps u, v (and gives back the original cone letting fi = pi f )
Q Q
u, v : i Xi → a Xj(a) ,
(2.15)
qa u = pj(a) , qa v = Xa .pi(a) (for a in S).
Q
Taking the equaliser m : L → i Xi of the pair u, v, we have a cone
(L, (ui )) of X, with ui = pi m : L → Xi (for i ∈ ObS). This cone is the
limit.
The second part of the statement, on the preservation of limits, is an
obvious consequence, once we assume that products and equalisers exist,
so that all limits can be obtained as above.
2.3.1 Pullbacks
The pullback of a pair of morphisms (f, g) of C with the same codomain
f : X1 → X0 ← X2 : g
5 X1 ■■
❦❦❦ ;
❦❦❦ ✈✈✈u✈1
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
❦v1 ■■f
❦
❦❦ ✈✈✈ ■■
❦❦ ■$
❦❦ / ✤
B ❙❙❙ A ❍
w
: X0 (2.17)
❙❙❙ ❍ ✉✉
❙❙❙ ❍❍❍ u2 ✉✉
v2 ❙❙❙❙❍❍# ✉
✉✉ g
❙)
X2
that is, f u1 = gu2 , and for every triple (B, v1 , v2 ) such that f v1 = gv2 there
exists a unique map w : B → A such that u1 w = v1 , u2 w = v2 . Again, the
pair (u1 , u2 ) is jointly mono.
The pullback-object A is also called a fibred product over X0 and written
as X1 ×X0 X2 . The square diagram f u1 = gu2 in (2.17) is also called a
pullback, or a pullback diagram; it can be put in evidence by some mark in
the pullback corner, as above.
In the ordered set X the pullback of the diagram x1 6 x0 > x2 is the
meet x1 ∧ x2 . Saying that X has pullbacks means that every upper-bounded
pair of elements has a meet.
In Set (resp. Top, Ab) the pullback-object can be realised as a subset
(resp. subspace, subgroup) of the product X1 ×X2 :
2.3.3 Pushouts
Dually, the pushout of a pair (f, g) of morphisms with the same domain is
the colimit of the obvious functor defined on the category 1 ← 0 → 2. This
amounts to an object A equipped with two maps ui : Xi → A (i = 1, 2)
which form a commutative square with f and g, in a universal way:
X1 ❍❙❙
✉: ❍❍❙❙❙❙ v1
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
f✉✉ ❍
✉✉ u1 ❍❍ ❙❙❙❙❙
✉✉ ❍# ❙❙❙
✤ )
X0 ■ ; A w❦❦/5 B (2.19)
■■ ✈✈ ❦❦
■■ u2 ✈✈ ❦❦❦❦❦
g ■■$ ✈
✈❦✈❦❦❦❦ v2
X2
R / A
v
In Set it can be realised as R = {(x, x′ ) ∈ A×A | f (x) = f (x′ )}, and gives
the equivalence relation Rf associated to f . Then, the coequaliser of the
pair u, v : R → A is the (projection on) the quotient A/Rf . Kernel pairs
and their coequalisers are basic tools of the theory of regular categories:
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
see Chapter 4.
One can note that the kernel pair has little to do with the equaliser of f
and f , which – in any category – is the identity of its domain.
The dual notion is called a cokernel pair.
2.3.7 Lemma
In a category C we suppose that the following diagram is commutative. If
2.3 Pullbacks and pushouts 79
the two lateral squares and the back square are pullbacks (with vertices
P, Q and R), then the front square is also a pullback
• / •
✉✉✉: O ✈✈✈; O
✉✉ / ✈✈
• •
O O
(2.23)
/
<R < •
①①① u ③③
①① ③③③v
P / Q
(a) First we work in the category Set. It is easy to see that a square of
mappings
f
A / X
g h (2.24)
Y / B
k
hf = kg ⇒ gf ♯ 6 k ♯ kgf ♯ = k ♯ hf f ♯ 6 k ♯ h,
gf ♯ 6 k ♯ h ⇒ kg 6 kgf ♯ f 6 kk ♯ hf 6 hf ⇒ kg = hf.
4 X ❏❏
f′❥❥ ❥❥❥t❥t❥t: ❏❏h
❥❥❥ ❥❥❥ tttf ❏❏
❏$
❥❥
′ ❥ u
t
A ❚❚❚ / A ❏ : B (2.25)
❚❚❚❚ ❏ tt
❚❚❚❚ ❏❏g❏❏ tt
t
g′
❚❚❚❚❏$ tt k
❚*
Y
The sufficiency of (iii) follows from taking A′ = {∗}, its necessity from
the axiom of choice.
(b) Similarly a square (2.24) of homomorphisms of R Mod (in particular
of Ab) is said to be exact if it becomes bicommutative in the category of
relations, i.e. if it satisfies (i). This is still equivalent to (ii), since the
forgetful functor Rel (R Mod) → Rel Set is faithful; this condition can also
be expressed by an exact sequence due to Hilton [Hi] (see 6.4.8). Char-
acterisation (iii) holds here if we take A′ = R (or require A′ to be a free
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
module).
(c) In Top every subspace E ⊂ X is the equaliser of its cokernel pair, and
every quotient space X/R is the coequaliser of its kernel pair.
Here every injective continuous mapping is a monomorphism, while the
regular and strong subobjects coincide and amount to inclusions of sub-
spaces: the ‘general subobjects’ are less important than the strong (or
regular) ones. Similarly, every surjective continuous mapping is an epi,
while the regular and strong quotients coincide and amount to projections
on quotient spaces, in the usual sense.
f f
AO / B A / B
O
m ❋ n p q (2.31)
O O ①
• / • • / •
(i∗ ) The unit constraint for pushouts. The pushout of an identity mor-
phism along any morphism (always exists and) is chosen to be an identity:
f◦ (1A ) = 1B .
f′ 1 f′
X′ / Y′ X′ / X′ / Y′
x y x f y (2.33)
X ′′ / Y ′′ X ′′ / Y ′′ / Y ′′
f ′′ f ′′ 1
i f
• / • • / •
(2.34)
/ • / •
• •
g j
86 Limits and colimits
it is easy to see that the EM-factorisation considered above is unique up
to isomorphism, in C2 . The reader will note that:
- this factorisation system (E, M ) is not proper,
- restricting E to the set E0 where i is an identity and M to the set M0
where j is an identity, we even have a strict factorisation system (E0 , M0 ),
in the sense that the factorisation (2.33) is now strictly determined,
- such a restriction can also be made in case (a), taking – for instance –
E0 = Epi and M the set of inclusions of subsets.
A / B A /
✇ ✇X
wm ✇✇✇✇✇
✇ (2.36)
e ✇w 1 e ✇✇✇✇✇ m
{✇ {✇{✇✇✇✇ 1
X / B X / B
m m
uf u v
/ • / •
•
1 m
(i) E0 and M0 are closed under composition and contain all the identities,
(a) A category admits the pair (Epi, Mono) as a factorisation system if and
only if
(i) all epimorphisms are strong epis and all monomorphisms are strong
monos,
(b) The following categories have such a factorisation system: Set, Set• ,
Ab, R Mod, Gp. For the last case, one should recall that all epimorphisms
in Gp are surjective (see 1.3.4(a)).
(c) We shall see in 4.2.3 that every regular category has a factorisation
system (rEpi, Mono), where rEpi is the set of regular epis (coinciding with
the strong ones). The examples of (b) are part of this case.
(d) In Top one can consider two main factorisation systems: (rEpi, Mono)
and (Epi, rMono). One may prefer to use a ‘ternary factorisation system’
(rEpi, Iso, rMono), which generates each of the previous ones in the obvious
way.
2.6 Inductive limits and filtered colimits 89
2.5.5 *Natural weak factorisation systems
A functorial weak factorisation system in C is assigned by a functorial
factorisation of its morphisms
λ(f ) ρ(f )
X / F (f ) / Y f = ρ(f ).λ(f ), (2.38)
to a filtered colimit.
These colimits have important, peculiar properties: they are ‘often’ pre-
served by forgetful functors of concrete categories, and even created by
the forgetful functors of equational algebras. Furthermore, they ‘often’
commute with finite limits.
The dual notion, classically called a projective limit, is less important
in the usual categories of structured sets, where – generally speaking – all
limits are already ‘well-behaved’.
We keep this section at an elementary level, adequate to the present
goals. More complete expositions can be found in [M4, Bo1].
The colimit is a universal cocone (L, (ui )): for every cocone (Y, (fi ))
there exists a unique f : L → Y in C such that fi = f ui : Xi → Y , for all
i ∈ I.
(b) The other constructions of 2.6.2 are extended in the same way.
2.6 Inductive limits and filtered colimits 93
2.6.6 Theorem
Filtered colimits in Set commute with finite products, in a sense made pre-
cise in the proof.
Note. This statement is a particular instance of a much more general result:
see 2.6.7(b).
fi = ui pi : Xi ×Yi → Xi → ColimX,
(2.52)
gi = vi qi : Xi ×Yi → Yi → ColimY.
It is surjective, since an arbitrary pair ([x, i], [y, j]) can be rewritten as
([ua x, k], [vb y, k]), for any pair of arrows a : i → k, b : j → k of S. To prove
that it is injective, let us suppose that
ua x = ub x′ in Xk , vc y = vd y ′ in Yk′ .
which means that (x, y) ∈ Xi×Yi and (x′ , y ′ ) ∈ Xj×Yj coincide in Xk′′×Yk′′ ,
under the arrows ra = sc : i → k ′′ and rb = sd : j → k ′′ . Therefore
[x, y, i] = [x′ , y ′ , j].
Finally, the 0-ary power of X is the constant functor X 0 : S → Set,
that sends everything to the terminal object ⊤ = {∗}. Its colimit is ⊤ =
(ColimX)0 .
2.6.8 Lemma
In the filtered category S, four arrows a, b, c, d are given, as in the diagram
below. Then there exist two arrows r : k → k ′′ , s : k ′ → k ′′ making the
diagram commutative
a / k ❙
i ❋ ra = sc,
❋❋ b ①; ❙❙❙r❙
❙❙)
❋❋ ① ′′
❦5 k
①❋ (2.56)
① c ❋❋❋# ❦❦❦
① ❦❦
j / k′ ❦ s rb = sd.
d
We add two arrows u, v such that uma = unc and vmb = vnd. Then we
2.7 Universal arrows and free objects 95
add two arrows x, y making the right square commutative (which can be
done in two steps, using 2.6.4(i), (ii)).
Now the maps r = xum : k → k ′′ and s = yvn : k ′ → k ′′ satisfy our
conditions:
(A, η : X → U A),
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
gives the universal arrow from the group G to the embedding U : Ab → Gp.
(d) A functor U : A → Set is representable (see 1.6.4) if and only if the
singleton {∗} has a free object A0 in A, so that
U (A) ∼
= Set({∗}, U (A)) ∼
= A(A0 , A). (2.66)
T q η 1
(2.73)
L /
T ❴ ❴↓ λ❴ ❴/ C
L′
F / C F / C
S H S
T ε 1 T q η 1
(2.74)
L
R / /
1 ❴ ❴↑ ρ❴ ❴/ C 1 ❴ ❴↓ λ❴ ❴/ C
R′ L′
2.8.6 Coends
Let us be given a functor F : Xop ×X → C. Its coend is an object C of C
equipped with a family of morphisms uX : F (X, X) → C indexed by the
objects of X. This family must be:
(i) coherent, in the sense that for every morphism f : X → Y in X we have
uX .F (f, 1) = uY .F (1, f ) : F (Y, X) → C,
(ii) universal, in the sense that every coherent family (vX : F (X, X) →
C ′ )X factorises uniquely through the former: there exists precisely one
morphism c : C → C ′ such that uX .c = vX , for all X.
102 Limits and colimits
RX
The coend of F is written as F (X, X).
If X is small and C is cocomplete, the coend of F exists and can be
obtained as the coequalizer of the two morphisms
P P
a, b : f : X→Y F (Y, X) ⇒ X F (X, X),
whose co-component on the morphism f : X → Y comes, respectively, from
af = F (f, 1) : F (Y, X) → F (X, X),
bf = F (1, f ) : F (Y, X) → F (Y, Y ).
(Dually, ends can be constructed by means of limits.)
A classical example from Algebraic Topology, the geometric realisation
of simplicial sets and cubical sets, will be described in 5.3.5 and 5.4.6.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
3
Adjunctions and monads
3.1.1 Examples
(a) The forgetful functor U : Top → Set has two well known ‘best approxi-
mations’ to an inverse which does not exist, the functors D, C : Set → Top,
where DX (resp. CX) is the set X with the discrete (resp. codiscrete)
topology. In fact they provide the set X with the finest (resp. the coarsest)
topology.
For every set X and every space Y we can ‘identify’ the following hom-
sets
Top(D(X), Y ) = Set(X, U (Y )),
(3.1)
Set(U (Y ), X) = Top(Y, C(X)),
since every mapping X → Y becomes continuous if we put on X the discrete
104 Adjunctions and monads
topology, and every mapping Y → X becomes continuous if we put on X
the codiscrete one.
These two facts will tell us that D ⊣ U and U ⊣ C, respectively: D is
left adjoint to U , and C is right adjoint to the latter. This presentation of
the two adjunctions corresponds to form (i) of a Galois connection f ⊣ g,
in 1.7.1, which says that the hom-sets Y (f (x), y) and X(x, g(y)) have the
same cardinal: either 0 or 1.
(b) In other cases, it may be convenient to follow an approach corresponding
to the form (ii) of 1.7.1, and based on universal arrows (defined in Section
2.7).
To wit, let us start from the forgetful functor U : R Mod → Set. We have
already seen, in 2.7.4(a), that, for every set X, there is a universal arrow
from X to the functor U
L
F (X) = x∈X R, η : X → U F (X), (3.2)
consisting of the free R-module F (X) on the set X, with the insertion of
the basis η.
The fact that this universal arrow exists for every X in Set allows us to
construct a ‘backward’ functor F : Set → R Mod, left adjoint to U .
F is already defined on the objects. For a mapping f : X → Y in Set
ηX
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
X / U F (X) F (X)
✤ ✤
✤ U(F f ) ✤ Ff
f
✤ ✤ (3.3)
Y / U F (Y ) F (Y )
ηY
3.1.2 Definition
An adjunction F ⊣ G, with a functor F : C → D left adjoint to a functor
G : D → C, can be equivalently presented in four main forms.
(i) We assign two functors F : C → D and G : D → C together with a family
of bijections
ϕXY : D(F X, Y ) → C(X, GY ) (X in C, Y in D), (3.5)
which is natural in X, Y . More formally, the family (ϕXY ) is a functorial
isomorphism
ϕ : D(F (−), =) → C(−, G(=)) : Cop ×D → Set. (3.6)
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
Fη εF ηG Gε
F / F GF / F G / GF G /
2 2 G
idF idG
106 Adjunctions and monads
The proof of the equivalence will be given in Theorem 3.1.5. Essentially:
- given (i) one defines
ηX = ϕX,F X (idF X) : X → GF X,
εY = (ϕGY,Y )−1 (idGY ) : F GY → Y,
Here D has also a left adjoint π0 : pOrd → Set, where π0 (X) is the set
of connected components of the preordered set X, namely the quotient of
the underlying set |X| modulo the equivalence relation generated by the
preorder x ≺ x′ (i.e. the least equivalence relation containing the former).
(f) Prove that the embedding J : pOrd → Cat of preorderd sets into small
categories (see 1.2.3) has a left adjoint po : Cat → pOrd, using the pre-
ordered set po(C) defined in 1.4.5. Prove that J does not preserve co-
equalisers, while po does not preserve equalisers.
(g) Starting from the (non-faithful) functor Ob : Cat → Set, there is a chain
of adjunctions
π0 ⊣ D ⊣ Ob ⊣ C,
which extends that of point (e).
In fact, by composing the adjunctions in (e) and (f), we get π0 (C) ap-
plying the functor π0 : pOrd → Set to the preordered set po(C).
It may be more interesting to give a direct construction. First, we say
that a category C is connected if it is not empty, and every pair of objects
is linked by a ’zig-zag path of arrows’
• / • o • / • ... • / •
108 Adjunctions and monads
Now π0 (C) can be defined as the set of the connected components of
C, that is its maximal connected subcategories. The empty category has
none, and a category is connected if and only if π0 (C) is the singleton.
Every category is the categorical sum of its connected components.
X / GF (X)
f G(F f ) G(F f ).ηX = ηX ′ .f. (3.9)
X′ / GF (X ′ )
ηX ′
The reader will verify that G is a functor, using the following diagrams
ηX
X / GF (X)
ηX
f G(F f ) X / GF (X)
ηX ′
X′ / GF (X ′ ) 1 G(F 1X ) (3.10)
′ / GF (X)
f G(F f ) ′
X
ηX
X ′′ ′′
/ GF (X ′′ )
ηX
ηX = ϕX,F X (idF X) : X → GF X,
εY = (ϕGY,Y )−1 (idGY ) : F GY → Y.
Therefore
F ′ f.ϕX = ϕX ′ .F f.
(F, G, η, ε) : C →
· D, F ⊣ G: C →
· D.
We also write (η, ε) : F ⊣ G, but one should not view this as an arrow
from F to G in some category.
3.2 Properties of adjunctions 111
Duality of categories interchanges left and right adjoint, unit and counit.
AdjCat is thus a category with involution (as defined in 1.8.1)
C 7→ Cop ,
(3.15)
· D) 7→ ((Gop , F op , εop , η op ) : Dop →
((F, G, η, ε) : C → · Cop ).
Proof (i) This fact is easily proved, using for both implications the following
diagram of two commutative squares, produced by two maps g, g ′ : Y → Y ′
in D
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
εY / Y
F G(Y )
F Gg F Gg′ g g′ (3.16)
F G(Y ′ ) / Y′
εY ′
g = εY ′ .F f.p : Y → Y ′ .
Then the two squares of the diagram below commute, and G(g) = f by the
universal property of εY ′
εY / Y
F G(Y )
F Gg Ff g (3.17)
F G(Y ′ ) / Y′
εY ′
ϑY ηW Y
Y ● / V GY W Y ❘❘ / U F W Y = W (V GY )
●● ❘❘❘
●● Vg
❘❘❘ (3.20)
● ❘❘❘ Ug
f ●● Wf ❘(
#
VA U A = W (V A)
S, P : C2 → C, S ⊣ D ⊣ P,
(3.21)
S(X, Y ) = X + Y, P (X, Y ) = X ×Y.
P ❧❧❧6
X ◆◆
◆◆F◆
❧❧❧ ◆&
(F ↓ G) π Z (3.23)
❘❘❘
❘❘❘ ♣ ♣ ♣♣8
Q ( ♣ G
Y
Proof The argument is standard, and the reader may prefer to work it out.
It suffices to prove (a), since (b) is a consequence. Below, it is understood
that the index i varies in ObS.
A functor W : S → (F ↓ G) has vertices
A reader interested in Computer Science will likely know that the notion
of cartesian closed category (exposed in 3.4.5) is ‘equivalent’ to typed λ-
calculus, as shown in Lambek and Scott [LaS], or Barr and Wells [BarW].
which need not be faithful (as some examples in 3.4.2 will show). For every
pair of objects A, B in C there is a canonical mapping
The latter cannot be omitted: note that s(A, A) : A⊗A → A⊗A is not
the identity, in general.
where the mappings u and v are related by the identity u(x, a) = v(x)(a),
for all x ∈ X, a ∈ A.
This family is natural: for two mappings f : X ′ → X, g : Y → Y ′ , the
124 Adjunctions and monads
following diagram commutes
ϕXY
Set(X ×A, Y ) / Set(X, Set(A, Y ))
g.−.F f Gg.−.f (3.41)
Set(X ′ ×A, Y ′ ) ϕX ′ Y ′
/ Set(X ′ , Set(A, Y ′ ))
3.4.4 Comments
The set Set(X, Y ) is often written as Y X , consistently with the calculus of
cardinals (and with the exponential of small discrete categories, in 1.6.1).
In this way, the previous natural isomorphism can be rewritten as
Set(X ×A, Y ) ∼
= Set(X, Y A ), Y X×A ∼
= (Y A )X . (3.42)
The second form motivates the name of exponential law for these isomor-
phisms (and their version in other categories).
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
two variables: the tensor product (recalled in 3.4.2(b)) and the internal
hom-functor HomR
But we have seen that Ab and R Mod are symmetric monoidal closed, with
respect to the usual tensor product and Hom functor.
(c) Similarly Set• is symmetric monoidal closed, with respect to the smash
product described in 3.4.2(c): Hom(A, Y ) is the set of pointed mappings
Set• (A, Y ), pointed at the zero morphism A → Y .
Describe the associated symmetric monoidal closed structure of S, whose
tensor product was the subject of Exercise 3.4.2(f).
(d) The internal hom-functor HomR : R Modop ×R Mod → R Mod produces
the dual-module functor
HomR (−, R) : R Modop → R Mod, X 7→ X ∗ = HomR (X, R). (3.48)
Proof The necessity of (i), (ii) is obvious: a right adjoint preserves all the
existing limits, and a universal arrow (Y0 , η : X → G(Y0 )) from X to G
gives a solution set formed by a single object of D and a single arrow of C.
Conversely, assuming (i) and (ii), it is sufficient to prove that, for every
object X in C, the comma category (X ↓ G) has an initial object (as we
know from 3.3.4); this follows from the previous Initial Object Theorem.
In fact (X ↓ G) has small hom-sets, because D has. It is small complete
(by Theorem 3.3.3), because C is and G preserves small limits. Finally
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
condition (ii) precisely gives a solution set (Yi , wi : X → G(Yi )) for (X ↓ G),
in the sense of Theorem 3.5.1.
The simplified version is obvious.
α 6 βX = max{♯X, ℵ0 }.
for a monomorphism g : G1 → G0 ⊂ G.
The reader will now consider the small set C(X) of all cardinals 6 βX ,
and prove that the groups whose underlying set belongs to C(X), like the
previous G1 , form a small set S(X). This gives a solution set for X, in the
simplified form 3.5.2(iii) – legitimate because also Set has small hom-sets.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
The usual construction of the free group on the set X will be sketched
in 4.1.3(c).
(b) A similar procedure can be followed for any variety of algebras, as we
shall do in Theorem 4.4.2.
(c) A similar, even easier, procedure can also be followed to prove that the
full subcategory Hsd ⊂ Top of Hausdorff spaces is reflective. A ‘construc-
tion’ of the reflector can be found in Proposition 5.1.3.
*(d) Use the Adjoint Functor Theorem to prove that Gp has small sums –
the ‘free products’.
3.6.1 An example
As an informal presentation of this subject, we start from the forgetful
functor of monoids, here written as G : Mon → Set. The free monoid on a
set X can be constructed as a sum in Set of the cartesian powers X n
P
F (X) = n∈N X n,
(3.54)
(x1 , ..., xp ).(y1 , ..., yq ) = (x1 , ..., xp , y1 , ..., yq ),
so that an element of F (X) is a word (x1 , ..., xp ) in the alphabet X, and
two words are multiplied by concatenation. The empty word e = (−) ∈ X 0
acts as the identity element. We have thus the left adjoint F ⊣ G, with
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
3.6.2 Monads
A monad on the category X is a triple (T, η, µ) where T : X → X is an
endofunctor, while η : 1 → T and µ : T 2 → T are natural transformations
(called the unit and multiplication of the monad) which make the following
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
diagrams commute
ηT
T ❊❊ / T 2 o Tη T T3
Tµ
/ T2
❊❊❊❊❊ ②②
❊❊❊❊ µ ②②②②②②② µT µ (3.57)
❊❊❊ ②②
②②②
T T2 µ
/ T
F : X ⇄ A : G, η : 1 → GF, ε : F G → 1, (3.58)
ηX Ta
X ●● / TX T 2X / TX
●●●●●
●●●●
●●● a µX a
X TX / X
a
3.6.6 Monadicity
On the other hand, if we start from an adjunction (F, G, η, ε) : X → · A
as in 3.6.3, form the associated monad (T, η, µ) and then the associated
adjunction (F T , GT , η, εT ) : X →
· XT , we get a comparison between the two
adjunctions which may be an isomorphism or not; if it is the case, we think
of A as a ‘category of algebras’ over X.
In fact there is a comparison functor:
K : A → XT , K(A) = (GA, GεA : GF GA → GA),
(3.64)
K(f : A → B) = Gf : (GA, GεA) → (GB, GεB).
136 Adjunctions and monads
K links the two adjunctions (which share the unit), in the sense that –
as one can easily verify
F / A
X o KF = F T , GT K = G,
G
K (3.65)
FT
X o / XT εT K = Kε (η T = η).
GT
U S : S → Set• → Set,
X = GT Y : S → X, Yi = (Xi , ai : T Xi → Xi ).
T (LX) aj
T uj
The axioms for the structure a are ‘detected’ by the jointly monic mor-
phisms ui of the limit cone
ui (a.ηLX ) = ai .T (ui ).ηLX = ai .ηXi .ui = ui ,
ui (a.µLX ) = ai .T (ui ).µLX = ai .µX i.T 2ui = ai .T ai .T 2 ui = ui (ai .T ai ).
The cone-morphisms give a family of morphisms of T -algebras
ui : (LX, a) → (Xi , ai ),
fi : (X ′ , a′ ) → (Xi , ai )
ηT = η : 1 → T = GT FT ,
(3.70)
εT (X) = (1T X )♯ : FT GT (X) = T X →
· X.
Also here the monad associated to this adjunction is the original one,
since the new multiplication coincides with the previous one:
(FT , GT , η, εT ) : X →
· XT ,
H : XT → A, H(X) = F X,
♯
H(f : X →
· Y ) = εF Y.F f : F X → F Y, (3.71)
HFT = F, GH = GT , HεT = εH.
3.7 Exercises and complements on monads 139
3.6.9 Comonads and coalgebras
A comonad on the category A is a triple (S, ε, δ) formed of an endofunctor
S : A → A with natural transformations ε : S → 1 (counit) and δ : S → S 2
(comultiplication) which make the following diagrams commute
δ / S2
S ❊ S
②
②②②②② ❊❊❊❊❊❊❊
②
②② δ ❊❊❊❊❊ δ δS (3.72)
②②②②② ❊
S o S2 / S S2 / S3
εS Sε Sδ
δ = F ηG : F G → F G.F G.
x = x0 → x1 → ... → xn = x′ . (3.73)
F : X ⇄ A : G, η : 1X → GF, ε : F G → 1A ,
(3.74)
εF.F η = 1F , Gε.ηG = 1G .
Proof The triangle identities plainly show that F η is invertible if and only
if εF is; the same holds for ηG and Gε.
The main point is proving that (iv) implies that F η and εF are invertible,
i.e. F η.εF = 1F GF . The natural transformation F η.εF forms the upper
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
εF Fη
F GF / F / F GF
F GF η Fη F GF η (3.75)
F GF GF / F GF / F GF GF
εF GF F ηGF
GT (X̂) = X, GT (f : X̂ → Ŷ ) = (f : X → Y ), (3.76)
(ηY.f )♯ : X →
· Y.
(T ηX.ηX)♯ : X →
· T X, (1X )♯ : T X →
· X,
since
(µX.T 1X .T ηX.ηX)♯ = (ηX)♯ = id(X),
(µT X.T 2 ηX.T ηX.1X )♯ = (µT X.T ηT X.T ηX)♯ = (ηT X)♯ = id(T X).
3.8 *Idempotent monads and idempotent adjunctions 145
3.8.4 Exercises and complements
(a) We know, from 3.6.2, that a monad T on an ordered set X is always
idempotent and amounts to a closure operator; an algebraic object for T
is the same as a closed element x = T x. Therefore every adjunction
(F, G, η, ε) : X →
· A
from the ordered set X to an arbitrary category is idempotent; by duality
this also holds for every adjunction A →
· X.
(b) Let A be a full reflective subcategory of X which is replete in X: any
isomorphism i : A → X of X that involves an object of A belongs to A.
Then the embedding G : A ⊂ X has a left adjoint F ⊣ G, and the counit
ε : F G → 1 is invertible (by 3.2.5), which implies that the adjunction is
idempotent. Moreover A coincides with Alg(GF ) and G is monadic.
(In fact, every A ∈ ObA is an algebraic object of X, because η(GA) is
invertible, and conversely an algebraic object X ∼
= GF (X) belongs to A.)
(c) In particular we have seen (in 3.2.6) that Ab is full reflective in Gp,
and obviously replete. The groups which are algebraic for the associated
abelianisation monad
T : Gp → Gp, ηG : G → T (G) = G/[G, G], (3.79)
are precisely the abelian ones. Similar facts hold for many embeddings of
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
algebraic varieties, like Gp ⊂ Mon or CRng ⊂ Rng. But also for Ord ⊂ pOrd
(see 3.2.3(b)) and Hsd ⊂ Top (see 5.1.3).
(d) On the other hand the embedding Rng ⊂ gRng (see 3.3.2(b)) is not full,
since a homomorphism in gRng need not preserve units, when they exist;
thus its left adjoint (−)+ : gRng → Rng (that universally adds a unit, as
described in 3.3.2) does not yield an idempotent monad: the ring R++ will
have a new unit added with respect to R+ .
The embedding of monoids into semigroups behaves in a similar way.
(e) The interested reader can prove the following extension of (b). We
have an adjunction F ⊣ G where the functor G is full and faithful (whence
ε : F G → 1 is invertible and the adjunction is idempotent). It follows that
the comparison K : A → XT is an equivalence of categories, with quasi
inverse F GT : XT → A, and G is monadic in the weak sense mentioned in
the Remark of 3.6.6.
S
F (A, k) = A, S
F (f : (A, k) → (B, k ′ )) = f : A → B,
S
G(A) = (SA, δ : SA → S 2 A),
S
G(f : A → B) = Sf : S G(A) → S
G(B),
S
η(A, k) = k : (A, k) → (SA, δ : SA → S 2 A).
It can be rewritten in the following equivalent form, where F ′′ is a full
embedding with coreflector G′′
F ′′ : Coalg(S) ⇄ A : G′′ ,
η ′′ : 1 → G′′ F ′′ , ε′′ = ε : F ′′ G′′ → 1,
(3.82)
G′′ (A) = SA, G′′ (f : A → B) = Sf : SA → SB,
η ′′ (A) = (εA)−1 : A → SA, ε′′ (A) = εA : SA → A.
3.8.6 Examples
Dualising 3.8.4(b), the inclusion functor U : A → X of a full coreflective
subcategory has a left adjoint G : X → A with invertible unit η.
3.8 *Idempotent monads and idempotent adjunctions 147
We have now an idempotent comonad S = GU : A → A; the category of
coalgebras S A is isomorphic to the full reflective subcategory Coalg(S) ⊂ A
of coalgebraic objects, namely the objects A of A such that εA is invertible.
In particular the category tAb of torsion abelian groups is full coreflective
in Ab, with counit εA : tA → A given by embedding of the torsion subgroup
of A (see 3.2.6); the abelian groups which are coalgebraic for the associated
comonad t : Ab → Ab are precisely the torsion ones.
We begin by studying, in Section 4.1, the free structures for various cate-
gories of algebraic kind. Regular and Barr-exact categories are introduced
in Section 4.2; their categories of relations in Section 4.5.
Varieties of algebras are briefly studied in Sections 4.3 and 4.4, proving
that these categories Alg(Ω, Ξ) are complete and Barr-exact. The fact that
such algebras can be viewed as Eilenberg–Moore algebras for the monad
associated to the forgetful functor Alg(Ω, Ξ) → Set is stated in Theorem
4.4.6; the proof is only referred to [M4].
Other notions of ‘exact category’ will be presented in 6.3.1.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
a group, with basis the family of the equivalence classes η(x) = [(x)].
(d) The existence of the free group F (X) was proved in 3.5.4, in a non-
constructive way, by the Adjoint Functor Theorem. The reader may note
that, once we know that the universal arrow ηX : X → U F (X) exists, it
is straightforward to show that each element of F (X) can be written in
k
the form xk11 xk22 . . . xpp (with xi ∈ X and ki ∈ Z); it is also obvious that
such a form can be reduced as above, but less obvious that no further
identification is needed.
(e) As an overview of the previous cases, let us be given a functor U : A →
Set. We assume that:
(i) the singleton {∗} has a free A-object A, with universal mapping
η0 : {∗} → U A,
P
(ii) for every (small) set X, the sum F (X) = x∈X A exists in A, with
injections ux : A → F (X).
Then one can prove that F (X) is the free A-object over X, with universal
map
η : X → U F (X), η(x) = (U ux )(η0 (∗)). (4.5)
152 Applications in Algebra
4.1.4 Exercises and complements, II
The procedure we have followed above is effective when we know how to
construct sums in A; in other cases there may be simpler direct construc-
tions.
(a) We have seen in 3.6.1 that the free monoid on the set X has a simple
P
construction as a sum in Set, F (X) = n∈N X n , with multiplication by
concatenation.
Now, the free monoid on the singleton is obviously the additive monoid
P
N, generated by 1. It follows that F (X) ‘is’ the categorical sum x∈X N
in Mon.
*In fact F (X) can be constructed in a similar way as the free group in
k
4.1.3(c), by equivalence classes [w] of words w = xk11 xk22 ...xpp , in the alpha-
bet X with natural exponents. Rewriting the class of the word x2 xyz 2 x as
xxxyzzx we find again the simpler construction that we have used above.*
(b) The free commutative unitary ring F (X) can be realised as the poly-
nomial ring Z[x | x ∈ X] with integral coefficients and indeterminates be-
longing to the set X (possibly infinite). The basis X is embedded as a set
of monomials, by η(x) = x.
P
F (X) is thus the sum x∈X Z[x] in CRng, of polynomial rings in one
indeterminate,
*The reader may know that the polynomial ring Z[x1 , ..., xn ] is the n-th
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
tensor power of the ring Z[x], and that finite sums in CRng are constructed
as tensor products – as we have already recalled in 2.1.6(g). An infinite set
X produces an inductive limit of finitely generated commutative rings, see
2.6.3(c).*
(c) More generally, for a commutative unitary ring R, the free commutative
unitary R-algebra can be realised as the polynomial ring R[x | x ∈ X], with
indeterminates in X.
Free rings are examined below, in 4.1.6(b).
The free ring on the set X can thus be constructed in two steps: first the
free monoid M on X (by finite words on this alphabet, or ‘non-commutative
154 Applications in Algebra
monomials’, where xyx 6= x2 y, see 3.6.1); then the free ring ZM on this
monoid (by Z-linear combinations of these monomials, see 4.1.5(b)).
The result is the ring of ‘non-commutative polynomials’ with indetermi-
nates in X and integral coefficients, where the ‘polynomial’ 2 + xyx − 3x2 y
cannot be reduced to 2 − x2 y.
A different (less effective) construction of the ‘same’ ring can be obtained
from the factorisation Rng → Ab → Set.
4.2.1 Definition
A regular category is a category with finite limits, where the kernel pair
R ⇒ A of every map f : A → B (see 2.3.4) has a coequaliser; moreover, the
pullback of any regular epi (see 2.4.5) along any arrow must be a regular
epi.
(The texts [Bar, Bo2] give a more general definition, where the only limits
assumed to exist are the kernel pairs and the pullback of any regular epi
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
where (u, v) is the kernel pair of f and p is the coequaliser of (u, v), a
regular epimorphism; then f u = f v, and there is a unique factorisation
f = mp through p. To prove that m is mono, we let (r, s) be its kernel pair,
and it will be sufficient to prove that r = s (by 2.3.5(a)).
4.2 Regular and Barr-exact categories 155
From m(pu) = m(pv) it follows that there is precisely one map q : R → S
such that rq = pu and sq = pv. Therefore rq = sq, and it will be sufficient
to prove that q is epi.
We form a commutative diagram where the four horizontal squares are
pullbacks and v = v ′′ v ′
p m
/ P / B
=A ⑤= ④=
u ③③ ⑤ ④
③ ⑤⑤ ④
③③ v′ ⑤⑤ v ′′
④
④ f
R / • / A 1
1 ′ 1 p
p
(4.9)
p m
q′ / P / B
=④ A >⑤ =⑤
④④ ⑤⑤ ⑤⑤
④④ ⑤⑤ r ⑤⑤ m
R′ / S
s
/ B
q′′
Trivially, the back squares are also pullbacks. Then the two front squares
are pullbacks as well, by Lemma 2.3.7. But a pullback of the regular epi
p is a regular epi, whence also p′ , q ′ and q ′′ are, and q ′′ q ′ : R → S is an
epimorphism; it coincides with the morphism q of the first diagram because
r(q ′′ q ′ ) = pu = rq and s(q ′′ q ′ ) = pv = sq.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
4.2.3 Corollary
In a regular category, regular epimorphisms coincide with strong epimor-
phisms and are closed under composition.
As a consequence, regular epimorphisms and general monomorphisms
form a factorisation system (rEpi, Mono) (as defined in Section 2.5).
4.2.5 Exercises
(a) Verify that the conditions (i)–(iii) above amount to the usual ones, in
Set.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
(b) Prove that, in a category with finite limits, a kernel pair (u, v) is always
an equivalence relation.
4.2.6 Definition
A Barr-exact category [Bar] is a regular category C where every equivalence
relation is effective, i.e. a kernel pair of a morphism.
Equivalently, one can require that every equivalence relation be the kernel
pair of its coequaliser. This is plainly true in Set, but we shall see that every
variety of algebras is Barr-exact, in Theorem 4.4.4.
A singleton {x} has a unique structure of Ω-algebra, and gives the ter-
minal object ⊤ of Alg(Ω).
A 0-ary operator ω ∈ Ω(0) is also called a constant, and provides every
Ω-algebra A with an element ωA ∈ A, so that |A| cannot be empty. If Ω
does not contain any 0-ary operator, the empty set ∅ has a unique structure
of Ω-algebra and gives the initial object ⊥ of Alg(Ω).
As an example, the signature Ω of semigroups consists of a single binary
operator µ, called multiplication. An Ω-algebra is any set A equipped with
a binary operation µA (x, y) = xy; it is a semigroup when the associativity
axiom is satisfied.
This is expressed as a pair of ‘derived operators’, the ternary multiplica-
tions
ξ ′ = µ(p31 , µ(p32 , p33 )), ξ ′′ = µ(µ(p31 , p32 ), p33 ), (4.14)
158 Applications in Algebra
which must give the same ‘derived operations’ on A
′
ξA : A3 → A, ′
ξA (x, y, z) = x(yz),
(4.15)
′′
ξA : A3 → A, ′′
ξA (x, y, z) = (xy)z.
All this will be formalised defining the clone Ω of derived operators of a
signature Ω.
It is important to note that the axioms which one can express in this
form are ‘universally quantified equations’ like, in the previous case:
for all x, y, z in A : x(yz) = (xy)z. (4.16)
The derived operators will be constructed making use of new formal n-
ary operators pni (for n > 0 and i = 0, 1, ..., n) called projectors. They
operate on every set A as cartesian projections, or the terminal map
pni : An → A, pni (x1 , ..., xn ) = xi , for i = 1, ..., n,
(4.17)
pn0 : n
A → {∗}, pn0 (x1 , ..., xn ) = ∗,
In particular we write p11 as id. The reader will note that the projector
p10 plays a role in expressing the axiom xx−1 = 1 of groups.
three operators: the unity ζ, the opposite ι and the addition σ (of arity 0,
1 and 2, respectively).
(e) Describe R Mod as a variety Alg(Ω, Ξ), where the signature Ω consists
of the previous operators, with the addition of a unary operator λ for every
scalar λ ∈ R.
(f) Describe the category Lth of (bounded) lattices and homomorphisms as
a variety Alg(Ω, Ξ), where the signature Ω has two constants 0, 1 and two
binary operations ∨ , ∧ .
(g) Describe the category of boolean algebras as a variety Alg(Ω, Ξ).
(h) The category Fld of (commutative) fields has poor categorical prop-
erties. Let us begin by observing that a homomorphism f : F → F ′ is
necessarily injective (its kernel must be the null ideal) and induces an iso-
morphism between the minimal subfields of F and F ′ ; the latter have thus
the same characteristic p, which is 0 or a prime number. Fld is the cat-
egorical sum of its full subcategories Fldp , of the fields of characteristic
p.
The reader will prove that Fld and each Fldp lack a terminal object.
Therefore, by a remark in 4.3.1, these categories cannot be isomorphic, or
even equivalent, to any variety Alg(Ω, Ξ).
160 Applications in Algebra
4.3.4 Trivial varieties
There are two trivial varieties of algebras. The first is formed by all the sets
of cardinality 0 or 1, and can be obtained as Alg(∅, Ξ), where Ξ contains
precisely one axiom, namely (p21 , p22 ) (or x = y, informally). In fact, this
axiom gives the full subcategory of Set of all the sets X whose projections
X 2 → X coincide.
The second is formed by all the sets of cardinality 1. The reader can
describe it as a variety Alg(Ω, Ξ), where Ω contains one 0-ary operator.
We shall see in 4.4.3 that there are no other varieties having finitely many
isomorphism-types of algebras, or equivalently a finite skeleton.
(Marginally, we also note that the category 1, consisting of the empty set
and its identity, is not – strictly speaking – a variety of algebras, because
we have alredy remarked that the singletons belong to any variety. But of
course 1 is equivalent to the trivial variety of all singletons.)
4.3.5 Subalgebras
For an (Ω, Ξ)-algebra A, a subalgebra is a subset C ⊂ |A| closed under the
operations of A:
- for every n-ary operator ω ∈ Ω and every n-tuple (x1 , ..., xn ) ∈ C n ,
ωA (x1 , ..., xn ) ∈ C.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
4.3.6 Congruences
A congruence R in an (Ω, Ξ)-algebra A is an equivalence relation in the set
|A| which is consistent with the operations of A:
- for every n-ary operator ω ∈ Ω and every pair (x, y) ∈ Rn , we have
(ωA (x), ωA (y)) ∈ R,
where (by an abuse of notation) Rn ⊂ (|A| × |A|)n = |A|n × |A|n is the
associated equivalence relation of the set |A|n . (The correspondence of this
notion with an ‘internal’ equivalence relation, in the sense of 4.2.4, will be
established in Theorem 4.4.4.)
The quotient set C = |A|/R becomes an (Ω, Ξ)-algebra, by means of the
induced operations ωC
ωC ([x1 ], ..., [xn ]) = [ωA (x1 , ..., xn )], for (x1 , ..., xn ) ∈ An , (4.22)
which automatically satisfy the axioms Ξ. This is the unique structure
of C that makes the projection p : |A| → |A|/R into a homomorphism
p : A → A/R, and therefore an epimorphism of Alg(Ω, Ξ).
We prove below, in Theorem 4.4.4, that p : A → C is a regular epimor-
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
g(ωC ([x1 ], ..., [xn ]) = g[ωA (x1 , ..., xn )] = f (ωA (x1 , ..., xn ))
= ωB (f x1 , ..., f xn ) = ωf (A) (g[x1 ], ..., g[xn ]),
4.3.8 *Complements
A famous Birkhoff Theorem proves that a full subcategory C of Alg(Ω)
(containing the singleton) is a variety of (Ω, Ξ)-algebras (for some set Ξ of
axioms) if and only if C is closed in Alg(Ω) under subalgebras, homomorphic
images and cartesian products.
The interested reader can see the proof in [Gr1], Section 2.6, Theorem 3
or [Coh], Chapter 4, Theorem 3.5.
they are complete and Barr-exact. Moreover all of them are monadic over
Set, and cocomplete.
X : S → C, i 7→ Xi , a 7→ (ua : Xi → Xj ). (4.24)
X there exists a free (Ω, Ξ)-algebra F (X), equipped with a universal arrow
ηX : X → U F (X).
Proof Let us assume (i). The existence of small products of algebras pre-
served by U proves that there are algebras of cardinality higher than any
given small cardinal. Therefore their cardinals (and their types of isomor-
phism) cannot form a finite set. Moreover any set X can be embedded in
the underlying set of some algebra, and ηX is injective (by 2.7.5(a)).
Conversely, if no algebra has more than one element, then Alg(Ω, Ξ) can
only contain the empty set and the singletons, with their unique (Ω, Ξ)-
structure; since all the singletons must be there, we fall in one of the trivial
varieties of 4.3.4. Then conditions (ii) and (iii) fail as well.
epimorphisms.
(ii) A monomorphism i : C → A is the same as an injective homomorphism,
and is equivalent to the embedding of a subalgebra. The subobjects of A can
(and will) be identified to subalgebras, and form a complete lattice Sub(A).
(iii) The factorisation f = m.(ip) of 4.3.7 is the canonical factorisation
regular epi - mono of a regular category. It is strictly determined, if we
require that m be the inclusion of a subalgebra.
Proof We already know, by Theorem 4.4.1, that Alg(Ω, Ξ) has all limits
and coequalisers of kernel pairs, created by the forgetful functor with values
in Set. It follows that regular epimorphisms are closed under pullback, as
in Set.
Let f = (u, v) : R A2 be an equivalence relation, as in 4.2.4. Then
|f | : |R| |A|2 is an equivalence relation of |A|, and we can think of |f | as
an inclusion. Moreover, |R| is a congruence of algebras, because for every
n-ary operator ω and (x, y) ∈ |R|n ⊂ |A|n ×|A|n
(ωA (x), ωA (y)) = ωA2 (f n (x, y)) = f (ωR (x, y)) ∈ |R|.
The quotient p : A → A/R (described in 4.3.6) is turned by U into the
4.4 Limits and free algebras 165
coequaliser of the kernel pair |f | : |R| |A|2 of U p; whence (u, v) : R A2
is the kernel pair of p, which is the coequaliser of (u, v).
We have proved that Alg(Ω, Ξ) is complete and Barr-exact. We have also
proved point (i), taking into account that in a regular category strong and
regular epimorphisms coincide.
Point (ii) follows from Theorem 4.4.2: the free (Ω, Ξ)-algebra on the sin-
gleton exists, therefore the (faithful) forgetful functor U : Alg(Ω, Ξ) → Set
is representable, and preserves and reflects monomorphisms (by 2.3.5(a)).
Moreover, we have already seen in 4.3.5 that the subalgebras of A are closed
under arbitrary intersections.
Point (iii) is a consequence.
We know that U and V create all limits. Let S be a small category with
S = ObS; all families below have indices i ∈ S.
For a functor A : S → Alg(Ω, Ξ), consider the composites W A and V W A.
The latter has a limit (L′′ , (ri : X → V W Ai )). The limit of A in Alg(Ω, Ξ)
is the unique cone (L, (pi : X → W Ai )) taken by U = V W to the limit
cone (L′′ , (ri )). Similarly, the limit of W A in Alg(Ω′ , Ξ′ ) is the unique cone
(L′ , (qi : X → W Ai )) taken by V to the cone (L′′ , (ri )).
The functor W takes (L, (pi )) to a cone of W A, and there is a unique
arrow g : W L → L′ such that qi g = W (pi ), for all i ∈ S. But V pi = ri =
V (W pi ), for all i, whence the underlying mapping V (g) is the identity and
the homomorphism g : W L → L′ is also.
The same argument holds for coequalisers of kernel pairs, which are also
created by U and V.
166 Applications in Algebra
4.4.6 *Theorem (Varieties and monadicity)
The forgetful functor U : Alg(Ω, Ξ) → Set is monadic.
Proof This important result proves that each variety of algebras is a cate-
gory of Eilenberg–Moore algebras, for the monad associated to the forgetful
functor.
The proof can be found in Mac Lane’s text [M4], Section VI.8. The argu-
ment is based on Beck’s Monadicity Theorem (or Tripleability Theorem),
in [M4], Section VI.7.
↓
↓ (4.29)
/ s
t
X g❖❖ Y gP ′ Z
❖❖❖ r ′′ ♥♥7 PPsP ♦♦7
′
r
♥♥♥ P ♦♦♦s′′
R gP ❴ ❲ ♥♥7 S
PPP ❣ ♥
PP ♥♥♥u′′
u ′
P (4.31)
p w
2 X ×Z
P // W / /
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
(r ′ u′ ,s′′ u′′ )
The reader will note that any choice of the pullback gives the same
subobject of X × Z. The identity 1X is the subobject associated to the
diagonal monomorphism
r 6 r′ (4.35)
Proof First, the associativity of the composition law, for three relations
r: X →
· Y, s : Y →
· Z, t : Z →
· U, is proved by the following diagram
X ^❁ Z ?U
❁❁ ✁✁@ _❃❃❃
❁❁ ✁ ❃❃t′ ′′
t
❁❁ ✁✁✁ ❃❃
❃❃
❁❁ ✁✁
❁❁w′ w ′′ ✁✁
X ^❁ ❁❁ Y ✁ Z T ?U
❁❁ ❁❁ ✂@ ^❂ ❂ ✁✁✁ ✁@ _❃ ❃t′ ✁✁@
❁❁ ❁❁ ✂ ❂✁✁ ✁ ❃✁ ✁
❁❁ ✂ ✁ ✁✁❃
r′ ❁❁ ✂ ❁❁❁ ✁✁✁ ❂ ❂ ✁ s′′ ✁ ❃ t′′
✂ r′′ ✁ s′ ✁ ✁✁
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
R ]❀ WO ^❂ S ✁
❀❀ O ❂❂ ✁@ ^❁ ❁ ✁✁✁ n′′
✁ @T (4.36)
❀❀ ❂❂ ✁ ✁ ✁✁✁
❀ p ❁✁ ✁
u′ ❀❀
✁❂❂ ′ ✁✁❁ ′ ✁✁ ′′
❀ ✁ ✁ ❂❂n ✁✁✁ ❁v ✁✁✁ v
u′′
P ^❂ NO @Q
❂❂ O
❂❂ ′ ✂✂✂
❂ p ✂
m′ ❂❂❂ ✂✂✂ m′′
✂
M
Then one defines the vertical composition and the whisker composition
of 2-cells. We only remark that the vertical composition is associated to a
preorder, and is therefore strictly associative, with strict identities; on the
other hand, the composition of morphisms is weakly associative and has
weak identities, up to the equivalence relation associated to the preorder
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
(as follows readily from the first approach). In this way one gets a locally
preordered bicategory R′ = Rel ′ C (see 7.1.3).
The latter gives back the locally ordered 2-category R, by identifying its
arrows up to the equivalence relation associated to the preorder. Moreover,
defining R as this quotient gives an ordered category that is independent of
any choice.
We also note that an equivalence relation in the object A has been defined
in 4.2.4 following this approach.
5
Applications in Topology and Algebraic
Topology
data that represent elementary topological spaces and allow us to define the
singular homology of spaces. We end with some hints at Directed Algebraic
Topology, in Section 5.5.
For a reader who would like to explore the fascinating domain of Al-
gebraic Topology there are excellent texts, like the classical Hilton–Wylie
[HiW] or the recent book by Hatcher [Ha], which is freely downloadable.
For an easier approach, one could begin from an elementary text on singu-
lar homology, like Vick [Vi] or Massey [Mas] (for the simplicial or cubical
construction, respectively).
As to our notation, a functor will be defined by its action on objects
whenever its extension to morphisms is evident (more frequently than
above). A component ϕX : F X → GX of a natural transformation will
often be written as ϕ : F X → GX.
If X is a topological space and A is a subset, X/A denotes the quotient
space of X where the subset A is collapsed to a point. When X is a
pointed space and A is a pointed subset, the quotient X/A is pointed at
the equivalence class [a] of any a ∈ A (formally, the subset A itself).
Intervals of the real line are always denoted by square brackets, as [a, b],
[a, b[, ]a, b[, etc. The standard euclidean interval is written as I = [0, 1], the
5.1 Adjoints and limits in Topology 173
standard euclidean n-sphere as Sn . The two-valued index α (or β) varies
in the set 2 = {0, 1}, also written as {−, +}.
F : Top → Top,
(5.1)
F (X) = X ×A, F (f ) = f ×A = f ×idA.
F has a right adjoint
G : Top → Top,
(5.2)
G(Y ) = Y A , G(g) = Top(g, Y ) : h 7→ gh (for g : Y → Y ′ ),
where the space Y A is the set Top(A, Y ) endowed with the compact-open
topology, also called the topology of uniform convergence on compact sub-
spaces.
The open subsets of the latter are generated by the sets
W (K, V ) = {h ∈ Top(A, Y ) | h(K) ⊂ V }, (5.3)
where K is any compact subspace of X and V is any open subset of Y . A
general open subset is a union of finite intersections of ‘distinguished’ open
sets, of the previous form.
The proof is left to the reader, who can follow the outline given in the
exercise below.
In particular the standard euclidean interval [0, 1] is exponentiable in
174 Applications in Topology and Algebraic Topology
Top, with all its cartesian powers. This is a crucial fact in homotopy
theory, as we shall see in Section 5.2.
*(As a partial converse to the previous result, every exponentiable space
which is Hausdorff must be locally compact, because the product − × A
preserves coequalisers precisely in this case: see [Mic], Theorem 2.1 and
footnote (5)).*
5.1.2 Exercise
This is an outline of the proof of the thesis of 5.1.1, whose details are left
to the reader. We let εY be the evaluation mapping
T (X) → T (Y ).
For a preordered set X, the unit ηX : X → W T (X) is the identity (be-
cause the closure of x ∈ X in the space T (X) is ↓ x). For a space X, the
counit is
εX : T W (X) → X, |εX | = 1X , (5.9)
because T W (X) has a finer topology than X: every closed subset C of X is
downward closed for the specialisation preorder. The triangular identities
are trivially satisfied.
Therefore T embeds pOrd in Top, as the full coreflective subcategory of
Alexandrov spaces.
have both adjoints D ⊣ U ⊣ C, which give to any set the discrete extended
metric (the largest possible one) or the codiscrete semimetric (the least
possible one). Therefore these functors U preserve (the existing) limits
and colimits.
(e) Prove that esMtr1 has all limits and colimits. Some work is required to
define the extended semimetric of a coequaliser.
(f) For an extended metric we only replace (i) with (i′ ). Prove that the em-
bedding U : esMtr1 ⊂ eMtr1 , with values in the category of extended metric
spaces and weak contractions, has a left adjoint F (X) = X/∼, by means
of the obvious equivalence relation that turns an extended semimetric into
an extended metric.
(g) Use this left adjoint to construct all colimits in eMtr1 .
(∨ Ui ) ∧ V = ∨ (Ui ∧ V ),
since these operations are unions and intersections in P(X). In the same
way f ∗ : O(Y ) → O(X) is a homomorphism of frames, which means that
it preserves arbitrary joins and binary meets.
As a surrogate of Top, we now introduce the formal category of locales
Loc, as the opposite of the category of frames and their homomorphisms.
The previous functor (5.15) is thus reinterpreted as
Most topological notions can be studied in Loc, even though some results
can be different. This is the domain of ‘pointless topology’, which is also
important in Topos Theory. The interested reader can begin by [Jo1, Jo2,
Bo3].
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
called the Stone-Čech compactification (see [M4], Section V.8). The unit
ηX : X → V β(X) is a topological embedding if and only if X is a com-
pletely regular space. (Classically a ‘compactification’ was meant to be an
embedding, and this procedure was only considered for completely regular
spaces.)
180 Applications in Topology and Algebraic Topology
The composed adjunction (where D equips a set with the discrete topol-
ogy)
D β
Set o / Top o / CmpHsd βD ⊣ W V, (5.18)
W V
Now we let βX be the closure of the subset evX (X) in the space [0, 1]C ,
and take the codomain-restriction of evX
The delicate point is proving the universal property of this arrow, from
the space X to the functor V .
The interval [0, 1] works in this construction because it is a cogenerator of
the category CmpHsd: this means that if A and B are compact Hausdorff
spaces, and f, g : A → B are distinct maps, there is a map h : B → [0, 1]
that distinguishes them: hf 6= hg.
5.2 Cylinder, cocylinder and homotopies 181
5.2 Cylinder, cocylinder and homotopies
In Top the standard interval I = [0, 1] gives the cylinder endofunctor I =
−×I and its right adjoint, the cocylinder or path endofunctor P = (−)I .
Homotopies between maps X → Y are equivalently defined as maps
IX → Y or X → P Y . Their structure is produced by a rich structure
on the standard interval, covariantly extended to the cylinder functor and
contravariantly extended to the path functor.
Similar constructions can be made in the category Top• of pointed spaces.
(Many other situations where homotopies can be considered, classical or
non classical, have a similar framework, organised by a cylinder or cocylin-
der endofunctor, or both. Many of them are studied in [G8]; this includes
cases where we should rather speak of ‘directed homotopies’, as Cat itself,
or the category of preordered topological spaces that will be sketched in
Section 5.5.)
In Top and Top• we also have the cone and suspension endofunctors; but
their right adjoints, the cocone and loop endofunctors, only exist in the
pointed case.
We recall that the two-valued index α (or β) varies in the set 2 = {0, 1},
also written as {−, +}.
and on the four natural transformations which it inherits from the struc-
tural maps of the standard interval, and which will be written as the latter
∂ α : X → IX, ∂ α (x) = (x, α), (f aces),
e : IX → X, e(x, t) = x (degeneracy), (5.28)
r : IX → IX, r(x, t) = (x, 1 − t) (reversion).
ϕ + ψ : f → g, (5.29)
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
∂+
X / IX c− (x, t) = (x, t/2),
∂− t c− (5.30)
/ IX +
IX c (x, t) = (x, (t + 1)/2).
c+
by modifying the mapping I(ϕ̂), which does not have the correct faces.
In fact, as we know from 5.1.1, the cylinder functor I = −×I has a right
adjoint
P : Top → Top, P (Y ) = Y I , (5.33)
map.)
kϕk : kf h → kgh : X ′ → Y ′ ,
where kϕh is represented on the cylinder by k.ϕ̂.I(h) : IX ′ → Y ′ (or on
the cocylinder by P (k).ϕ̌.h : X ′ → P Y ′ ). As a consequence, the homotopy
relation is a congruence of categories in Top.
The quotient category hoTop = Top/≃ is called the homotopy category
of topological spaces, and is important in Algebraic Topology. Its objects
186 Applications in Topology and Algebraic Topology
are the topological spaces, and a morphism [f ] : X →
· Y is a homotopy
class of continuous mappings X → Y .
An isomorphism in hoTop is the same as a homotopy equivalence: namely
a pair of maps f : X ⇄ Y : g such that gf ≃ idX and f g ≃ idY .
As a basic notion of Algebraic Topology, a functor F : Top → C with
values in an arbitrary category is said to be homotopy invariant if F (f ) =
F (g) whenever f ≃ g in Top, so that F induces a functor hoTop → C.
Typically, this is the case of the homology and homotopy functors with
values in Ab, Gp, etc.
Note that C + (∅) = {∗}: only when X is not empty, the cone C + X is a
quotient of the cylinder IX (by collapsing its upper bases to a point).
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
X / {∗}
+
∂
∂−
X / IX v+ (5.42)
■■
■■σ
■■
$
{∗} / ΣX
v−
ε = εj1 ...εjh : [m] → [n] (0 6 j1 < j2 < ... < jh 6 m − 1). (5.56)
Finally an increasing mapping ϕ : [m] → [n] can be uniquely factorised
epi-mono ϕ = δε, and as a composite
ϕ = δik ...δi1 εj1 ...εjh
(5.57)
(0 6 j1 < j2 < ... < jh < m, 0 6 i1 < i2 < ... < ih 6 n),
with m − h = n − k (the cardinal of the image of ϕ).
All this shows that the category ∆ is generated by faces and degeneracies,
under the cosimplicial relations (applying the Special Form Lemma 5.3.8).
Similar facts hold for the augmented simplicial site ∆∼ , adding δ0 : ∅ →
[0] to the previous generators.
∂i ∂j = ∂j ∂i+1 , for j 6 i,
ej ei = ei+1 ej , for j 6 i,
ej ∂i−1 ,
for j < i − 1, (5.59)
∂i ej = id, for j = i − 1, i,
e ∂ ,
for j > i.
j−1 i
J : ∆ → Top,
P
[n] 7→ ∆ = {(t0 , ..., tn ) ∈ Rn+1 | ti > 0,
n
ti = 1},
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
δi : ∆n−1 → ∆n (0 6 i 6 n),
(5.60)
δi (t0 , ..., tn−1 ) = (t0 , ..., ti−1 , 0, ti , ..., tn−1 ),
εi : ∆n → ∆n−1 (0 6 i 6 n − 1),
εi (t0 , ..., ti , ..., tn ) = (t0 , ..., ti + ti+1 , ..., tn ).
∂n+1 ∂n ∂1
... An+1 / An / An−1 ... A1 / A0 ❴ ❴/ 0 ... (5.68)
Im ∂n+1 ⊂ Ker ∂n .
Ch+ : SmpSet → Ch+ (Ab), Ch+ (K) = ((F(Kn )), (∂n )), (5.69)
where, for a simplicial set K, the component Chn (K) is the free abelian
5.3 Simplicial sets 195
group F (Kn ) = ZKn . The differential is defined on the basis Kn as
P
∂n (a) = i (−1)i ∂ni (a) ∈ F (Kn−1 ), (5.70)
where i = 0, ..., n. The only non trivial point, and a nice exercise, is proving
that ∂n ∂n+1 = 0, by applying the simplicial relations of the faces.
(c) Construct the (algebraic) homology functor
where Hn (A) is called the n-th homology group of the chain complex A =
((An ), (∂n )).
(d) Finally we have the n-th singular homology functor
δ α : 1 → 2, ε : 2 → 1, ε.δ α = id,
(5.74)
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
δ α (∗) = α (α = 0, 1).
Higher faces and degeneracies are derived from the previous ones, via
the monoidal structure, for 1 6 i 6 n and α = ±
α
δni = 2i−1 δ α 2n−i : 2n−1 → 2n ,
α
δni (t1 , ..., tn−1 ) = (t1 , ..., ti−1 , α, ti , ..., tn−1 ),
(5.75)
εni = 2i−1 ε 2n−i : 2n → 2n−1 ,
εni (t1 , ..., tn ) = (t1 , ..., ti−1 , ti+1 , ..., tn ).
The cocubical relations follow easily from the formulas (5.74) (omitting
the index n):
Proof Obvious.
since the tensor product of two arbitrary I-maps f = fr ...f1 and g = gs ...g1 ,
both in canonical form, can be decomposed as
that satisfy the cubical relations (dual to the cocubical ones of (5.76))
J : I → Top, 2n 7→ In , (5.84)
To make sense of this, we must construct the chain complex Ch+ (K)
associated to a cubical set K; this is more complicated than the simplicial
analogue: here we have to quotient the free abelian group F (Kn ) = ZKn
modulo the subgroup spanned by the ‘degenerate elements’ (otherwise we
would not get the correct homology groups).
First, the degenerate cubes of a cubical set K are all the elements of type
ei (a)
S
Degn K = i Im (ei : Kn−1 → Kn ), Deg0 K = ∅. (5.92)
202 Applications in Topology and Algebraic Topology
Because of the cubical relations, we have (for i = 1, ..., n)
The main setting studied in [G8] is in fact a richer one, the category
dTop of d-spaces, or spaces with distinguished paths, where an object can
have vortices (i.e. non-reversible loops); this framework will not be recalled
here.
204 Applications in Topology and Algebraic Topology
5.5.2 Comments
As to our choice of the category pTop, we note two points – in the line of
the remarks in 1.1.5(b).
First, if we replace preordered spaces with the ordered ones we miss the
embedding C : Top → pTop by the chaotic preorder, and can no longer view
classical Algebraic Topology within the directed one. Moreover, colimits of
ordered spaces are ‘different’ from the topological ones (in the same way
as the colimits of ordered sets do not agree with those of sets).
Second, if we require that in a preordered space X the graph of the pre-
order is closed in X×X (as is often done), then the discrete (pre)order would
only be allowed in Hausdorff spaces (which are precisely characterised by
having a closed diagonal), and the previous embedding D : Top → pTop
would fail. Now we would complicate limits in pTop.
e(t) = ∗, (5.96)
as it takes values in the opposite preordered space ↑ Iop (with the opposite
preorder).
Again, the standard concatenation pushout can be realised as ↑ I itself
∂+
{∗} / ↑I c− (t) = t/2,
∂− s c− (5.98)
↑I / ↑I c+ (t) = (t + 1)/2,
c+
The picture shows the ‘cone of the future’ at a point p (i.e. the set of
points which follow it) and a directed path from p′ to p′′ , i.e. a continuous
mapping a : [0, 1] → R2 which is (weakly) increasing, with respect to the
natural order of the standard interval and the previous order of the plane:
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
♦7 ❡❡2
❖'
× ×
p′ • ❣3
• p′′ p′ • ❡❡2 • p′′
×
❖' × ❨❨,
X Y
Then – as displayed in the figures above and easy to guess – there are,
respectively, 3 or 4 ‘homotopy classes’ of directed paths from the point p′
to the point p′′ , in the fundamental categories ↑ Π1 (X), ↑ Π1 (Y ); in both
cases there are none from p′′ to p′ , and every loop is constant.
First, we can view each of these ‘directed spaces’ as a stream with two
islands, and the induced order as an upper bound for the relative velocity
feasible in the stream. Secondly, one can interpret the horizontal coor-
dinate as (a measure of) time, the vertical coordinate as position in a
5.5 Hints at Directed Algebraic Topology 207
1-dimensional physical medium, and the order as the possibility of going
from (x, y) to (x′ , y ′ ) with velocity 6 1 (with respect to a ‘rest frame’ of
the medium). The two forbidden rectangles are now linear obstacles in
the medium, with a bounded duration in time. Thirdly, our figures can be
viewed as execution paths of concurrent automata subject to some conflict
of resources, as in [FGR2], fig. 14.
In all these cases, the fundamental category distinguishes between ob-
structions (islands, temporary obstacles, conflict of resources) which inter-
vene essentially together (in the earlier diagram on the left) or one after
the other, in a discernible way (on the right). On the other hand, the un-
derlying topological spaces are homeomorphic, and topology, or algebraic
topology, cannot distinguish these two situations.
Again, all the fundamental monoids ↑ π1 (X, x0 ) are trivial: as a striking
difference to the classical case, the fundamental monoids can carry a very
minor part of the information of the fundamental category ↑ Π1 (X).
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
6
Applications in Homological Algebra
which means that there exists a unique morphism u such that h = (ker f )u.
Equivalently ker f is the equaliser of f and the zero morphism A → B. A
normal monomorphism is any kernel of a morphism, and is always a regular
210 Applications in Homological Algebra
mono. Note that the existence of kernels does not require the existence of
all equalisers, as many examples will show, in 6.3.3.
Dually, the cokernel of f is the coequaliser of f and the zero morphism
A → B, i.e. an object Cok f equipped with an (epi)morphism cok f : B →
Cok f, such that (cok f ).f = 0 and
(i∗ ) every map h such that hf = 0 factorises uniquely through cok f
f cok f
A / B / Cok f
t
h t (6.2)
tu
zt
•
(c) In R Mod or Set• , or Top• , or Gp, or gRng, or Ban the natural ‘kernel-
object’ is the usual subobject Ker f (the preimage of the zero subobject)
and ker f is its embedding in the domain of f. However, if u : K → Ker f
is an isomorphism, also the composite (ker f )u : K → A is a kernel of f.
This is important, because the preservation of kernels by functors holds in
this sense, generally.
(d) In R Mod and Set• every subobject is normal, while in Top• (resp. Gp,
gRng, Ban) the normal subobjects correspond to the pointed subspaces
(resp. invariant subgroups, bilateral ideals, closed linear subspaces). Note
that normal monomorphisms are not closed under composition in Gp, nor
in gRng, but they are in Ban.
(e) In R Mod the natural cokernel-object is the quotient B/f (A), and cok f
is the canonical projection B → B/f (A). In Gp (resp. gRng) the cokernel-
object is the quotient of B modulo the invariant subgroup (resp. the bi-
lateral ideal) generated by f (A). In these categories all epimorphisms are
normal.
(f) Show that in Set• and Top• cokernels exist, and there are non-normal
epimorphisms. *The same holds in Ban.*
6.1 Kernels and cokernels 211
(g) Let us note that in R Mod the image f (A) is determined as Ker (cok f ),
i.e. the kernel-object of the morphism cokf, while Cok (ker f ) = A/Ker f
gives the coimage of f, an isomorphic object. The other categories we have
been considering above do not behave in this ‘simple’ way, which holds in all
abelian categories, and – loosely speaking – characterises the Puppe-exact
ones (see Section 6.3).
logical Algebra in this framework is studied in [G10], where the hints below
are developed.
The reader likely knows that homology theories of topological spaces
are generally defined (and axiomatised) on the category Top2 of pairs of
topological spaces, as in the foundational text of Eilenberg–Steenrod [EiS]:
an object is a ‘pair’ (X, A) formed of a space X and a subspace A, while
a morphism f : (X, A) → (Y, B) is a continuous mapping f : X → Y such
that f (A) ⊂ B. Composition is as in Top, and the latter is embedded in
Top2 by identifying the space X with the pair (X, ∅).
The object (X, A) is usually read as ‘X modulo A’ and viewed as a formal
quotient. Now, as a natural choice, we define an object (X, A) to be null
when X = A, and we say that the morphism f : (X, A) → (Y, B) is null if
it factorises through a null object, or equivalently if f (X) ⊂ B.
Kernels and cokernels (with respect to this ideal) exist and a general
short exact sequence is – up to isomorphism – of the following type, with
morphisms induced by the inclusions A → X and X → X
6.3.
6.2.1 An outline
Direct and inverse images of subsets have been dealt with in 1.7.5. Images
and preimages of submodules will be analysed in this section, according to
the following layout.
We already know that, for every object A in R Mod, the ordered set
SubA of its subobjects (i.e. submodules) is a modular lattice (see 1.2.6),
with maximum 1A : A → A and minimum 0A : 0 → A. For submodules
X, X ′ ⊂ A the meet and the join are
X ∧ X ′ = X ∩ X ′,
X ∨ X ′ = X + X ′ = {x + x′ | x ∈ X, x′ ∈ X ′ }.
A homomorphism f : A → B gives two increasing mappings, called direct
and inverse image, or image and preimage
f∗ : SubA ⇄ SubB : f ∗ ,
(6.4)
f∗ (X) = f (X), f ∗ (Y ) = f −1 (Y ) (X ⊂ A, Y ⊂ B),
6.2 Categories of lattices in Homological Algebra 213
with Ker f = f ∗ (0B ) and Im f = f∗ (1A ).
These mappings form a Galois connection f∗ ⊣ f ∗ (as in 1.7.1), but here
we have a stronger property
f ∗ f∗ (X) = X ∨ f ∗ (0B ) ⊃ X,
(6.5)
f∗ f ∗ (Y ) = Y ∧ f∗ (1A ) ⊂ Y,
which we describe saying that the pair (f∗ , f ∗ ) : SubA →
· SubB is a modular
connection.
All this will be used to define a transfer functor for subobjects of R Mod
SubR : R Mod → Mlc, (6.6)
with values in the category Mlc of modular lattices and modular connec-
tions – a subcategory of the category AdjOrd of ordered sets and Galois
connections (see Section 1.7). This functor will be seen to be exact in 6.3.8,
i.e. a functor which preserves kernels and cokernels (or equivalently exact
sequences, as defined in 6.3.4).
inverse images for R Mod (and will similarly work for a wide class of cate-
gories).
An object is a modular lattice (with 0 and 1). A morphism, called a
modular connection
f = (f • , f • ) : X →
· Y,
is a pair where
(i) f • : X → Y and f • : Y → X are increasing mappings,
(ii) f • f • (x) = x ∨ f • 0, f • f • (y) = y ∧ f • 1 for x ∈ X, y ∈ Y.
As a consequence f • f • > idX and f • f • 6 idY, and we have an adjunc-
tion f • ⊣ f • between ordered sets, i.e. a covariant Galois connection (see
1.7.1). As we have seen f • determines f • , and conversely
f • (y) = max{x ∈ X | f • (x) 6 y},
(6.7)
f • (x) = min{y ∈ Y | f • (y) > x}.
Moreover f • preserves all the existing joins (including 0 = ∨∅), f • pre-
serves all the existing meets (including 1 = ∧∅), and
f •f •f • = f •, f •f •f • = f •. (6.8)
214 Applications in Homological Algebra
Condition (ii) can be equivalently rewritten in a seemingly stronger form:
′
(ii ) f • (f • x ∨ y) = x ∨ f • y, f • (f • y ∧ x) = y ∧ f • x (x ∈ X, y ∈ Y ).
Indeed, from (ii) and the modularity of lattices, we have
x ∨ f • y = (x ∨ f • y) ∨ f • 0 = f • f • (x ∨ f • y) = f • (f • x ∨ f • f • y)
= f • (f • x ∨ (y ∧ f • 1)) = f • ((f • x ∨ y) ∧ f • 1)
= f • (f • f • (f • x ∨ y)) = f • (f • x ∨ y).
This makes evident that modular connections are closed under composi-
tion in the category AdjOrd of ordered sets and Galois connections (intro-
duced in 1.7.4),
(g • , g • ).(f • , f • ) = (g • f • , f • g • ). (6.9)
X 7→ X op , · Y ) 7→ ((f • , f • ) : Y op →
((f • , f • ) : X → · X op ),
(6.10)
f 6 g ⇔ f • 6 g• ⇔ f • > g•.
Mlc is thus selfdual.
We are also interested in the category Dlc of distributive lattices and
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
First there is a zero object (both terminal and initial, see 6.1.1), namely
the one-point lattice 0 = {∗}, since every object X has unique morphisms
t and s:
t s
X / {∗} / X (t• (∗) = 1, s• (∗) = 0). (6.13)
m = ker f : ↓ f • 0 →
· X, m• (x′ ) = x′ , m• (x) = x ∧ f • 0,
(6.14)
p = cok f : Y →
· ↑ f • 1, p• (y) = y ∨ f • 1, p• (y ′ ) = y ′ .
m f p
↓ f •0 / / X / B
O
/ / ↑ f •1
q
O n (6.15)
↑ f •0 g
/ ↓ f •1
m: ↓a →
· X, m• (x′ ) = x′ , m• (x) = x ∧ a, (6.16)
p: X →
· ↑ a, p• (x) = x ∨ a, p• (x′ ) = x′ , (6.17)
↓a →
· X→
· ↑ a, m = ker p, p = cok m. (6.18)
Conversely, every short exact sequence (m, p) in Mlc with central object
X is isomorphic to a unique sequence of this type, with a = m• 1 = p• 0.
6.3 Puppe-exact categories 217
6.2.6 Exercises and complements (The transfer functor)
(a) Coming back to 6.2.1, the reader can prove that we have a functor
exact categories (including the abelian ones); p-exact categories form thus
the natural setting of this analysis.
Subquotients, a crucial tool of Homological Algebra, are introduced in
6.3.9. Some proofs are only referred to the book [G9].
abelian subcategory.)
(c) The category Mlc of modular lattices and modular connections, as
proved in 6.2.2–6.2.4. Mlc abstracts the behaviour of direct and inverse
images of subobjects in (abelian or) p-exact categories (as we shall see in
6.3.8). It is not abelian and cannot even be exactly embedded in an abelian
category (as will be proved in Theorem 6.5.5).
Its full subcategory Dlc of distributive lattices (also defined in 6.2.2) will
play the same role for distributive p-exact categories, i.e. those p-exact
categories whose lattices of subobjects are distributive. As a first example,
Exercise 1.2.7(c) proves that the category of cyclic groups is distributive
p-exact.
(d) The category I of sets and partial bijections, introduced in 1.8.7. A
morphism f : X → · Y in I is a bijection between a subset (Def f ) of X
and a subset (Val f ) of Y, or equivalently a single-valued, injective relation;
they compose as relations in Rel (Set). I is self-dual; the zero object is ∅,
and
Ker f = X \ Def f, Cok f = Y \ Val f.
•
;
✇✇; ●# ●●
✇✇
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
#
A❋ f / B g / C (6.25)
❋❋
❋❋# ✇✇✇;
# ✇;
•
(b) An object X is a zero object if and only if the pair (1X , 1X ) is an exact
sequence, if and only if it forms a short exact one.
(c) Prove that a functor between p-exact categories is exact if and only if
it preserves short exact sequences.
•
f
/ • ❴cok
❴ n❴/ • • ❴ker
❴ p❴/ •
f
/ •
O✤ O ✤
✤ p ✤
m
✤ ❊ n ② ✤q
• ❴ ❴ ❴/ • • ❴ ❴ ❴/ •
g g
(b) In the same situation, if in the left diagram f is epi, then so is g and
the square is also a pushout (a bicartesian square). Dually, if in the right
diagram f is mono, then so is g and the square is also a pullback.
(c) Given the following commutative diagram with (short) exact rows
m p
A / / B // C
u v w
(6.27)
A′ / / B′ / / C′
m′ p′
the left square is a pullback if and only if w is mono. The right square is a
pushout if and only if u is epi.
Proof The reader can prove the statement for a category of modules, or
try the general case. The latter can be found in [G9], Lemma 2.2.4.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
f f
AO / B AO / B
O O
m f ∗n
O O f∗ m
O ● On
• // • • ❴ ❴ ❴/ •
The left square is commutative and the right one is a pullback (by the
previous lemma). The theorem below proves that the pair (f∗ , f ∗ ) is a mod-
ular connection between modular lattices, i.e. a morphism of the category
Mlc studied in Section 6.2.
In particular:
f∗ 0 = 0, f∗ 1 = im f ; f ∗ 0 = ker f, f ∗ 1 = 1. (6.29)
224 Applications in Homological Algebra
6.3.8 Theorem and Definition (The transfer functor)
(a) Every (well-powered) p-exact category E has an exact functor with val-
ues in the p-exact category Mlc of modular lattices and modular connections
SubE : E → Mlc,
(6.30)
A 7→ SubA, f 7→ Sub(f ) = (f∗ , f ∗ ).
This functor also reflects exactness: a sequence of E is exact if and only
if its image in Mlc is exact.
SubE will be called the transfer functor (for subobjects), or also the pro-
jective functor of E. (The name is motivated by the projective category
Pr E, that will be studied in Section 6.5.)
(b) The lattice operations and the ordering of SubA can be described as
follows, for m, n ∈ SubA and p = cok m, q = cok n (the corresponding
quotients)
m ∧ n = m∗ m∗ (n) = n∗ n∗ (m),
m ∨ n = p∗ p∗ (n) = q ∗ q∗ (m), (6.31)
∗
n 6 m ⇔ n (m) = 1.
Proof The particular case E = R Mod has been studied in 6.2.1, 6.2.6. The
general case is proved in [G9], Theorem 2.2.6.
6.3.9 Subquotients
As a prime example, the homology group
M /m / A p = cok n,
′ p
p (6.33)
S / / A/N n = ker p ≺ m.
m′
This square is bicartesian, i.e. pullback and pushout at the same time.
(In fact, it is a pullback by (6.26), because p∗ (m′ ) = p∗ p∗ (m) = m ∨ ker p =
m; and a pushout by 6.3.6(b), or by duality).
Conversely, every bicartesian square in E formed of two ‘parallel’ monos
and two ‘parallel’ epis is of this type, up to isomorphism.
A ▼ B
▼▼u▼ v qq
q
▼& xqq
C ▼ (6.34)
qq ▼▼▼
xqqqp q ▼&
A B
- pu = idA, qv = idB, qu = 0, pv = 0,
226 Applications in Homological Algebra
- (C; p, q) is the product of A, B and (C; u, v) is their sum.
The object C is often written as A ⊕ B; the maps p, q are called projec-
tions while u, v are called injections. L
Similarly one defines the biproduct i Ai of any family of objects;
L the
biproduct of the empty family is the zero object. A morphism C → i Ai
will often
L
be written as (fi ), by its components fi : C → Ai , while a mor-
phism i Ai → D can be written as [fi ], by its co-components fi : Ai → D
(as in our notation for products and coproducts, in 2.1.1 and 2.1.5).
As we know, all categories of modules, Abm and Ban have finite biprod-
ucts; other examples will be examined in 6.4.5, including some cases of
arbitrary biproducts.
6.4.2 Lemma
Let C be an N-linear category.
The following conditions on the object Z are equivalent:
(a) Z is terminal,
(a∗ ) Z is initial,
(b) Z is the zero object,
(c) C(Z, Z) is the trivial group,
(d) idZ = 0ZZ .
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
Proof (a) We already know, from the previous lemma, that (i) and (i∗ )
are equivalent. Furthermore, if they hold, C has finite biproducts and the
binary ones satisfy the conditions of 6.4.2. Therefore, for f, g : A → B, the
composition (6.35) is computed as follows (letting p′ , q ′ be the projections
of B ⊕ B):
∂(f ⊕ g)d = (p′ + q ′ )(u′ f p + v ′ gq)(u + v) = f + g.
Now let us suppose that C is pointed and has finite biproducts (as defined
in 6.4.1), and define the sum of parallel maps as in (6.35). One verifies that
this is indeed an enrichment over Abm (see [M4], Section VIII.2, exercise
4a); moreover, in diagram (6.34), the map up + vq : Z → Z must be the
identity, because:
p(up + vq) = pup + pvq = p, q(up + vq) = qup + qvq = q.
228 Applications in Homological Algebra
(b) It is a straightforward consequence.
sets and Z-weighted maps (see 3.7.1(b)) is additive, with the obvious sum
P
of maps; a finite biproduct is a disjoint union X = Xi (a sum in Set),
with the usual injections ui : Xi → X and suitable projections pi : X → · Xi
(that are not mappings).
But also this example becomes obvious, if we replace SetT with the equiv-
alent category of free abelian groups – a full subcategory of Ab closed under
finite biproducts (see 3.7.1(c)).
(b) Abm is obviously a semiadditive, not additive, category. The examples
below consist of selfdual categories with finite (or arbitrary) biproducts.
(c) The category Ltc of lattices and Galois connections is a full subcategory
of AdjOrd. It has finite biproducts (while Mlc lacks products and sums),
Q
realised as cartesian products Xi of lattices
Q pi mi Q
Xi • / Xi • / Xi (6.36)
mi • ⊣ mi • = pri = pi • ⊣ pi • ,
Q
where pri is a cartesian projection; for an element x ∈ Xi and j 6= i
(mi • (x))i = x, (mi • (x))j = 0, (pi • (x))i = x, (pi • (x))j = 1.
6.4 Additive and abelian categories 229
(For an infinite family (Xi ) the universal properties of product and sum
would fail, unless we restrict to complete lattices.)
Ltc is thus semiadditive, and the sum f + g of two maps f, g : X → Y is
defined as in (6.35)
d f×g ∂
X / X ×X / Y ×Y / Y (6.37)
which is of order two (i.e. its composed morphisms are null), since hf −kg =
0.
6.5 Projective p-exact categories and projective spaces 231
It is easy to see that:
(a) the square (6.38) is a pullback if and only if the sequence (6.39) is exact
in A and X ⊕ Y,
(a∗ ) the square (6.38) is a pushout if and only if the sequence (6.39) is
exact in B and X ⊕ Y.
It is sufficient to prove (a), by duality. We know (from 2.3.2) that
the pullback-object of the cospan (h, k) is the equaliser of the morphisms
hp1 , kp2 : X ⊕ Y → B, that is the subobject
It will also be useful to know that the exactness of square (6.38) is equiv-
alent to each of the following (dual) conditions:
(i) the pair (h, k) and the pushout of (f, g) have the same pullback,
(i∗ ) the pair (f, g) and the pullback of (h, k) have the same pushout.
It is sufficient to prove the equivalence of (i), because the exactness
condition is self-dual. We have already noted that the pullback-object of
(h, k) is the subobject Ker [h, −k] X ⊕ Y ; now, by (a∗ ), the pushout of
(f, g) is a pair (h′ , k ′ ) with Ker [h′ , −k ′ ] = Im (f, g), and its pullback is this
subobject of X ⊕ Y. Thus the exactness condition is the same as saying that
the two pullbacks coincide.
Pr E = E/∼S ,
(6.41)
(f ∼S g) ⇔ (f∗ = g∗ ) ⇔ (f ∗ = g ∗ ).
One easily verifies that the category Pr E is p-exact, with the same zero
object, the same kernel and cokernel objects and the induced kernel and
cokernel morphisms
ker [f ] = [ker E f ] : Ker f A,
(6.42)
cok [f ] = [cok E f ] : A ։ Cok f.
P : E → Pr E, A 7→ A, f 7→ [f ]. (6.43)
the functor
F2 : K Prj → Set• ,
(6.49)
F2 (X) = (|X|/∼, [0]), (F2 [f ])[x] = [f (x)],
where F2 (X) is the quotient of the underlying set |X| modulo the usual
equivalence relation
x ∼ y ⇔ (∃λ ∈ K ∗ : x = λy), (6.50)
pointed at the singleton class [0] = {0}. F2 is faithful because every lin-
ear subspace is the join of its 1-dimensional subspaces, and direct images
preserve joins.
(c) Projective spaces as unpointed sets. We use the composed functor
F3 = RF2 : K Prj → Set• → S, F3 (X) = (|X| \ {0})/∼, (6.51)
where
R : Set• → S, R(S, x0 ) = S \ {x0 },
is the equivalence of categories between Set• and the category S of sets and
partial mappings (see (1.69)).
6.5 Projective p-exact categories and projective spaces 235
K Prj is thus isomorphic to the category K Prj′ whose objects are the
K-vector spaces, while a morphism ϕ : X →
· Y is a partial mapping of sets
F3 (f ) : (|X| \ {0})/∼ →
· (|Y | \ {0})/∼, (6.52)
induced by some linear mapping f : X → Y, and defined on the set-theoretic
complement of Ker f (see the remarks below).
Proof (a) The argument is based on the fact that the canonical injections
ui : K → K 2 (i = 1, 2),
give two projective linear maps [ui ] that are not jointly epi in K Prj.
Indeed, let us choose some λ ∈ K different from 0 and 1. The linear
automorphisms
products or sums.
(b) This statement also follows from the fact that the linear mapping
g : K 2 → K 2 sending (x, y) to (x, λy) is not equivalent to the identity.
Therefore, the biproduct A ⊕ B of K Vct does not even induce a ‘functor
in each variable’, on projective spaces.
Let us note that the butterfly diagram (6.34) with exact diagonals sub-
sists in K Prj, but – without a Z-linear structure – does not give a biproduct.
(c) Finally, it suffices to recall that the projective functor Sub : K Prj → Mlc
is exact and faithful.
A relation u : A →
· B determines two submodules of A, called definition
and annihilator
Def u = {x ∈ A | ∃y ∈ B : (x, y) ∈ u},
(6.58)
Ann u = {x ∈ A | (x, 0) ∈ u},
and two submodules of B, called values and indeterminacy
Val u = {y ∈ B | ∃x ∈ A : (x, y) ∈ u} = Def u♯ ,
(6.59)
Ind u = {y ∈ B | (0, y) ∈ u} = Ann u♯ .
• •
②< < e▲
▲ s9 b❉b
❉
② ▲e s ❉
② 9 s
Def u i / Val u
A ❈
a❈ B (6.60)
❈❈ 99 Ann u Ind u d❏d ❏❏ ④=
❈ sss ❏❏❏ ④④④
m a ss
s p q =④ n
Def u Val u
M /m / A
:
p ✉✉ q (6.61)
✉ s✉
/
S n A/N /
s = mp♯ = q ♯ n : S →
· A,
that sends the class [x] ∈ M/N to all the elements of the lateral [x] = x +
N ⊂ A. Because of the factorisation (6.60) of a relation, every monorelation
s : S′ →
· A is of this type, up to isomorphism.
The subquotients of the module A amount thus to the subobjects of A in
Rel (R Mod). This will be used in 6.6.6–6.6.8.
(g) All idempotents split (see 2.8.2).
240 Applications in Homological Algebra
6.6.3 Relations for p-exact categories
Every p-exact category E has an involutive ordered category of relations
Rel E, which we now describe, without proofs. Let us recall that E has
pullbacks of monos and pushouts of epis along arbitrary morphisms (see
6.3.6), and is assumed to be well powered (see 6.3.2).
A relation u : A →· B has a quaternary factorisation u = nq ♯ pm♯ , and a
coquaternary factorisation u = q ′♯ n′ m′♯ p′ , each of them determined up to
three coherent isomorphisms; they form two bicartesian squares (pullback
and pushout, see 6.3.6(b))
•
p′②< < a❈❈ m′ n′ ④= • b❊b ❊❊q′
②②② ❈a =④
④ ❊
A b❊ •
= a❈a ❈ B (6.62)
❊❊ ④④= ❈❈ ②②②<
m b
④
④④ p q ❈ ②< n
• •
m p q n
A b❉o o •
O
// •
O
oo •
O
/ / B
O
❉
❉
❉b O (z) O (y) O (x) Om
′
• // • oo • / / •
❋
❋
❋
❋ (u) (y ′ ) p′
❋" "
• o o
c❋c •
OO
/ / •
OO (6.63)
❋
❋
❋ (z ′ ) q′
❋
• / / •
#●
●
● n′
●#
C
The square (x) is a pullback, (y) and (y ′ ) are commutative (by epi-mono
factorisation), (z) and (z ′ ) are pullbacks and (u) is a pushout.
Dually, it can be computed on coquaternary factorisations, by means
of pushouts of epis along arbitrary arrows and pullbacks of monos along
monos.
The involution u 7→ u♯ is obvious; the order relation u 6 v is expressed
6.6 Relations and induction for p-exact categories 241
by the existence of a commutative diagram in E linking their quaternary
factorisations (or equivalently the coquaternary ones)
m p q n
A o o • // • oo • / / B
u w v (6.64)
/ / • o o
A o o • • / / B
m′ p′ q′ n′
• / / • • // • • // •
O O OO OO O O
O (a) O (b) O (c) O (6.65)
• / / • • // • • // •
• // • / / •
′
Every p-exact functor F : E → E preserves preimages of monos and
direct images of epis; therefore it has a unique extension to a functor that
preserves involution and ordering
Rel F : Rel E → Rel E′ . (6.67)
*Every natural transformation ϕ : F → G : E → E′ determines a lax
transformation of order-preserving functors
Rel ϕ : Rel F → Rel G : Rel E → Rel E′ , (6.68)
whose components are precisely those of ϕ (and belong to E′ ).
For this notion the interested reader is referred to [G9]: essentially, a
relation u : A →
· B in Rel E produces a ‘lax square’ in the ordered category
Rel E′ , namely ϕB.(Rel F )(u) 6 (Rel G)(u).ϕA (see (7.67)). *
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
t♯ s : S →
· T, u♯ t : T →
· U,
X ϕ u ϕ v (7.1)
↓ϕ / Y u v
→
v
Y / Y′ Y
g
G / C
C C D
F η ε F (7.2)
D / C D D
G
f
/
↓ϕ
X / Y ψϕ : f → h : X → Y. (7.3)
↓ψ
/
h
(c) a whisker composition for 2-cells and maps, or reduced horizontal com-
position, written as kϕh (or k ◦ϕ◦h, when useful to distinguish it)
f
h / k
X′ / X ↓ϕ / Y
/ Y′ (7.4)
g
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
kϕh : kf h → kgh : X ′ → Y ′ .
These data must satisfy the following axioms (for associativities, identi-
ties and distributivity of the whisker composition):
f h
/ /
X ↓ϕ / Y ↓ψ / Z (ψg).(hϕ) = (kϕ).(ψf ). (7.6)
g k
F : X ⇄ Y : G, η : 1 → GF, ε : F G → 1,
(7.12)
′ ′ ′ ′ ′ ′ ′
F : X ⇄ Y :G , η :1→GF , ε : F ′ G′ → 1,
′
H / X′ 1 / X′ 1 / X H / X′
X X✼
G ✞✞
✞C ✼✼✼ F ✿✿
✿✿ ′ ☎☎☎
B ✼✼ ✞✞C G′
B ✿
☎☎ ✿✿✿F ′
✞ ↓ε ✼✼✼ ↓ϕ ✿ ↓η ☎ ′ ✼✼ ↓η ✞✞ ↓ψ ☎
☎ ′ ✿✿
✞✞ F ′ ✿ ☎☎ G F ✼
✞✞ G ☎☎ ↓ε
Y / Y / Y′ Y / Y′ / Y′
1 K K 1
The natural transformations ϕ, ψ are said to be mates under the given data;
or under the given adjunctions when H and K are identities,
Actually, this holds true for internal adjunctions in any 2-category.
7.1 From categories to 2-categories and bicategories 253
7.1.7 The 2-category of adjoint functors
The category AdjCat of small categories and adjunctions
(F, G, η, ε) : C →
· D,
has been introduced in 3.2.1.
We show now that it has a natural 2-categorical structure, derived from
that of Cat and extending the 2-categorical structure of AdjOrd given by
its order (see 7.1.2).
Given two adjunctions between the same categories
(F, G, η, ε) : C → D, (F ′ , G′ , η ′ , ε′ ) : C → D, (7.14)
a 2-cell of AdjCat
(ϕ, ψ) : (F, G, η, ε) → (F ′ , G′ , η ′ , ε′ ) : C → D, (7.15)
is defined as a pair of mate natural transformations (under the given ad-
junctions), each of them determining the other
ϕ : F → F ′ : C → D, ψ : G′ → G : D → C,
ψ = (Gε′ .GϕG′ .ηG′ : G′ → GF G′ → GF ′ G′ → G), (7.16)
ϕ = (εF ′ .F ψF ′ .F η ′ : F → F G′ F ′ → F GF ′ → F ′ ).
The vertical composition of 2-cells in AdjCat comes from the vertical
composition of natural transformations
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
7.2.1 Definition
A (strict) double category A consists of the following structure.
(a) A set ObA of objects of A.
(b) Horizontal morphisms f : X → X ′ between the previous objects; they
form the category Hor0 A of the objects and horizontal maps of A, with
composition written as gf and identities 1X : X → X.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
f
X / X′
u• •v
a (7.20)
Y / Y′
g
1
Writing a : (X X
g v) or a : (e g v) we mean that f = 1X and u = eX . The
cell a is also written as a : u → v (with respect to its horizontal domain
and codomain, which are vertical arrows) or as a : f → · g (with respect to
its vertical domain and codomain, which are horizontal arrows).
We refer now to the following diagrams of cells, where the first is called
7.2 Double categories 255
a consistent matrix (ac bd ) of cells
f f′
X / X′ / X ′′
u• •v •w 1 f
a b X / X X / X′
Y g / Y′ g′ / Y ′′ u•
1u •u e• ef •e
(7.21)
u •
′ •v ′ •w ′
/ Y / X′
c d Y X
1 f
Z / Z′ / Z ′′
h h′
(e) Cells have a horizontal composition, consistent with the horizontal com-
position of arrows and written as
f ′f
(a | b) : (u g′ g w),
or a|b; this composition gives the category Hor1 A of vertical arrows and
cells a : u → v of A, with identities 1u : (u 11 u).
(f) Cells have also a vertical composition, consistent with the vertical com-
position of arrows and written as
a
: (u′ •u fh v ′ •v),
c
or ac , or a ⊗ c; this composition gives the category Ver1 A of horizontal
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
The first condition says that a consistent matrix (ac bd ) has a precise
pasting; the last says that an object X has an identity cell
X = 1eX = e1X .
κ
eA ⊗(x⊗y) / (eA ⊗x)⊗y
▼▼▼
▼▼▼ qqq (7.27)
& λ x qqλ⊗1
q
x⊗y
κ
x⊗(y ⊗eC ) / (x⊗y)⊗eC
▼▼▼
▼▼▼ qqq (7.28)
1⊗ρ& x qqρ
q
x⊗y
We write the conditions (b) in the form used by Mac Lane in his classical
paper on coherence of monoidal categories [M3]. As proved by Kelly [Kl1],
this set of axioms is redundant: properties (7.25) and (7.26) imply the
other three.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
This is also true in the present more general case. Listing all the previous
conditions has nevertheless some interest: there are defective structures
where the unitors are not invertible and the redundancy recalled above
disappears.
F (X) : eF X → F eX : F X →
· F X,
258 Hints at higher dimensional category theory
(c) for any vertical composite u⊗v : X →
· Y →
· Z in X a special cell, the
composition comparison
7.2.5 Dualities
A weak double category has a horizontal opposite Ah (reversing the horizon-
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
Double cells are determined by their boundary; their horizontal and ver-
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
(The two conditions are easily seen to be equivalent.) Again, the hori-
zontal and vertical composition amount to composing horizontal or vertical
arrows.
We are also interested in the double subcategory Adj0 Ord where we re-
strict the double cells to the bicommutative ones, which here means that
v• f = gu• and f u• = v • g.
7.2 Double categories 261
(c) More generally there is a double category AdjCat of (small) categories,
functors and adjunctions.
Here Hor0 (AdjCat) = Cat and Ver0 (AdjCat) = AdjCat, the category of
adjunctions introduced in 3.2.1. A vertical arrow is thus an adjunction,
conventionally directed as the left adjoint
u = (u• , u• , η, ε) : X →
· Y, (u• : X → Y ) ⊣ (u• : Y → X),
(7.36)
η : 1X → u• u• , ε : u• u• → 1Y .
f
X / X′ a• : v• f → gu• : X → Y ′ ,
u• •v
↓a (7.37)
/ Y′ • • •
Y g a : f u → v g : Y → X ′,
Each of them determines the other via the units and counits of the ad-
junctions u and v
a• = (f u• → v • v• f u• → v • gu• u• → v • g),
(7.38)
a• = (v• f → v• f u• u• → v• v • gu• → gu• ).
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
1⊗id
C(X, Y )⊗E / C(X, Y )⊗C(Y, Y )
❯❯❯❯
❯❯❯❯
❯❯❯* k (7.42)
1
C(X, Y )
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
1⊗k
C(X, Y )⊗C(Y, Z)⊗C(Z, U ) / C(X, Y )⊗C(Y, U )
k⊗1 k (7.43)
C(X, Z)⊗C(Z, U ) / C(X, U )
k
An enriched category has an underlying category |C|, with the same ob-
jects and hom-sets constructed with the canonical forgetful functor U =
V(E, −) : V → Set (not necessarily faithful, see (3.32))
The identity of X in |C| is precisely idX : E → C(X, X). Given two con-
secutive morphisms f ∈ |C|(X, Y ), g ∈ |C|(Y, Z) of the underlying category,
their composite gf is defined by the canonical mapping ϕ of (3.33)
k / C(X, Z)
C(X, Y )⊗C(Y, Z)
F ⊗F F (7.47)
D(F X, F Y )⊗D(F Y, F Z) / D(F X, F Z)
k
| − | : V-Cat → Cat.
over Abm, the symmetric monoidal category of abelian monoids, with tensor
product over N defined ‘as’ in Ab. An N-linear category is a ‘multi-object
generalisation’ of a semiring.
(g) A symmetric monoidal closed category C is canonically enriched on
itself, by its internal hom Hom(X, Y ), with idX : E → Hom(X, X) corre-
sponding to the unitor λX : E ⊗X → X.
Examining under this aspect the symmetric monoidal closed structure of
Ban1 reviewed in 3.4.7(h), it is important to note that the enrichment of
Ban1 on itself does not mean to provide the set Ban1 (X, Y ) with a structure
of Banach space (!), but to introduce a Banach space Hom(X, Y ) whose unit
ball is that set. The ‘naive view’ of enriching a given ordinary category by
providing its hom-sets of a V-structure is only adequate when the canonical
forgetful functor of V does give (what we view as) the underlying set of any
V-object. The next example is even farer from this naive view.
∂i ∂i
oo ∂i oo o
C0 / C1 o // C2 / C3 (7.50)
e0 ei
ei
C1 / C0 C2 / C1
∂0 ∂0
∂1 ϕ̂ ∂0 = G0 ∂0 = ∂0 G1 .
The interested reader can verify that there is a 2-category Cat(X) of in-
ternal categories, internal functors and internal transformations in X. The
vertical composition of internal transformations and their whisker compo-
sition with internal functors are defined as follows
(ψ.ϕ)ˆ = m.hϕ̂, ψ̂i : C0 → D1 , for ψ : G → H : C → D,
(7.55)
(M ϕL)ˆ = M1 .ϕ̂.L0 : C0′ → D1′ , for L : C′ → C, M : D → D.
F (f∗ X) = (F f )∗ (F X),
F (f ∗ Y ) = (F f )∗ (F Y ),
because F preserves epi-mono factorisations and pullbacks). This diagram
is a cell in the double category Adj0 Ord of ordered sets, increasing map-
pings (as horizontal arrows), Galois connections (as vertical arrows) and
bicommutative cells, defined in 7.2.7.
To express this interaction between lattice-homomorphisms and modular
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
f
X / X′ v• f 6 gu• ( in Ord),
u• •v
↓ (7.61)
/ Y′ • •
Y g
(⇔ f u 6 v g).
These have the same objects and arrows as in (a), but only bicommuta-
tive cells:
v• f = gu• , f u• = v • g. (7.63)
We have already seen above, in 7.4.1, that Mlhc comes out naturally when
we want to formalise direct and inverse images of subobjects for modules
(or abelian groups).
The double category Lthc plays a similar role in the much more general
context of ‘semiexact’ and ‘homological’ categories, as one can see in [G10].
We have also seen that the kernel and cokernel of a covariant connection
u = (u• , u• ) : X →
· Y in the category Mlc (and Ltc), are computed as
follows
m : ↓ (u• 0) →
· X, m• (x) = x, m• (x) = x ∧ u• 0,
(7.65)
p: Y →
· ↑ (u• 1), p• (y) = y ∨ u• 1, p• (y) = y.
These become a vertical double kernel and a vertical double cokernel in
Mlhc (or Lthc). Indeed, given the central bicommutative cell a : (u fg v)
below (with gu• = v• f , f u• = v • g), the vertical kernels m = ker (u)
and n = ker (v) determine the upper bicommutative cell of the following
diagram, where the homomorphism f ′ is the restriction of f (and preserves
the new maxima because f (u• 0) = v • g(0) = v • (0))
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
f′
↓ (u• 0) / ↓ (v • 0)
• •
m n
X f / X′
u• •v
(7.66)
Y g / Y′
p• •q
↑ (u• 1) ′
/ ↑ (v• 1)
g
This cell is the kernel of a in Ver1 Mlhc (or Ver1 Lthc). Dually the cok-
ernel of a is the lower cell above, where p = cok (u), q = cok (v) and the
homomorphism g ′ is the restriction of g.
The double category Mlhc is vertically Puppe-exact, in an obvious sense:
(i) the category Ver0 Mlhc = Mlc is p-exact,
(ii) the category Ver1 Mlhc is p-exact ,
(iii) the faces and degeneracy functors between them are exact.
7.5 *Double categories of relations in Homological Algebra 273
In fact we already know (i) and have now verified that Ver1 Mlhc has
kernels and cokernels, preserved by faces and degeneracy. Property (ii)
follows now easily: the induced (bicommutative) cell from Cok (ker (a)) to
Ker (cok (a)) is vertically invertible because its vertical arrows are.
Finally we recall that the category Ltc has a semiadditive structure, with
finite biproducts (see 6.4.5). These ‘limits-colimits’ become vertical biprod-
ucts in Lthc. (One can prove that the double category Lthc is vertically
homological, extending as above the notion of homological category defined
in [G10].)
the present issues; but the reader can think of abelian categories, or even
of categories of modules.
f
AO / B
O
m O O m′
• ❴ ❴ ❴/ •
p p′
•
OO
❴ ❴ ❴/ •
OO (7.68)
q ′
q
• ❴ ❴ ❴/ •
n n′
A′ g
/ B′
Note that S need not preserve epis, so that the right-hand parts of these
formulas are not (co)quaternary factorisations, generally.
We obtain thus a lax double functor S ′ = RelS : RelE → RelE′ (see 7.2.4).
The fact that S ′ preserves cells follows trivially from the fact that the cell
(7.67) amounts to a commutative diagram (7.68) in E, and factorises in
four cells of RelE, whose images are cells of RelE′ .
The comparison special cells for vertical composition S ′ v.S ′ u 6 S ′ (v.u)
7.5 *Double categories of relations in Homological Algebra 275
are an easy consequence of the composition v.u as computed in (6.63)
m p q n
A b❉o o •
O
// •
O
oo •
O
/ / B
O
❉
❉
❉b O (z) O (y) O (x) Om
′
// oo r / /
• • • •
❋
❋
❋
❋ s′ (u) s (y ′ ) p′
❋" "
• o o
c❋c r′ •
OO
/ / •
OO (7.70)
❋
❋
❋ (z ′ ) q′
❋
• / / •
#●
●
● n′
●#
C
Indeed the functor S preserves the pullbacks of monos (x), (z), (z ′ ), that
are bicommutative in the category of relations, and the commutative squares
(y), (y ′ ). Furthermore it carries the pushout (u) to a commutative square
of morphisms Ss′ .Sr = Sr′ .Ss in E′ ; this gives
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
with the same components as ϕ (the coherence with the comparison cells
of RelS and RelT is here automatic, since our double categories are flat).
Dually, a right exact functor S : E → E′ (which preserves cokernels) can
be extended to a colax double functor S ′ = RelS : RelE′ → RelE, by the
same definition as above, in (7.69).
Of course if S is exact we get the double functor already considered in
7.5.1.
276 Hints at higher dimensional category theory
7.5.3 Adjoints between categories of relations
Let us start from an arbitrary adjunction F ⊣ G between p-exact categories
(or just categories of modules)
F : E → E′ , G : E′ → E,
η : 1 → GF : E → E, ε : F G → 1 : E′ → E′ , (7.71)
εF.F η = 1F , Gε.ηG = 1G .
F preserves the existing colimits and G the existing limits; we have thus
a colax and a lax extension, respectively
G′
RelE RelE RelE′ / RelE
F′ η ε F′ (7.73)
RelE′ / RelE RelE′ RelE
G′
η⊗ε = 1F ′ , ε | η = 1•G′ .
ηA : A → GF A, ηu : u → G′ F ′ u,
where ηA is the original one while ηu is defined below, for every vertical
arrow u of RelE. Their coherence conditions (cf. [GP2], Section 2) are
based, separately, on the comparisons of F ′ and G′ (but here, again, they
hold automatically).
7.5 *Double categories of relations in Homological Algebra 277
The double cell ηu of RelE is constructed as follows
ηA
A AO / GF A GF A
O
m O O GF m
• / •
p GF p
u = • / • 6 G′ F ′ u (7.74)
OO OO
q GF q
• / •
n
GF n
B B / GF B GF B
ηB
with A = Z/2, both the extended functors fail to be strict (because F and
G are not exact).
To show that the lax functor G′ = Rel(G) is not strict we take the
canonical projection p : Z → Z/2; then pp♯ = 1 : Z/2 → Z/2 but G(p) =
0 : 0 → Z/2, whence (Gp)(Gp)♯ 6= G′ (pp♯ ) = 1. This also shows that we
cannot compute G′ over the (non-strong) binary factorisation 1 = pp♯ .
Similarly, the colax extension F ′ = Rel(F ) is not strict. The monomor-
phism m = 2.− : Z → Z gives m♯ m = 1Z , but F (m) = 0 : Z/2 → Z/2,
whence (F m)♯ (F m) 6= F ′ (m♯ m) = 1.
278 Hints at higher dimensional category theory
7.6 *Factorisation systems as pseudo algebras for 2-monads
Factorisation systems, both the general ones and the proper ones (see Sec-
tion 2.5), have an interesting, non obvious relationship with two-dimensional
monads and their pseudo algebras (or weak algebras).
We only give some hints to these notions and this relationship; the inter-
ested reader can see the papers cited below. General pseudo algebras can
be found in Street [St1].
1 f
X / X / Y
1 f 1 (7.80)
X / Y / Y
f 1
yields a factorisation X → F (f ) → Y of f in C.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
vf ′ = f ′′ u = vg ′ = g ′′ u. (7.81)
This quotient was later studied by the present author, in a general con-
text, to study weak limits and proper factorisation systems [G4, G6].
The first paper shows that Fr(C) has an induced proper factorisation
system (easily described in the strict form of 2.5.3(f)), and is the weakly
free category with proper factorisation system generated by C. The second
studies the induced 2-monad on the 2-functor Fr : Cat → Cat, and proves
that there is a canonical bijection between proper factorisation systems
280 Hints at higher dimensional category theory
in C and pseudo-isomorphism classes of unitary pseudo algebras of this
2-monad.
Similar, simpler relations hold in the strict case: strict factorisation sys-
tems are strictly monadic on Cat, as well as the proper strict factorisation
systems.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
References
[EiK] S. Eilenberg, G.M. Kelly, Closed categories, in Proc. Conf. Categorical Al-
gebra, La Jolla 1965, Springer-Verlag 1966, pp. 421–562.
[EiS] S. Eilenberg, N. Steenrod, Foundations of algebraic topology, Princeton Uni-
versity Press, Princeton 1952.
[FGR1] L. Fajstrup, E. Goubault, M. Raussen, Detecting deadlocks in concurrent
systems, in: CONCUR’98 (Nice), 332–347, Lecture Notes in Comput. Sci.,
1466, Springer-Verlag 1998.
[FGR2] L. Fajstrup, E. Goubault, M. Raussen, Algebraic topology and con-
currency, Theor. Comput. Sci. 357 (2006), 241–178. (Revised version of a
preprint at Aalborg, 1999.)
[Fo] B. Fong, The Algebra of Open and Interconnected Systems, Ph.D. thesis,
Department of Computer Science, University of Oxford, 2016.
[Fr1] P. Freyd, Abelian categories, An introduction to the theory of functors,
Harper & Row, New York 1964. Republished in: Reprints Theory Appl.
Categ. 3 (2003).
[Fr2] P. Freyd, Stable homotopy, in: Proc. Conf. Categ. Algebra, La Jolla, 1965,
Springer-Verlag 1966, pp. 121–176.
[Fr3] P. Freyd, On the concreteness of certain categories, in: Symposia Mathe-
matica, Vol. IV, INDAM, Roma 1968/69. Academic Press, London 1970,
pp. 431–456.
[Fr4] P. Freyd, Homotopy is not concrete, in: The Steenrod algebra and its ap-
plications, Battelle Memorial Inst., Columbus, OH, 1970, Lecture Notes in
Math. Vol. 168, Springer-Verlag 1970, pp. 25–34.
[FrK] P. Freyd, G.M. Kelly, Categories of continuous functors, J. Pure Appl. Al-
gebra 2 (1972), 1–18.
284 References
[FrS] P.J. Freyd, A. Scedrov, Categories, allegories, North-Holland Publ. Co., Am-
sterdam 1990.
[Ga] R. Garner, A homotopy-theoretic universal property of Leinster’s operad for
weak w-categories, Math. Proc. Cambridge Philos. Soc. 147 (2009), 615–628.
[G1] M. Grandis, Transfer functors and projective spaces, Math. Nachr. 118
(1984), 147–165.
[G2] M. Grandis, Cohesive categories and manifolds, Ann. Mat. Pura Appl. 157
(1990), 199–244.
[G3] M. Grandis, Cubical monads and their symmetries, in: Proceedings of the
Eleventh International Conference on Topology, Trieste 1993, Rend. Ist. Mat.
Univ. Trieste 25 (1993), 223–262.
[G4] M. Grandis, Weak subobjects and the epi-monic completion of a category, J.
Pure Appl. Algebra 154 (2000), 193–212.
[G5] M. Grandis, Finite sets and symmetric simplicial sets, Theory Appl. Categ.
8 (2001), No. 8, 244–252.
[G6] M. Grandis, On the monad of proper factorisation systems in categories, J.
Pure Appl. Algebra 171 (2002) 17–26.
[G7] M. Grandis, The role of symmetries in cubical sets and cubical categories
(On weak cubical categories, I), Cah. Topol. Géom. Différ. Catég. 50 (2009),
102–143.
[G8] M. Grandis, Directed Algebraic Topology, Models of non-reversible
worlds, Cambridge University Press, Cambridge 2009. Available at:
http://www.dima.unige.it/∼ grandis/BkDAT− page.html
[G9] M. Grandis, Homological Algebra, The interplay of homology with distribu-
tive lattices and orthodox semigroups, World Scientific Publishing Co., Hack-
ensack NJ 2012.
[G10] M. Grandis, Homological Algebra in strongly non-abelian settings, World
Scientific Publishing Co., Hackensack NJ 2013.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
[GM] M. Grandis, L. Mauri, Cubical sets and their site, Theory Appl. Categ. 11
(2003), No. 8, 185–211.
[GP1] M. Grandis, R. Paré, Limits in double categories, Cah. Topol. Géom. Différ.
Catég. 40 (1999), 162–220.
[GP2] M. Grandis, R. Paré, Adjoint for double categories, Cah. Topol. Géom.
Différ. Catég. 45 (2004), 193–240.
[GP3] M. Grandis, R. Paré, Kan extensions in double categories (On weak double
categories, III), Theory Appl. Categ. 20 (2008), No. 8, 152–185.
[GP4] M. Grandis, R. Paré, Lax Kan extensions for double categories (On weak
double categories, Part IV), Cah. Topol. Géom. Différ. Catég. 48 (2007),
163–199.
[GT] M. Grandis, W. Tholen, Natural weak factorisation systems, Archivum
Mathematicum (Brno) 42 (2006), 397–408.
[Gr1] G. Grätzer, Universal algebra, Van Nostrand Co., Princeton 1968.
[Gr2] G. Grätzer, General lattice theory, Academic Press, New York 1978.
[Gra] J.W. Gray, The existence and construction of lax limits, Cah. Topol. Géom.
Différ. 21 (1980), 277–304.
[Grt] P.A. Grillet, Exact categories and categories of sheaves, in Lecture Notes in
Math. Vol. 236, Springer-Verlag 1971, pp. 121222.
[Gt] A. Grothendieck, Sur quelques points d’algèbre homologique, Tôhoku Math.
J. 9 (1957), 119– 221.
[Ha] A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge
2002.
Available at: https://www.math.cornell.edu/∼ hatcher/AT/ATpage.html
References 285
[HeS] H. Herrlich, G.E. Strecker, Category theory, an introduction, Allyn and
Bacon, Boston 1973.
[Hi] P.J. Hilton, Correspondences and exact squares, in: Proc. of the Conf. on
Categorical Algebra, La Jolla 1965, Springer-Verlag 1966, 255–271.
[HiW] P.J. Hilton, S. Wylie, Homology theory: An introduction to algebraic topol-
ogy, Cambridge University Press, Cambridge 1960.
[Ho] J.M. Howie, An introduction to semigroup theory, Academic Press, London
1976.
[In] H. Inassaridze, Non-abelian homological algebra and its applications, Kluwer
Academic Publishers, Dordrecht 1997.
[JaMT] G. Janelidze, L. Márki, W. Tholen, Semi-abelian categories, in: Category
theory 1999 (Coimbra), J. Pure Appl. Algebra 168 (2002), 367–386.
[Je] T. Jech, Set theory, Academic Press, New York 1978.
[Jo1] P.T. Johnstone, The point of pointless topology, Bull. Amer. Math. Soc. 8
(1983), 4153.
[Jo2] P.T. Johnstone, The art of pointless thinking: a student’s guide to the cat-
egory of locales, in: Category theory at work (Bremen, 1990) Heldermann,
Berlin 1991, pp. 85–107.
[Jo3] P.T. Johnstone, Sketches of an elephant: a topos theory compendium, Vol.
1, Oxford University Press, New York 2002.
[Jo4] P.T. Johnstone, Sketches of an elephant: a topos theory compendium, Vol.
2, Oxford University Press, New York 2002.
[K1] D.M. Kan, Abstract homotopy I, Proc. Nat. Acad. Sci. U.S.A. 41 (1955),
1092–1096.
[K2] D.M. Kan, Adjoint functors, Trans. Amer. Math. Soc. 87 (1958), 294–329.
[Ke] J.L. Kelley, General topology, Van Nostrand, New York 1955.
[Kl1] G.M. Kelly, On Mac Lane’s conditions for coherence of natural associativi-
ties, commutativities, etc., J. Algebra 1 (1964), 397–402.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
[Kl2] G.M. Kelly, Basic concepts of enriched category theory, Cambridge Univer-
sity Press, Cambridge 1982.
[Kl3] G.M. Kelly, Elementary observations on 2-categorical limits, Bull. Austral.
Math. Soc. 39 (1989), 301–317.
[KlS] G.M. Kelly, R. Street, Review of the elements of 2-categories, in: Category
Seminar, Sydney 1972/73, Lecture Notes in Math. Vol. 420, Springer-Verlag
1974, pp. 75–103.
[Ko] A. Kock, Synthetic differential geometry, Cambridge University Press, Cam-
bridge 1981.
[KrT] M. Korostenski, W. Tholen, Factorization systems as Eilenberg–Moore al-
gebras, J. Pure Appl. Algebra 85 (1993), 57–72.
[LaS] J. Lambek, P.J. Scott, Introduction to higher order categorical logic, Cam-
bridge University Press, Cambridge 1986.
[Law] M.V. Lawson, Inverse semigroups, The theory of partial symmetries, World
Scientific Publishing Co., River Edge 1998.
[Lw1] F.W. Lawvere, Metric spaces, generalized logic and closed categories, Rend.
Sem. Mat. Fis. Univ. Milano 43 (1974), 135–166. Republished in: Reprints
Theory Appl. Categ. 1 (2002).
[Lw2] F.W. Lawvere, Functorial semantics of algebraic theories and some algebraic
problems in the context of functorial semantics of algebraic theories, Repr.
Theory Appl. Categ. 5 (2004).
[LwR] F.W. Lawvere, R. Rosebrugh, Sets for mathematics, Cambridge University
Press, Cambridge 2003.
[LwS] F.W. Lawvere, S.H. Schanuel, Conceptual mathematics. A first introduction
to categories. Second edition. Cambridge University Press, Cambridge 2009.
286 References
[Le] T. Leinster, Higher operads, higher categories, Cambridge University Press,
Cambridge 2004.
[M1] S. Mac Lane, An algebra of additive relations, Proc. Nat. Acad. Sci. USA
47 (1961), 1043–1051.
[M2] S. Mac Lane, Homology, Springer-Verlag 1963.
[M3] S. Mac Lane, Natural associativity and commutativity, Rice University Stud-
ies 49 (1963), 28–46.
[M4] S. Mac Lane, Categories for the working mathematician, Springer-Verlag
1971.
[MaM] S. Mac Lane, I. Moerdijk, Sheaves in geometry and logic. A first introduc-
tion to topos theory, Springer-Verlag 1994.
[MaP] S. Mac Lane, R. Paré, Coherence for bicategories and indexed categories,
J. Pure Appl. Algebra 37 (1985), 59–80.
[MkR] M. Makkai, G.E. Reyes, First order categorical logic. Model-theoretical
methods in the theory of topoi and related categories, Lecture Notes in
Math. Vol. 611, Springer-Verlag 1977.
[Mas] W.S. Massey, Singular homology theory, Springer-Verlag 1980.
[Mat] M. Mather, Pull-backs in homotopy theory, Can. J. Math. 28 (1976), 225–
263.
[Me] J. Meisen, Relations in regular categories, in: Localization in group theory
and homotopy theory and related topics, Lecture Notes in Math. Vol. 418,
Springer-Verlag 1974, pp. 96–102.
[Mic] E. Michael, Local compactness and Cartesian products of quotient maps
and k-spaces, Ann. Inst. Fourier (Grenoble) 18 (1968), 281–286.
[Mit] B. Mitchell, Theory of categories, Academic Press, New York 1965.
[Mo] K. Morita, Duality for modules and its applications to the theory of rings
with minimum condition, Sci. Rep. Tokyo Kyoiku Daigaku, Sect. A 6 (1958),
83–142.
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
∼
= , relation of isomorphism, 14 AdjCat, a double category, 260
≃, equivalence of categories, 37 adjoint equivalence, 36, 106
≃, relation of homotopy, 29, 185 Adjoint Functor Theorem, 129
⊣ , relation of adjunction, 46 AdjOrd, category of ordered sets
⊤, terminal object, 62 and Galois connections, 47
⊥, initial object, 65 AdjOrd, a double category, 260
⊥, orthogonality relation, 81 adjunctions, 105
2-adjunction, 251 and comma categories, 118
2-category, 249 and Kan extensions, 106
locally ordered –, 167 and limits, 111
2-functor, 250 between ordered sets, 46
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.
cylinder functor of
156
directed spaces, 204
esMtr, esMtr1 , categories of extended
pointed spaces, 187
semimetric spaces, 178
topological spaces, 182
essentially surjective, 37
exact functor, 221
definition of a relation, 238 between abelian categories, 230
degeneracy, see faces exact sequence, 221
∆, category of finite positive or- exact square, 80, 231
dinals, 190 in a p-exact category, 241
∆n , standard simplex, 192 exponentiable
derived operator, operation, 158 object, 124
diagonal functor, 96 preordered space, 203
diagram in a category, 3, 32 topological space, 173
distributive exponential
expansion, 221, 245 of categories, 41
lattice, 20 of projective spaces, 237
p-exact category, 220 of sets, 123
Dlc, a category of distributive lat-
tices, 214 faces of
290 Index
a simplicial object, 191 covariant, 35
the cubical site, 197 functorial isomorphism, 36
the cylinder functor, 183 fundamental category, 205
the directed cylinder, 205 fundamental group, groupoid, 189
the directed interval, 204
the directed path functor, 205 Galois connection, 46
the path functor, 184 contravariant, 51
the simplicial site, 190 of an orthogonality relation, 52
as adjoints, 193 on the integral line, 49
the standard interval, 181 on the real line, 51
factorisation system, 85 geometric realisation
in a regular category, 155 of a cubical set, 200
in a variety of algebras, 161 of a simplicial set, 193
natural weak –, 89 Gp, category of groups, 11, 131
strict –, 88 Gpd, category of groupoids, 189
faithful functor, 30 Gph, category of small graphs, 140
filtered graph (directed multigraph), 13
category, 92 graph of a Galois connection, 49
colimit, 92 graph of an adjunction, 118
set, 89 gRng, category of ‘general rings’,
flat double category, 255 116
Fld, category of fields, 159 group (co)homology, 195
Copyright © 2018. World Scientific Publishing Co Pte Ltd. All rights reserved.