Profunctor optics, a categorical update

DOI10.32408/COMPOSITIONALITY-6-1MaRDI QIDQ6500558FDOQ6500558

Authors: Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román 

Publication date: 10 May 2024

Published in: Compositionality (Search for Journal in Brave)

Recommendations

• Dependent Optics
• On structuring functional programs with monoidal profunctors
• Towards optic-based algebraic theories: the case of lenses
• Kan extensions for program optimisation Or: Art and Dan explain an old trick
• scientific article; zbMATH DE number 1497806

zbMATH Keywords

lensprofunctorcoend calculusTambara module

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Enriched categories (over closed or monoidal categories) (18D20) Profunctors (= correspondences, distributors, modules) (18D60)

Cited In (4)

• Cornering Optics
• Dependent Optics
• Towards optic-based algebraic theories: the case of lenses
• On structuring functional programs with monoidal profunctors

This page was built for publication: Profunctor optics, a categorical update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6500558)