License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.Tokenomics.2020.7
URN: urn:nbn:de:0030-drops-135293
Go to the corresponding OASIcs Volume Portal

Nester, Chad

A Foundation for Ledger Structures

OASIcs-Tokenomics-2020-7.pdf (15 MB)


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.

BibTeX - Entry

  author =	{Chad Nester},
  title =	{{A Foundation for Ledger Structures}},
  booktitle =	{2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)},
  pages =	{7:1--7:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-157-3},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{82},
  editor =	{Emmanuelle Anceaume and Christophe Bisi\`{e}re and Matthieu Bouvard and Quentin Bramas and Catherine Casamatta},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-135293},
  doi =		{10.4230/OASIcs.Tokenomics.2020.7},
  annote =	{Keywords: String Diagrams, Category Theory, Blockchains}

Keywords: String Diagrams, Category Theory, Blockchains
Collection: 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)
Issue Date: 2021
Date of publication: 02.02.2021

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI