AI Chat AI Image Generator AI Video Text to Speech

A Foundation for Ledger Structures

10/16/2020

∙

by Chad Nester, et al.

∙

∙

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.

research

∙ 05/02/2022

Cornering Optics

We show that the category of optics in a monoidal category arises natura...

0 Guillaume Boisseau, et al. ∙

research

∙ 10/16/2020

The Structure of Concurrent Process Histories

We identify the algebraic structure of the material histories generated ...

0 Chad Nester, et al. ∙

research

∙ 12/03/2020

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

String diagrams are a powerful and intuitive graphical syntax, originate...

0 Filippo Bonchi, et al. ∙

research

∙ 05/15/2023

An Introduction to String Diagrams for Computer Scientists

This document is an elementary introduction to string diagrams. It takes...

0 Robin Piedeleu, et al. ∙

research

∙ 05/10/2021

Situated Transition Sytems

We construct a monoidal category of open transition systems that generat...

0 Chad Nester, et al. ∙

research

∙ 07/17/2023

Compositional Probabilistic Model Checking with String Diagrams of MDPs

We present a compositional model checking algorithm for Markov decision ...

0 Kazuki Watanabe, et al. ∙

research

∙ 07/16/2023

Compositional Solution of Mean Payoff Games by String Diagrams

Following our recent development of a compositional model checking algor...

0 Kazuki Watanabe, et al. ∙