文档介绍:Introductionto
CATEGORYTHEOEHY
and
CATEGORICALLOGIC
ThomwsSoreicher
S803andW0304
Contents
1Categories
2FunctorsandNaturalyansformatione
SnbeategorieeFulludEaithfulFnctorEquivalences
么CommaCategoriesandSHiceCalegories
5YonedaTemma
6Grotheudieckanivereesbigowsmail
7LimitsandColimits
8AdjointFnnctons
9AdjointFunetorTheorems
10Monud
11CartesianClosedCategoriesandhCalculus
12RlementaryToposes
18IogieofToposes
0
16
20
22
36
46
62
T
83
Introduction
ThesinofthiseonseiliveninbodetionloLiebasicnotionsf
CategoryTheoryndCategorealToge
ThetpartonCategoryThnonrshonldbeofntonewttagonenslnpd
outicalandioucewitiiolerstinalscboieouetnyanlopologywlerl
Ieesttheanguageofentegoylheonyasomeofitsbasienotionse
ifscolimipsandadiointfonctorsneindigpmsihienowdiysWowewerf
DlowinglheleetuesinaprofiahlewayoueshonlLlnweieedyatenela
couseinbasiealtebraortopoloeybeceusealecbraiestructuresDiegooups
ringsnodnleseceodtonologicalspoeeswerweasihemostinnporsnfsonree
oewumplesHhsttatingeabsteetuotionsntodieediliecoseflle
Ieeturs
Thecondrtwillbeofinteweroeopleshowotlonowabontlogit
alowinbenodelledicategonieeIpaticarweipreea
cortesionclosedcalegorieswhereonecanInierpxtypedAealeuluetle
Ineisofmodenuftneiompmognmingshogogesandelennetrriopowes
pmosidineemosteonciseandsinpleaotionruoddlfireouetnetivehisle
orderlegieGuldingeeamplesferbodhnouonslbepresentedadetaf
Somenowiefseabontconstraeiivelogiewonlbeheipfolfmotioting
bakeromadjbalsaotneeeseacyellowingtiesentatiout
WecoclaletbismosecouriseintoduetionwiulasLofgeestousf
hntherresding
References
IBWJMEDarrCbWelsIoposesIhHplesandIheoriesSptuger005
MChWalsCateoryheoryarComputingScieneePrentice
Hall
Bor5BemeuslondtookofCateyonieal4lgcta9solk,Canbridte
Cniversitrreslga
8
PJLTievd&SSediorCalegoriesAlagoriesKertbIlollandioo0
ad七acobsCalenorieafLogieandJipeheorySorllLiolnd1099
ioh
D
Iias
I
Irnl
Iieil
I
P万JohnstoneSfeiepos名anRepiantAToposThoryCom
perdio2solOUF00a
AnnLMoerdiiklomin5
horyCLP
工Ionpeke卫SeottJntmiuctionjnHgherOniorCinegorioalIngir
CUP0086
$SdomdlCone