论文标题
分类帐结构的基础
A Foundation for Ledger Structures
论文作者
论文摘要
本文介绍了一种具有基本类别理论的加密货币系统的分类帐结构的方法。资源可兑换性的组成理论使我们能够表达虚拟商品的物质历史,并且所有权是由自由结构建模的。我们的所有权概念通过单型函子的字符串图接受了直观的图形表示。
This paper introduces an approach to constructing ledger structures for cryptocurrency systems with basic category theory. Compositional theories of resource convertibility allow us to express the material history of virtual goods, and ownership is modelled by a free construction. Our notion of ownership admits an intuitive graphical representation through string diagrams for monoidal functors.