The more legs the merrier: a new composition for symmetric (multi-)lenses

Michael Johnson; Robert Rosebrugh

doi:10.4204/EPTCS.333.7

The more legs the merrier: a new composition for symmetric (multi-)lenses

Michael Johnson, Robert Rosebrugh

School of Computing

Research output: Contribution to journal › Conference paper › peer-review

3 Citations (Scopus)

37 Downloads (Pure)

Abstract

This paper develops a new composition of symmetric lenses that preserves information which is important for implementing system interoperation. It includes a cut-down but realistic example of a multi-system business supply chain and illustrates the new mathematical content with analysis of the systems, showing how the new composition facilitates the engineering required to implement the interoperations. All of the concepts presented here are based on either pure category theory or on experience in solving business problems using applied category theory.

Original language	English
Pages (from-to)	92-107
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	333
DOIs	https://doi.org/10.4204/EPTCS.333.7
Publication status	Published - 8 Feb 2021
Event	3rd Annual International Applied Category Theory Conference, ACT 2020 - Virtual, Cambridge, United States Duration: 6 Jul 2020 → 10 Jul 2020

Bibliographical note

Copyright the Author(s). Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Access to Document

10.4204/EPTCS.333.7

Publisher version (open access)Final published version, 172 KBLicence: CC BY

Cite this

@article{d5ddc5c93efb40a896e7c61936cb937d,

title = "The more legs the merrier: a new composition for symmetric (multi-)lenses",

abstract = "This paper develops a new composition of symmetric lenses that preserves information which is important for implementing system interoperation. It includes a cut-down but realistic example of a multi-system business supply chain and illustrates the new mathematical content with analysis of the systems, showing how the new composition facilitates the engineering required to implement the interoperations. All of the concepts presented here are based on either pure category theory or on experience in solving business problems using applied category theory.",

author = "Michael Johnson and Robert Rosebrugh",

note = "Copyright the Author(s). Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher. ; 3rd Annual International Applied Category Theory Conference, ACT 2020 ; Conference date: 06-07-2020 Through 10-07-2020",

year = "2021",

month = feb,

day = "8",

doi = "10.4204/EPTCS.333.7",

language = "English",

volume = "333",

pages = "92--107",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - The more legs the merrier

T2 - 3rd Annual International Applied Category Theory Conference, ACT 2020

AU - Johnson, Michael

AU - Rosebrugh, Robert

N1 - Copyright the Author(s). Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

PY - 2021/2/8

Y1 - 2021/2/8

N2 - This paper develops a new composition of symmetric lenses that preserves information which is important for implementing system interoperation. It includes a cut-down but realistic example of a multi-system business supply chain and illustrates the new mathematical content with analysis of the systems, showing how the new composition facilitates the engineering required to implement the interoperations. All of the concepts presented here are based on either pure category theory or on experience in solving business problems using applied category theory.

AB - This paper develops a new composition of symmetric lenses that preserves information which is important for implementing system interoperation. It includes a cut-down but realistic example of a multi-system business supply chain and illustrates the new mathematical content with analysis of the systems, showing how the new composition facilitates the engineering required to implement the interoperations. All of the concepts presented here are based on either pure category theory or on experience in solving business problems using applied category theory.

UR - http://www.scopus.com/inward/record.url?scp=85101274199&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.333.7

DO - 10.4204/EPTCS.333.7

M3 - Conference paper

AN - SCOPUS:85101274199

SN - 2075-2180

VL - 333

SP - 92

EP - 107

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 6 July 2020 through 10 July 2020

ER -

The more legs the merrier: a new composition for symmetric (multi-)lenses

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this