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.
《运动与职场人生》内容简介:本教材不把提高学生运动技能作为首要指导思想,而是更加注重体育的文化因素,以知识性、趣味性和可读
《姐妹》内容简介:《姐妹》是朱墨创作的长篇小说。陶姜、陶然是一对姐妹,两人相差八岁,性格迥异。父母离婚那年,她们的人生埋下
《日语教师课堂教学与自我发展研究》内容简介:日语教育是指,面向非日语母语者的日语教育。日语教育将日语视为交流的手段。日本日
作者简介:TrevorvanGorp作为加拿大首屈一指的用户体验公司nForm的创始人和董事长,Trevor是一位值得信任的情感设计用户体验顾问
计算机网络(第五版) 本书特色 《计算机网络》为普通高等教育“十一五”国家级规划教材。本书共分十章,主要介绍了计算机网络的发展和原理体系结构、物理层、数据链路层...
MATLAB工程应用仿真 本书特色 张德丰、杨文茵编著的《MATLAB工程应用仿真》介绍了MATLAB高级应用技术。全书共分9章,各章中的主要内容如下:第1章简...
《先秦儒学核心范畴英译研究》内容简介:本书将思想史研究与中西文化哲学比较纳入先秦儒学核心文化范畴可译性研究。以先秦儒学思想
你必须知道的495个-C语言问题 本书特色 《你必须知道的495个c语言问题》以问答的形式组织内容,讨论了学习或使用c语言的过程中经常遇到的一些问题。书中列出了...
《微信小程序:产品+运营+推广实战》内容简介:微信小程序从满城风雨到掀起创业热潮,再到一直不断地迭代更新,其每一次更新都会增
《MySQL高可用实践》内容简介:MySQL数据库是现代软件系统基础应用的核心组成部分,如何保持MySQL的高可用性在系统应用中就变得极为
《名医推荐家庭必备方剂丛书:名医推荐家庭必备药膳》内容简介:本书涵盖内科、外科、妇科、儿科等各大系统常见病、多发病及部分少
《第一等人》内容简介:☆侯家的第一位进士、第一位官员、侯峒曾的曾祖父侯尧封,生平对儿孙说的最多的一句话是:“不愿汝辈它日为
无线传感器网络目标定位跟踪技术与应用 本书特色 本书主要论述基于无线传感器网络的目标定位与跟踪的理论、技术与方法,主要内容包括局部回归建模、节点预测唤醒、快速建...
循环渐进SLC500控制系统与PaneIView训练课 本书特色 本书是“罗克韦尔自动化技术丛书”之一,该书分7个章节,针对slc500控制器系统和panelv...
《自然与人工系统中的适应:理论分析及其在生物控制和人工智能中的应用》是遗传算法开山之作,以适应性为主题,贯穿生物、经济、人
本书介绍了配色的基础知识与技巧,通过照片、广告等实例,为从初学者到专业设计师等不同水平的读者,提供了广泛、全面的引导。书
《XML完全探索》是完全根据读者的需要而设计的,书中有大量实际的XML场景。是一本尽可能深入地阐述XML的书籍,与其他XML书籍不同
《多学科视域中的MOOC研究》内容简介:《MOOCs:理论与实践》面向人才培养实践需求,将MOOCs学习、开发、运行与管理融为一体,不仅
TheIMS:IPMultimediaConceptsandServicesintheMobileDomain,SecondEdition,buildsonth...
本书全面涵盖了并行软件和硬件的方方面面,深入浅出地介绍如何使用mpi(分布式内存编程)、pthreads和openmp(共享内存编程)编写