Profunctor Optics, a Categorical Update

Lenses and Learners

Brendan Fong and Michael Johnson · 1903

Earlier work this paper cites.

Generalized lens categories via functors 𝒞 op → 𝖢𝖺𝗍 \mathcal{C}^{\mathrm{op}}\to\mathsf{Cat}

Original

David Spivak · 1908

Earlier work this paper cites.

The Use of Multiple Measurements in Taxonomic Problems

Ronald Fisher · 1936

Earlier work this paper cites.

On Closed Categories of Functors

Brian Day · 1970

Earlier work this paper cites.

Coalgebras and cartesian categories

Thomas Fox · 1976

Earlier work this paper cites.

On Embedding Closed Categories

Brian Day and Miguel Laplaza · 1978

Earlier work this paper cites.

Categories for the Working Mathematician

Saunders Mac Lane · 1978

Earlier work this paper cites.

Basic Concepts of Enriched Category Theory

Max Kelly · 1982

Earlier work this paper cites.

A Category-Theoretic Approach to the Semantics of Programming Languages

Frank Joseph Oles · 1982

Earlier work this paper cites.

Generalising Monads to Arrows

John Hughes · 2000

Earlier work this paper cites.

A Higher-Order Calculus for Categories

Mario Cáccamo and Glynn Winskel · 2001

Earlier work this paper cites.

Combinators for bi-directional tree transformations: A linguistic approach to the view update problem

Nathan Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce, and Alan Schmitt · 2005

Earlier work this paper cites.

Distributors on a tensor category

Daisuke Tambara · 2006

Earlier work this paper cites.

Making Haskell Nicer for Game Programming

Luke Palmer · 2007

Cited alongside, same era.

Applicative programming with effects

Conor McBride and Ross Paterson · 2008

Cited alongside, same era.

Doubles for Monoidal Categories

Craig Pastro and Ross Street · 2008

Cited alongside, same era.

Categorical Semantics for Arrows

Bart Jacobs, Chris Heunen, and Ichiro Hasuo · 2009

Cited alongside, same era.

A unified framework for generalized multicategories

Geoffrey Cruttwell and Michael Shulman · 2010

Cited alongside, same era.

Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

Perdita Stevens · 2010

Cited alongside, same era.

An Investigation of the Laws of Traversals

What you needa know about Yoneda: Profunctor optics and the Yoneda Lemma (functional pearl)

Guillaume Boisseau and Jeremy Gibbons · 2018

Later among the works it cites.

Compositional Game Theory

Neil Ghani, Jules Hedges, Viktor Winschel, and Philipp Zahn · 2018

Later among the works it cites.

Lens library, version 4.16

Edward Kmett · 2018

Later among the works it cites.

Categories of optics

Original

Mitchell Riley · 2018

Later among the works it cites.

Purescript Profunctor Lenses

Phil Freeman, Brian Marick, Lukas Heidemann, et al · 2019

Later among the works it cites.

Strong functors on many-sorted sets

Paul Levy · 2019

Later among the works it cites.