C AHIERS DE
TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES
J OHN M AC D ONALD
A RTHUR S TONE Topoi over graphs
Cahiers de topologie et géométrie différentielle catégoriques, tome 25, n
o1 (1984), p. 51-62
<
http://www.numdam.org/item?id=CTGDC_1984__25_1_51_0>
© Andrée C. Ehresmann et les auteurs, 1984, tous droits réservés.
L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (
http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
TOPOI OVER GRAPHS
by John
MACDONALD and Arthur STONE CAHIERS DE TOPOLOGIEET
GEOMETRY DIFFFRENTIELLE
CATEGORIQUESVol. XXV-1 (1984)
In
presenting
these results on themonadicity
ofTopoi
and several othercategories
overGraphs
we wish toacknowledge
theindependent investigations
ofBurroni [1]
on thistopic
and of Lambek[3]
on the re-lated
question
ofTopoi
over Cat . Wehope
that the difference betweenour
approach
and that ofBurroni,
who was first inproving
results on themonadicity
ofTopoi
overGraphs ,
willhe lp
furtherclarify
the area of mon-adic and
essentially
monadicadjunctions (cf. Freyd [2]
and MacDonald-Stone [4]).
By Topoi
we will mean the category of smalltopoi
andlogical
mor-phisms.
Ourtopoi
will haveparticular ( = chosen)
finite limits and colimits that arepreserved by
themorphisms (so
ourmorphisms
are what are some-times called strict
logical morphisms).
We will
give presentations by giving
lists ofoperations
and ax-ioms for the
category A appearing
in theadjunction diagram
in which the
algebras
that are theobjects
of A are built upsuccessively
in four stages, that
is, A
takes on four values :1.
Categories
withequalizers,
2.
Finitely complete categories,
3. Cartesian closed
categories,
and4.
Topoi.
Algebras
here meansessentially algebraic
structures, in the sense ofFreyd [2] :
voperations
may bepartial -
with domains determinedby
equa- tions in loweroperations - here, by equations
in theoperations
ofGraphs .
In the final stage,
giving
a list ofoperations
and axioms for A isBy Graphs
we mean the category of one-sorted universalalgebras
for the two unary
operations
Sce x andTgt x ,
with four axioms :These
algebras
areequivalent
to whatgraph
theorists call directedmultigraphs.
Here we willspeak
of amorphism (= element)
x as anobject
if it satisfies the
equation
Sce x = x .Upper
case letters willusually
beused to
begin expressions
that denote suchobjects.
A two-sortedexposi- tion,
withdisjoint
classes ofobjects
andmorphisms,
would beslightly longer (with
Sets X Sets for the basecategory).
In
equations involving partial operations,
as in ouraxioms,
no as-sumption
isimplied concerning
the existence of the element denotedby
either side.
The bottom line of all this is of course that each of the four cat-
egories
listed are monadic overGraphs
and that the free structures in each(over Graphs )
may be described in terms of theoperations
and axiomsgiv-
en for that category.
1. CATEGORIES WITH EQUALIZERS.
The
operations
are thefollowing :
01.
Composition c ( x, y ) = y . x
is apartially
definedbinary operation
defined when
Tgt x
=Sce y .
02.
Equalizer e ( x , y )
is defined whenThis is the
equalizer morphisms.
Theequalizer object
is its source.03. The universal
morphism
forequalizers h (w,
x,y )
is defined whenThis will be
slightly
different from the usual universalmorphism
whichis defined when x . w = y . w
(using language
that is not available to usat this
point).
04. The
equalizer
inversei( x )
is defined for all x . This will be an inverse fore ( x , x ) .
The
following
axioms are needed :54 P R OPOSITION . Given
with PROOF.
commutes
by A9.
ButBy
diagram
(5) HoweverCombining
the last two statements we haveThus from
diagram (6 )
and A]2, 13,
it follows thatz = h ( w, x, y ) .
2. CATEGORIES WITH FINITE LIMITS.
Further
operations :
05. Terminal
object:
This is a constant denotedby
1 .06. The universal
morphism
for 1 ish 1 ( X )
defined when Sce X = X .07,
8 and 9. The chosenproduct
andprojections P ( X , Y ) , p ( X , Y )
andq( X , Y )
defined when Sce X = X and Sce Y = Y.010. The universal
morphism hP (
x,y )
forproducts
is defined when Sce x =Sce y
..Further axioms :
Note that the
uniqueness
ofh1
is aconsequence sinee k : X -> 1
implies
PROPOSITION. Given lows that
PROOF.
3. CARTESIAN CLOSED CATEGORIES.
We must extend the set of
operations
so that for everyalgebra
A inA and every
object
Y in A we have anadjunction
56
Here -,7
Y is of course the extension of the functionP ( ., Y),
definedon
objects,
to afunctor ; where p = p(
Sce x,Y ) and q
=q(
Sce x,Y).
For the other components of the
adjunction
we need newoperations
andaxioms. But there are no
uniqueness questions.
011. Internal hom
-Y
defined when Sce Y = Y.012,
13.Diagonal
and evaluation mapsdgl ( X , Y )
andevl ( X , Y )
aredefined when Sce X = X and Sce Y = Y.
A29-32.
Source and target ofdgl ( X , Y )
andevl ( X , Y ) .
A33 - 35. . Y
preserves See,Tgt
andcomposition :
A36,
37.The naturality of dgl ( - , Y )
andevl ( - , Y ) . A38,
39. Theadjunction equations
4. TOPOL. a
The
approach
we will use to thepresentation
of theoperations
as-sociated with a
subobject
classifier(using nothing
more than the opera- tions ofGraphs
for thedefining
ofdomains)
calls for the concurrent pre- sentation ofcoequalizers.
It is of course well known that a cartesian clos- ed category with finite limits and asubobject
classifier hascoequalizers
(Pare
[5]),
but we cannot use this since we needcoequalizers
on our wayto the
subobject
classifier.014, 15,
16. The duals of theoperations e , h and
i .017,
18. Constants denotedby Q
and true.019. The characteristic map
c( x)
defined for all x .Usually
the char-acteristic map for x is defined
only
if x is amonomorphism. But,
«mono-morphism »
cannot beexpressed
in thelanguage
ofGraphs .
We will getaround this
by requiring
that x and its monic component in itsepic-monic
factorization have the same characteristic map, so that
c ( x )
is in effectsuperfluous
when x is non-monic.020,
21.Unary operations i 1 ( x )
andi 2 ( x )
defined for all x.These
operations
will be used to make certain kernelpairs
andpullbacks
behave.
They
could be omitted if we were to ask for more coherence in ourTopoi. They
will beisomorphisms.
In the more coherentsituation, they
would be identities.
A40 - 49.
These are the duals of A6 - 15 andgive
uscoequalizers.
A50 - 53.
Thesegive
the sources and targets of true andc ( x ) .
We may now form
coequalizers
of kernelpairs
and we defineim ( x )
to be the
unique morphism
with x =im ( x ) ,
c where c is thecoequalizer
of the kernel
pair
of x.A 54. c(x)
=c(im(x)).
All that remains is to
compel im ( x )
to be monic and the familiar s quareto be a
pullback
as well as to show theuniqueness
property. We can do this with thirteen more axiomsA55-67 involving previously
defined oper- ations. With four axioms wegive i 1 ( x )
the source, target andcomposites
that will make it an inverse for one of the
morphisms
in the kernelpair
of
im(x).
Now let
P b ( x )
be the chosenpullback
of trueand c ( x ) .
Vlith thenext five axioms we make
( 11 )
commute and causei2 ( x )
to be an inversefor the
resulting morphism.
-Let
t 1 and t 2
beoperations
defined in terms ofthe equalizer
eand the
product projections P and q
as follows :The canonical
pullback
of x and y is defined to beWith the last four axioms we ensure that if there is a
pullback
dia-gram of the form
(11)
withc ( x ) replaced by
y , thenc ( x ) ---
y . These axioms are as follows :We next show
explicitly
how thepreceding
axioms can be used toprove the Q
axiom, namely
that for each monic m : A 4 V there is one andonly
onemorphism
y: V -> Q such thatis a
pullback
square.From
diagram ( 11 )
and associated axioms it is clear that y =c ( m )
is such amorphism.
To show there isonly
onesuch y
is more subtle anduses axioms A64-A67.
PROPOSITION 16.
Suppose
are
pullbacks,
thenc ( x ) .
y =c ( x ) .
z . PROOF. Letbe the canonical
pullbacks.
Then there is aunique
0: C , A withSimilarly
there is aunique
0.- D -> A withand
both 6 and 0
areisomorphisms.
From thepreceding
it follows thatThus
are
pullbacks,
then y = z . P ROOF.By Proposition 16,
By A66, c ( true ) = 1 ,
hence y = z .This
completes
theproof
of themonadicity
ofTopoi
overGraphs.
The desired
Corollary
21 can beproved using
thefollowing simpler (nonalgebraic)
axioms A68 andA69 plus
axioms andoperations
up to andincluding
A 64.We first
give
A68 andA69
aspropositions provable
from the ax-ioms
through
A67.Let s be the
operation
definedby s ( y )
=t 1 ( true , y ).
PROPOSITION 23. 1 PROOF.
that if
is the canonical
pullback
of true and y, thenclearly
since 1
is terminal.PROPOSITION 25.
We now prove
Corollary
21using
A68 andA69
instead of the moregeneral
axiomsA 65 - 67- Namely,
Finally
since Axiom(A67)
is morecomplicated
in its formulation than the earlier axioms we end with thefollowing
PROPOSITION
26. (A67)
holdsfor Topoi .
PROOF. Let
Then we must show that
We prove this from the 9 -axiom
by showing
thatdiffer
by
anisomorph
ism of domain.Starting
with canonicalpullback
dia-grams
( 18 )
we build thediagrams
The outer part of the
diagrams
commuteby
definition ofe 1 and e2 .
Henceand there is a
unique 02
withBut
Thus
01
factorsuniquely through Similarly,
for
unique CP2’
But1 .
Similarly,
Thus E an d since is monic.
Similarly
Finally,
with o2
anisomorphism.
REFERENCES.
1. A. BURRONI,
Algèbres graphiques,
CahiersTop.
Géom.Dif.
XXII- 2(1981),249.
2. A. FREYD, Aspects
of topoi,
Bull. Austral. Math. Soc. 7 (1972), 1- 76.3. J. LAMBEK,
Toposes
are monadic overcategories,
to appear.4. J. MACDONALD & A. STONE,
Essentially
monadicadjunctions,
Lecture Notes in Math. 962,Springer
( 1982), 167- 174.5. R.
PARÉ,
Colimits intopoi,
Bull. Am. M. S. 80 (1974), 556- 561.John MAC DCNALD Mathematics Department
University
of British Columbia VANCOUVER, B. C.CANADA V6T lY4
Arthur STONE
Mathematics Department LJ. B. C. Davis
DAVIS, Ca.
U. S. A.