Talk slides

• Understanding delta lenses using category theory - May 2025
• The free split opfibration on a delta lens - April 2025
• Limits and colimits in double categories by example - October 2024
• Reflecting on lenses and split opfibrations - October 2024
• The algebraic weak factorisation system of twisted coreflections and delta lenses - June 2024
• The Grothendieck construction for delta lenses - June 2024
• A new perspective on comodules of polynomial comonads - May 2024
• The AWFS of twisted coreflections and delta lenses - December 2023
• Lifting twisted coreflections against delta lenses - November 2023
• The algebraic weak factorisation system for delta lenses - August 2023
• The right-connected completion of a double category - July 2023
• Reflections on delta lenses - June 2023
• Lifting and lenses - June 2023
• The right-connected completion of a double category - February 2023
• A double-categorical approach to lenses via algebraic weak factorisation systems - November 2022
• An introduction to enriched cofunctors - October 2022
• Enriched lenses - July 2022
• Investigating lenses between preordered sets - June 2022
• The right-connected completion - June 2022
• An introduction to delta lenses - May 2022
• Constructing lenses in double categories - April 2022
• A general framework for cofunctors - April 2022
• Enriched lenses - October 2021
• The double category of generalised lenses - September 2021
• Three approaches to lenses over a base - September 2021
• Delta lenses as coalgebras for a comonad - June 2021
• Lenses as coalgebras for a comonad - April 2021
• The Grothendieck construction for lenses - March 2021
• Cofunctors, lenses, and split opfibrations - March 2021
• What's so nice about the category of lenses? - February 2021
• Generalising fibrations via multi-valued functions - December 2020
• Cofunctors, monoids, and split epimorphisms - October 2020
• Lax double functors into Span-like double categories - September 2020
• Lenses as algebras for a monad - August 2020
• A diagrammatic approach to symmetric lenses - July 2020
• Characterising split opfibrations using lenses - December 2019
• Internal lenses as functors and cofunctors - July 2019
• Internal lenses as monad morphisms - July 2019