组合性七素描：应用范畴论导论
范畴论
2018-10-16 v3
摘要
本书旨在通过具体、真实的例子邀请读者探索范畴论中的高级主题。其目标是提供一次导览：一段温和而快速的介绍，以引导后续的探索。该导览由七篇素描组成，每篇将一个引人联想的应用（如数据库、电路或动力系统）与一种范畴结构的探索（如伴随函子、 enriched 范畴或 topos）相配对。本书不要求读者具备范畴论先验知识。有关错别字、评论、疑问与建议的反馈表可在此获取：https://docs.google.com/document/d/160G9OFcP5DWT8Stn7TxdVx83DJnnf7d5GML0_FOD5Wg/edit
引用
@article{arxiv.1803.05316,
title = {Seven Sketches in Compositionality: An Invitation to Applied Category Theory},
author = {Brendan Fong and David I Spivak},
journal= {arXiv preprint arXiv:1803.05316},
year = {2018}
}
备注
341+xii pages