Corpus ID: 210839094

Profunctor optics, a categorical update

  title={Profunctor optics, a categorical update},
  author={Bryce Clarke and Derek Elkins and J. Gibbons and Fosco Loregi{\`a}n and Bartosz Milewski and Emily Pillmore and Mario Rom{\'a}n},
  • Bryce Clarke, Derek Elkins, +4 authors Mario Román
  • Published 2020
  • Computer Science, Mathematics
  • ArXiv
  • Profunctor optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. They are modular, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have been studied only using $\mathbf{Sets}$ as the enriching category and in the non-mixed case. However, functional programming languages are arguably better described by enriched categories and we have found that some… CONTINUE READING
    5 Citations

    Figures and Topics from this paper.

    Coend Calculus and Open Diagrams
    Bayesian Updates Compose Optically
    Cyber Kittens, or Some First Steps Towards Categorical Cybernetics
    Games on graphs: a compositional approach
    Open Diagrams via Coend Calculus
    • 2
    • PDF


    Profunctor optics and traversals
    • 4
    • PDF
    Understanding Profunctor Optics: a representation theorem
    • 3
    • PDF
    What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
    • 12
    Profunctor Optics: Modular Data Accessors
    • 39
    • PDF
    Categories of Optics
    • 17
    • Highly Influential
    • PDF
    Generalising monads to arrows
    • J. Hughes
    • Computer Science
    • Sci. Comput. Program.
    • 2000
    • 499
    • PDF
    Lenses and Learners
    • 8
    • Highly Influential
    • PDF
    A representation theorem for second-order functionals
    • 19
    • PDF