Hungarian Translations

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 F seen as a fibration over its codomain, yielding the preimages of arrows F^{-1}(\beta) 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