Profunctor optics, a categorical update

DOI10.32408/COMPOSITIONALITY-6-1MaRDI QIDQ6500558zbMATH OpenFDO

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)

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)

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

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)