nscheinend jedesArrow ist einStrong profunctor. Tatsächlich^>> und>>^ entsprichtlmap undrmap. Undfirst' undsecond' sind genauso wiefirst undsecond. Ebenso jedesArrowChoice ist auchChoice.

Was Profunktoren im Vergleich zu Pfeilen fehlen, ist die Fähigkeit, sie zusammenzusetzen. Wenn wir die Komposition hinzufügen, erhalten wir dann einen Pfeil? Mit anderen Worten, wenn ein (starker) Professor auch ein @ iKategori, ist es schon ein Pfeil? Wenn nicht, was fehlt?