A Gentle Introduction to Category Theory by Fokkinga英文学习资料

A Gentle Introduction to Category Theory by Fokkinga英文学习资料

ID:38729611

大小:422.57 KB

页数:80页

时间:2019-06-18

A Gentle Introduction to Category Theory by Fokkinga英文学习资料_第1页
A Gentle Introduction to Category Theory by Fokkinga英文学习资料_第2页
A Gentle Introduction to Category Theory by Fokkinga英文学习资料_第3页
A Gentle Introduction to Category Theory by Fokkinga英文学习资料_第4页
A Gentle Introduction to Category Theory by Fokkinga英文学习资料_第5页
资源描述:

《A Gentle Introduction to Category Theory by Fokkinga英文学习资料》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、AGentleIntroductiontoCategoryTheory

2、thecalculationalapproach

3、MaartenM.FokkingaVersionofJune6,1994cM.M.Fokkinga,1992MaartenM.FokkingaUniversityofTwente,dept.INFPOBox217NL7500AEENSCHEDETheNetherlandse-mail:fokkinga@cs.utwente.nlContents0Introduction31Themainconcepts71aCategories::::::::::::::::

4、::::::::::::::::::::71bFunctors:::::::::::::::::::::::::::::::::::::131cNaturality::::::::::::::::::::::::::::::::::::191dAdjunctions:::::::::::::::::::::::::::::::::::261eDuality::::::::::::::::::::::::::::::::::::::292Constructionsincategories312aIso,epic,andmonic:::::::::::::::::::::::::::

5、::::312bInitialityand nality::::::::::::::::::::::::::::::342cProductsandSums:::::::::::::::::::::::::::::::382dCoequalisers:::::::::::::::::::::::::::::::::::432eColimits:::::::::::::::::::::::::::::::::::::47AMoreonadjointness59Chapters3and5of`LawandOrderinAlgorithmics'[4]presentacategorica

6、lapproachtoalgebras.Thosechap-tersdon'tusethenotionsofadjunctionandcolimit.SoyoumayskipSections1d,and2e,andAppendixAwhenyouareprimarilyinterestedinreadingthosechapters.12CONTENTSChapter0Introduction0.1Aim.Inthesenoteswepresenttheimportantnotionsfromcategorytheory.Theintentionistoprovideafairl

7、ygoodskillinmanipulatingwiththoseconceptsformally.Whatyouprobablywillnotacquirefromthesenotesistheabilitytorecognisetheconceptsinyourdailyworkwhenthatdi ersfromalgorithmics,sincewegiveonlyafewexamplesandthosearetakenfromalgorithmics.Forsuchanabilityyouneedtoworkthroughmany,verymanyexamples,in

8、diverse eldsofapplications.Thistextdi ersfrommostotherintroductionstocategorytheoryinthecalculationalstyleoftheproofs(especiallyinChapter2andAppendixA),therestrictiontoapplicationswithinalgorithmics,andtheomissionofmanyadditionalconceptsandfactsthatIconsidernothelpfulina rstintroductiontocate

9、gorytheory.0.2Acknowledgements.ThistextisacompilationandextensionofworkthatI'vedoneformythesis.Thatprojectwouldhavebeenafailurewithoutthehelporstimulationbymanypeople.Regardingthetechnicalcontents,RolandBackhouse,GrantMalcolm,LambertMeertensa

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。