The story
From pro- + functor. Pro- is in the sense of projective.
Etymology from Wiktionary, CC BY-SA 4.0.
profunctor
Today it means: A generalization of a relation in category theory Full definition →
Today it means: A generalization of a relation in category theory Full definition →
From pro- + functor. Pro- is in the sense of projective.
Etymology from Wiktionary, CC BY-SA 4.0.