Basic Category Theory for Computer Scientists

《Basic Category Theory for Computer Scientists》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、BasicCategoryTheoryforComputerScientistsBenjaminC.PierceTheMITPressCambridge,MassachusettsLondon,England1991MassachusettsInstituteofTechnologyAllrishtreserved.Nopartofthisbookmaybereproducedinanyformbyanyelectronicormechanicalmeans(includingphotocopying,recordins,.orinformationstoras

2、eandretrieval)withoutpermissioninwritingfromthepubhsher.ThisbookwastypesetbytheauthorusingTEX3.0andconvertedtoPostScriptusingY&Y'sDVIPSONETM.Camera-readycopywasproducedbyChiron,Inc.PrintedandboundintheUnitedStatesofAmerica.LibraryofCongressCataloging-in-PublicationDataPierce,Benjamin

3、C.Basiccategorytheoryforcomputerscientists/BenjaminC.Pierce.p.cm.--(Foundationsofcomputing)Includesbibliographicalreferencesandindex.ISBN0-262-66071-71.ComputerscienceMathematics.2.Cati•gories(Mathematics)I.Title.II.Series.QA76.9.M35•1991511.•dc•91-8489CIP10987ToRoger,Alexandra,andJe

4、ssicaContentsSeriesForewordPrefaceBasicConstructions11.1Categories11.2Diagrams101.3Monomorphisms,Epimorphisms,andIsomorphisms131.4InitialandTerminalObjects161.5Products171.6UniversalConstructions201.7Equalizers211.8Pullbacks.221.9Limits261.10Exponentiation332Functors,NaturalTransform

5、ations,andAdjoints362.1Functors362.2F-Algebras392.3NaturalTransformations412.4Adjoints453Applications533.1CartesianClosedCategories533.2ImplicitConversionsandGenericOperators573.3ProgrammingLanguageSemantics593.4RecursiveDomainEquations614FurtherReading734.1Textbooks734.2Introductory

6、Articles744.3ReferenceBooks764.4SelectedResearchArticles78Bibliography81SummaryofNotation93Index95SeriesForewordTheoreticalcomputersciencehasnowundergoneseveraldecadesofdevelopment.The"classical"topicsofautomatatheory,formallan-guages,andcomputationalcomplexityhavebecomefirmlyestabli

7、shed,andtheirimportancetoothertheoreticalworkandtopracticeiswidelyrecognized.Stimulatedbytechnologicaladvances,theoreticianshavebeenrapidlyexpandingtheareasunderstudy,andthetimedelaybe-tweentheoreticalprogressanditspracticalimpacthasbeendecreasingdramatically.Muchpublicityhasbeengive

8、nrecentlytob