Cospans and symmetric lenses

Michael Johnson; Robert Rosebrugh

doi:10.1145/3191697.3191717

Cospans and symmetric lenses

Michael Johnson, Robert Rosebrugh

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

8 Citations (Scopus)

Abstract

We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also "least change" then the corresponding cospan consists of c-lenses.

Original language	English
Title of host publication	Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion)
Place of Publication	New York, NY
Publisher	Association for Computing Machinery
Pages	21-29
Number of pages	9
ISBN (Electronic)	9781450355131
DOIs	https://doi.org/10.1145/3191697.3191717
Publication status	Published - 9 Apr 2018
Event	2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018 - Nice, France Duration: 9 Apr 2018 → 12 Apr 2018

Conference

Conference	2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018
Country/Territory	France
City	Nice
Period	9/04/18 → 12/04/18

Keywords

Cospan
Symmetric lens
Universality

Access to Document

10.1145/3191697.3191717

Cite this

@inproceedings{ba6ec016595a4a9a827bc08e0f30c9d3,

title = "Cospans and symmetric lenses",

abstract = "We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also {"}least change{"} then the corresponding cospan consists of c-lenses.",

keywords = "Cospan, Symmetric lens, Universality",

author = "Michael Johnson and Robert Rosebrugh",

year = "2018",

month = apr,

day = "9",

doi = "10.1145/3191697.3191717",

language = "English",

pages = "21--29",

booktitle = "Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion)",

publisher = "Association for Computing Machinery",

note = "2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018 ; Conference date: 09-04-2018 Through 12-04-2018",

}

Johnson, M & Rosebrugh, R 2018, Cospans and symmetric lenses. in Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion). Association for Computing Machinery, New York, NY, pp. 21-29, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, Nice, France, 9/04/18. https://doi.org/10.1145/3191697.3191717

Cospans and symmetric lenses. / Johnson, Michael; Rosebrugh, Robert.
Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion). New York, NY: Association for Computing Machinery, 2018. p. 21-29.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Cospans and symmetric lenses

AU - Johnson, Michael

AU - Rosebrugh, Robert

PY - 2018/4/9

Y1 - 2018/4/9

N2 - We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also "least change" then the corresponding cospan consists of c-lenses.

AB - We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also "least change" then the corresponding cospan consists of c-lenses.

KW - Cospan

KW - Symmetric lens

KW - Universality

UR - https://www.scopus.com/pages/publications/85053684922

U2 - 10.1145/3191697.3191717

DO - 10.1145/3191697.3191717

M3 - Conference proceeding contribution

AN - SCOPUS:85053684922

SP - 21

EP - 29

BT - Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion)

PB - Association for Computing Machinery

CY - New York, NY

T2 - 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018

Y2 - 9 April 2018 through 12 April 2018

ER -

Cospans and symmetric lenses

Abstract

Conference

Keywords

Access to Document

Other files and links

Cite this