Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.
《郭沫若散文》内容简介:郭沫若一生涉足广泛、著作甚丰。他的散文气势浩荡,清丽、浪漫,富有艺术魅力。自传性构成了郭沫若散文明
《Altium Designer 18电路设计从入门到精通(第2版)》内容简介:全书以Altium Designer 18版本为平台,介绍了电路设计的方法和技巧
《美国大学室内装饰设计教程》引导你进入一个精彩的室内设计世界。现在的室内装饰行业正日益繁荣,并不断地发展变化,《美国大学
《LTE移动通信术语与缩略词词典》,本书简介:作为3G标准的后续演进,LTE系统以及其演进技术,引入新的OFDM多址方式,支持灵活的带
本书是一本讲解Web应用中最常见的安全风险以及解决方案的实用教材。它以当今公认的安全权威机构OWASP(OpenWebApplicationSecuri
《吉狄马加的诗》内容简介:本书汇集作者自创作以来诗歌作品的精华,充分展现了迄今作者诗歌创作的全貌,同时因其代表性位置,展现
《极简中国史》内容简介:由外观内,凭古说今 以大视角回望“三代”至清末 穿越历史变动不居的表层,重新解读史实之间深处的缝隙 厘
由胡翔骏编著的《电路分析》是面向21世纪课程教材——《电路分析》(胡翔骏编)的修订版,也是普通高等教育“十一五”国家级规划
从Photoshop2.5开始,PhotoshopWow!book在全世界范围内的设计师、绘图师和摄影师之间广为传颂。本书是最新版本的PhotoshopWoW!...
编程的真正挑战不是学习一种语言的语法,而是学习创造性地解决问题,从而构建美妙的应用。《像程序员一样思考》分析了程序员解决
Struts是目前非常流行的基于MVC的JavaWeb框架。《精通Struts:基于MVC的JavaWeb设计与开发》详细介绍了在最新的Struts1.1以及不...
《温故(二十)》内容简介:《温故》是一种陆续出版的历史文化读物。以今天的视角来追怀与审视过去,并为当下的生存与未来的发展提
《汽车底盘电控系统诊断与维修》内容简介:本书紧密结合现代汽车底盘电控系统诊断与维修生产实际,契合融“教-学-做”为一体的教学
《VC++深入详解》主要从程序内部运行的机制和MFC程序的组织脉络入手,使读者在学习VC++编程知识时,既能够知其然,又能知其所以然
你早该掌握的办公技能-Word/Excel/PowerPoint案例与技巧一本通-含DVD光盘1张 本书特色 《你早该掌握的办公技能--Word\\Excel\...
《译前译后》内容简介:《译前译后》主要涉及到笔者多年来翻译并出版过的作品。译前,系译者对原著的认识。译后,这里包括译著的成
义务教育分册-书写智慧共同成长-全国信息技术课程教学案例 本书特色 《书写智慧共同成长:全国信息技术课堂教学案例大赛优秀作品与点评(义务教育分册)》是由北京师范...
《小学生漫画抗挫力·全3册(新版)》内容简介:小学生漫画抗挫力(全3册)是一套原创少儿心灵成长书。本书分为《挫折承受力》《心
《世界阅读日推荐图书:阅读的未来》内容简介:搜索引擎一家独大、野心勃勃,电子阅读终端产品高歌猛进,阅读的未来是否意味着印刷
《灵活Web设计》讲述如何应用可变或不固定布局及弹性布局来实现灵活设计,以满足用户的根据自己需求而调整浏览站点的窗口大小的要