We condense the theory of blockchains down to a simple and compact set of four type equations (Idealised EUTxO), and to an algebraic characterisation (abstract chunk systems), and exhibit an adjoint pair of functors between them. This gives a novel account of the essential mathematical structures underlying blockchain technology, such as Bitcoin.
@article{arxiv.2007.12404,
title = {Algebras of UTxO blockchains},
author = {Murdoch J. Gabbay},
journal= {arXiv preprint arXiv:2007.12404},
year = {2022}
}