profunctor

What's the relationship between profunctors and arrows?

戏子无情 提交于 2019-12-29 19:58:50
问题 Apparently, every Arrow is a Strong profunctor. Indeed ^>> and >>^ correspond to lmap and rmap . And first' and second' are just the same as first and second . Similarly every ArrowChoice is also Choice. What profunctors lack compared to arrows is the ability to compose them. If we add composition, will we get an arrow? In other words, if a (strong) profunctor is also a category, is it already an arrow? If not, what's missing? 回答1: What profunctors lack compared to arrows is the ability to

What's the relationship between profunctors and arrows?

倾然丶 夕夏残阳落幕 提交于 2019-11-30 03:44:39
Apparently, every Arrow is a Strong profunctor. Indeed ^>> and >>^ correspond to lmap and rmap . And first' and second' are just the same as first and second . Similarly every ArrowChoice is also Choice . What profunctors lack compared to arrows is the ability to compose them. If we add composition, will we get an arrow? In other words, if a (strong) profunctor is also a category , is it already an arrow? If not, what's missing? What profunctors lack compared to arrows is the ability to compose them. If we add composition, will we get an arrow? MONOIDS This is exactly the question tackled in