Seven Sketches in Compositionality:An Invitation to Applied Category Theory

Seven Sketches in Compositionality:An Invitation to Applied Category Theory
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
2019-08
ISBN: 9781108711821
装帧: 其他
页数: 350页
1人买过
  • Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics. Brendan Fong is a postdoctoral associate in the Department of Mathematics at the Massachusetts Institute of Technology. His research explores how we use pictures to represent and reason about the systems around us, and how to understand the world from a relational point of view. These topics find their intersection in applied category theory. Chapter 1: Cascade effects: posets and adjunctions.
    (Video missing)
    Chapter 2: Data transformations: categories, functors, universal constructions. For an open source implementation of these ideas, go to Categorical Informatics.
    Video: Part 1 and Part 2.
    Chapter 3: Resource theories and navigation: Monoidal posets and enrichment.
    Video: Part 1, Part 2, and Part 3.
    Chapter 4: Collaborative design: Profunctors, categorification, and monoidal categories. For an open-source implementation of these ideas, go to Co-design.science
    (Video missing)
    Chapter 5: Signal flow diagrams: Props, presentations, and proofs.
    Video Part 1, Part 2, Part 3.
    Chapter 6: Electric circuits: hypergraph categories and operads.
    Video Part 1, Part 2, Part 3, Part 4, Part 5.
    Chapter 7: Logic of behavior: sheaves toposes, and internal languages.
    Video Part 1, Part 2, Part 3.
  • 内容简介:
    Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.
  • 作者简介:
    Brendan Fong is a postdoctoral associate in the Department of Mathematics at the Massachusetts Institute of Technology. His research explores how we use pictures to represent and reason about the systems around us, and how to understand the world from a relational point of view. These topics find their intersection in applied category theory.
  • 目录:
    Chapter 1: Cascade effects: posets and adjunctions.
    (Video missing)
    Chapter 2: Data transformations: categories, functors, universal constructions. For an open source implementation of these ideas, go to Categorical Informatics.
    Video: Part 1 and Part 2.
    Chapter 3: Resource theories and navigation: Monoidal posets and enrichment.
    Video: Part 1, Part 2, and Part 3.
    Chapter 4: Collaborative design: Profunctors, categorification, and monoidal categories. For an open-source implementation of these ideas, go to Co-design.science
    (Video missing)
    Chapter 5: Signal flow diagrams: Props, presentations, and proofs.
    Video Part 1, Part 2, Part 3.
    Chapter 6: Electric circuits: hypergraph categories and operads.
    Video Part 1, Part 2, Part 3, Part 4, Part 5.
    Chapter 7: Logic of behavior: sheaves toposes, and internal languages.
    Video Part 1, Part 2, Part 3.
查看详情
目前没有书店销售此书
相关图书 / 更多
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenDaysintheArtWorld
Sarah Thornton 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenUp(ExportOnly)
Janet Evanovich 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenoftheBest:FavouriteStoriesfromtheGoldenAgeofChildren'sLiterature
Frances Hodgson Burnett(弗朗西斯·霍奇森·伯内特)、E. Nesbit(E·内斯比特)、Anna Sewell(安娜·塞维尔)、Kenneth Grahame(肯尼思·格雷厄姆) 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
Seven Secrets of Great Entrepreneurial Masters: The GEM Power Formula for Lifelong Success
Allen E. Fishman 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SeventhSon
Joseph Delaney 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
Seven Princes (Books of the Shaper)
John R. Fultz 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenBlindMice
Ed Young 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenDaysinNewCrete(PenguinModernClassics)
Robert Graves 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenDialsACharlotteandThomasPittNovel
Anne Perry 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenFires:GrillingtheArgentineWay
Francis Mallmann 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
Seveneves
Neal Stephenson
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
SevenYearswithBanksy
Robert Clarke 著
您可能感兴趣 / 更多
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
呼吸04:珍惜吧,日常的光
Breathe编辑部
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
时间管理:快速提升孩子的自主学习力(不拖拉不磨蹭:7步提升孩子的时间管控力)
Brent
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
呼吸我的孤独是一座花园
Breathe编辑部 著;Breathe编辑部 编;马楠 译
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
R语言机器学习 第3版(影印版)
Brett Lantz 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
用看板管理敏捷项目:提升效率、可预测性、质量和价值的利器
Brechner 著;[美]Eric、许峰 译
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
管理Kubernetes
Brendan、Burns、Craig、Tracey 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
如何成为学霸(提炼学习类书籍精髓,解决学习中的各种疑难杂症)
Bremer 著;罗德·布雷默、Rod、李利莎 译
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
TheVeryHungryCaterpillar好饿的毛毛虫
Brenda A. Van Dixhorn 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
ImperialBedrooms
Bret Easton Ellis 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
Tenth Grade Bleeds #3 The Chronicles of Vladimir Tod
Brewer, Heather
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
DonorboyANovel
Brendan Halpin 著
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
Who's That Knocking on Christmas Eve?
Brett, Jan;Brett, Jan