文档介绍：BRICS
ISSN 1395-2048 January 1995
BRICS Lecture Series LS-95-1
Jaap van Oosten
Basic Category Theory
Basic Research puter Science
BRICS LS-95-1 J. van Oosten: Basic Category Theory
Copyright
c 1995, BRICS, Department puter Science
University of Aarhus. All rights reserved.
Reproduction of all or part of this work
is permitted for educational or research use
on condition that this copyright notice is
included in any copy.
See back inner page for a list of recent publications in the BRICS
Lecture Series. Copies may be obtained by contacting:
BRICS
Department puter Science
University of Aarhus
Ny Munkegade, building 540
DK - 8000 Aarhus C
Denmark
Telephone:+45 8942 3360
Telefax: +45 8942 3255
: ******@
BRICS publications are in general accessible through
anonymous FTP:
http
www
bri cs
aa u
dk
BRI CS
ftp ftp
brics
aa u
d k
cd pub
BRICS
Basic Category Theory
Jaap van Oosten
Jaap v an Oosten
BRICS
Departmen t puter Science
Univ ersit y of Aarh us
Ny Munk egade
DK
Aarh us C
Denmark
B asic R esearc h I n C omputer S cience
Cen tre of the Danish National Researc hF oundation
Preface
These notes con tain the material of a short course on categories I ga v ein Arh us
in the autumn of
as part of Glynn Winsk el
s seman tics course
Later on
while writing
I added some material
but not m uc h
The st yle in whic h they are written re
ects m y view on category theory
it
is
esp ecially at this lo w lev el
practice rather than theory whic hcoun ts
I ha v e
therefore giv en man y pro ofs as exercises
If y ou really w an t togeta griponthe
sub ject
I strongly suggest y ou do as man yofthemasy ou can
The same go es for the examples
They are the
esh and b ones of the theory
and man yofthemha v e b een c hosen so they are a recurring theme
functors
o
ma ybegiv en as examples in c hapter
b e sho wn to constitute an
D
C
adjunction i