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.
改变未来的九大算法 本书特色 google得出的搜索结果是如何产生的? 百度为何会陷入“搜索门”,又是什么机制使然?身处在大数据时代...
本书的构思和写作是在20世纪50年代后期,那一时期曾经被人们称为喷气机时代、清洁剂时代、第二次工业革命时期,等等。在那个阶段
《墙垣边的人类》内容简介:建筑说到底是一种文化,是构成人类文明的一个重要组成部分。本书熔建筑艺术、文化学、史学、哲学和心理
《版权赋能,丝路无疆》内容简介:报告首先挖掘了丝绸业在吴江的历史缘起,继而介绍了吴江丝绸纺织工业的形成、演进与发展历程,分
《被谷歌》内容简介:我们身处这样一个汹涌激荡的时代:报纸走向破产;杂志遭遇变卖;图书出版商的利润空间被狠狠挤压;广播电视
《Web开发入门经典:使用PHP6、Apache和MySQL》以逐步深入的方式介绍了3种重要的开源技术,它们组成了构建一个最活跃的Web站点所需
本书在一开始就给出一个概述和指南,论述了从grep到sed再到awk不断改进的功能。sed和awk具有相同的命令行语法,以脚本的形式接收
ASP.NET不仅是微软最重要的战略性产品之一,而且还是Web开发领域最具创新性、最成功的技术之一。它可完全利用.NET架构的强大、高
Inthetraditionofinternationalbestsellers,"FutureShock"and"Megatrends,"MichaelJ.S...
《道德经验批判》内容简介:本书深入分析和确定了道德意识发生的普遍条件,把善、道德情感与真理认识密切联系起来,把善定义为内在
微信公众平台应用开发方法.技巧与案例 本书特色 本书是目前微信公众平台应用开发领域内容*全面、系统和深入的一本书,也是技术版本*新的。由著名的资深微信公众平台应...
《养活教育》内容简介:长江平民教育基金会主席聂圣哲先生创立了“养活教育思想”。2到3岁是孩子开始养活教育的好时机。带领孩子做
《自然辩证法新编(第2版)》是一本学术性著作,在多年探索的基础上写成。内容改革体现在两个方面:一是加深理论深度,对一些重要的
EdwinHutchinscombineshisbackgroundasananthropologistandanopenoceanracingsailoran...
《全国会计从业资格考试标准化教材(大纲解析版):财经法规与会计职业道德》内容简介:全国会计从业资格考试标准化教材(大纲解析
CX5477AUTOCAD2009电气设计110例附光盘 本书特色 《AutoCAD 2009电气设计110例》特点:专业实用职场红宝书超长时间视频讲解双栏排版...
《五子连珠必胜法》经日本国虹有社授权,译自日本连珠社已故理事长新井华石九段经典著作《连珠必胜法》一书。内容阐述和介绍五子
《计算机科学概论(Python版)》内容简介:本书是美国哈维玛德学院“计算机科学通识”课程的配套教材,用独特的方法介绍计算机科学
《Photoshop CC图层、蒙版和通道大魔法》内容简介:《Photoshop CC图层、蒙版和通道大魔法》由Adobe认证的高级专业教师集十多年丰富
客厅.网络.咖啡屋--与名流聊天 内容简介 现在的中国人特别喜欢追逐名流,名流出的书不论好坏,总是能畅销,卖个几十万甚至上百万册也不稀奇。傍着名流出书也是发财的...