Cospans and symmetric lenses

Michael Johnson, Robert Rosebrugh

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

4 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 languageEnglish
Title of host publicationProceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion)
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery
Pages21-29
Number of pages9
ISBN (Electronic)9781450355131
DOIs
Publication statusPublished - 9 Apr 2018
Event2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018 - Nice, France
Duration: 9 Apr 201812 Apr 2018

Conference

Conference2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018
CountryFrance
CityNice
Period9/04/1812/04/18

Keywords

  • Cospan
  • Symmetric lens
  • Universality

Fingerprint Dive into the research topics of 'Cospans and symmetric lenses'. Together they form a unique fingerprint.

Cite this