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)

Full work available at URL https://doi.org/10.32408/COMPOSITIONALITY-6-1

zbMATH Keywords

coend calculuslensprofunctorTambara module

Mathematics Subject Classification ID

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

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

(10)

• On structuring functional programs with monoidal profunctors
• Towards optic-based algebraic theories: the case of lenses
• Cornering Optics
• Dependent Optics
• On a fibrational construction for optics, lenses, and dialectica categories
• Univalent enriched categories and the enriched rezk completion
• A profunctorial semantics for quantum supermaps
• Typed compositional quantum computation with lenses
• Univalent enriched categories and the enriched Rezk completion
• On graded monads, distributive laws and costrong functors

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)