Generalization of strong and closed profunctors
You could add Choice
to the list. Both Strong
and Choice
(or cartesian and cocartesian, as Jeremy Gibbons calls them) are examples of Tambara modules. I talk about the general pattern that includes Closed
in my blog post on profunctor optics (skip to the Discussion section), under the name Related
.