Escrows are optics
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914737374101504 |
|---|---|
| author | Genovese, Fabrizio Loregian, Fosco Palombi, Daniele |
| author_facet | Genovese, Fabrizio Loregian, Fosco Palombi, Daniele |
| contents | We provide a categorical interpretation for escrows, i.e. trading protocols in trustless environment, where the exchange between two agents is mediated by a third party where the buyer locks the money until they receive the goods they want from the seller.
A simplified escrow system can be modeled as a certain kind of morphism in the category of optics on a monoidal category. When objects in the base category have monoid and comonoid structures, more involved kinds of escrows `with intermediaries' can be modelled as morphisms with action-like properties. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2105_10028 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Escrows are optics Genovese, Fabrizio Loregian, Fosco Palombi, Daniele Category Theory We provide a categorical interpretation for escrows, i.e. trading protocols in trustless environment, where the exchange between two agents is mediated by a third party where the buyer locks the money until they receive the goods they want from the seller. A simplified escrow system can be modeled as a certain kind of morphism in the category of optics on a monoidal category. When objects in the base category have monoid and comonoid structures, more involved kinds of escrows `with intermediaries' can be modelled as morphisms with action-like properties. |
| title | Escrows are optics |
| topic | Category Theory |
| url | https://arxiv.org/abs/2105.10028 |