Aparentemente, cadaArrow es unStrong profunctor En efecto^>> y>>^ corresponden a laslmap yrmap. Yfirst' ysecond' son lo mismo quefirst ysecond. Del mismo modo cadaArrowChoice es tambiénChoice.

Lo que les falta a los profunctores en comparación con las flechas es la capacidad de componerlas. Si agregamos composición, ¿obtendremos una flecha? En otras palabras, si un profunctor (fuerte) también es uncategoría, ¿ya es una flecha? Si no, ¿qué falta?