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.
An earlier definition (in more generality) is in Dinatural numbers. I think this page should be renamed to strong profunctor for several reasons: foremost that it is a more descriptive name, but also that Tambara was not the one to introduce the concept. I will get around to it at some point, but don’t have time right now.
Rename the page to “strong profunctor”, which is more consistent with terminology such as strong functor, as well as avoiding naming the concept after a person who did not introduce it.
Added redirects for strong distributor.
1 to 11 of 11