A Foundation for Ledger Structures

Author Chad Nester

Thumbnail PDF


  • Filesize: 15.45 MB
  • 13 pages

Document Identifiers

Author Details

Chad Nester
  • Tallinn University of Technology, Estonia

Cite AsGet BibTex

Chad Nester. A Foundation for Ledger Structures. In 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020). Open Access Series in Informatics (OASIcs), Volume 82, pp. 7:1-7:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


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.

Subject Classification

ACM Subject Classification
  • Theory of computation → Categorical semantics
  • String Diagrams
  • Category Theory
  • Blockchains


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, and R. Zunino. Unravelling bitcoin smart contracts. In POST 2018, volume 10804 of LNCS, pages 217-242, 2018. Google Scholar
  2. N. Atzei, M. Bartolietti, and T. Cimoli. A survey of attacks on ethereum smart contracts. In POST 2017, volume 10204 of LNCS, pages 164-186, 2017. Google Scholar
  3. J.R.B. Cockett and R.A.G. Seely. Proof theory of the cut rule. In E. Landry, editor, Categories for the Working Philosopher, pages 223-261. Oxford University Press, 2017. Google Scholar
  4. B. Coecke, T. Fritz, and R.W. Spekkens. A mathematical theory of resources. Information and Computation, 250:59-86, 2016. Google Scholar
  5. K. Jabbar and P. Bjorn. Infrastructural grind: Introducing blockchain technology in the shipping domain. In GROUP 2018, 2018. Google Scholar
  6. P. Katis, N. Sabadini, and R.F.C. Walters. On partita doppia. CoRR, 1998. Google Scholar
  7. A. Kiayias, A. Russell, B. David, and R. Oliynykov. Ouroboros: A provably secure proof-of-stake blockchain protocol. CRYPTO 2017, Part I, volume 10401 of LNCS, 2017. Google Scholar
  8. S. Mac Lane. Categories for the Working Mathematician. Springer, 1971. Google Scholar
  9. M.B. McCurdy. Graphical methods for tannaka duality of weak bialgebras and weak hopf algebras. Theory and Applications of Categories, 26:233-280, 2011. Google Scholar
  10. S. Nakamoto. Bitcoin: A peer-to-peer electronic cash system, 2008. URL: https://bitcoin.org/bitcoin.pdf.
  11. Peter Selinger. A survey of graphical languages for monoidal categories. In New Structures for Physics, pages 289-355. Springer, 2010. Google Scholar
  12. M. Staples, S. Chen, S. Falamaki, A. Ponomarev, P. Rimba, A.B. Tran, I. Weber, X. Xu, and J. Zhu. Risks and Opportunities for Systems Using Blockchain and Smart Contracts. Data61 (CSIRO), Sydney, 2017. Google Scholar
  13. Gavin Wood. Ethereum: A secure decentralized generalised transaction ledger, 2014. URL: https://gavwood.com/paper.pdf.
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail