Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Expanded dinatural transformation a little with examples and references.
I’m very glad you did, because it was through the Paré and Román reference that I relocated examples of dinatural transformations (due to Freyd) that I thought were forever lost to buried memory. I may copy them out later.
All I did in my edit was to fix the bad link in:
Here is a blog post inspired by the above discussion that discusses these concepts in the context of the programming language Haskell:
- Dan Piponi, Dinatural transformations and coends
to
1 to 3 of 3