profunctor: ág
— meaning ‘branch of a tree’,
— it’s an extremely short term to underline its elementariness
— also, the ‘tree’ or ‘bush’ whose branch is a profunctor, would be any functor 
seen as a fibration over its codomain, yielding the preimages of arrows 
as prototypes of profunctors (viewing them as categories over the arrow)
pullback: szűk négyzet
cartesian morphism: szűk nyíl
Cartesian Closed Category: függvényteljes kategória