A Foundation for Ledger Structures
Logic in Computer Science
2021-04-05 v2 Category Theory
Abstract
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.
Keywords
Cite
@article{arxiv.2010.08337,
title = {A Foundation for Ledger Structures},
author = {Chad Nester},
journal= {arXiv preprint arXiv:2010.08337},
year = {2021}
}
Comments
15 pages, many figures