¿Existe un nombre generalmente aceptado para la propiedad descrita de la flecha fff?

Dejar$F:\mathcal A\to\mathcal E$denota un funtor.

Dejar$f:a\to b$ser una flecha en$\mathcal A$que tiene la siguiente propiedad:

Por cada flecha$g:a\to c$en$\mathcal A$y cada flecha$h:Fb\to Fc$que satisface$h\circ Ff=Fg$hay un unico$k:b\to c$con$k\circ f=g$y$Fk=h$.

(Aquí$c$no es fijo.)

Mi pregunta:

¿Hay un nombre para esta propiedad de la flecha?$f$?

También las referencias son bienvenidas, por supuesto.

Encontré algo como esto en "Topología y Groupoides" (página 317) de Ronald Brown. Allí se trata de un endofunctor$\text{Ob}:\mathbf{Groupoid}\to\mathbf{Groupoid}$. Él llama a un$f$con esa propiedad universal con respecto al funtor$\text{Ob}$. Pero lamentablemente tengo otra concepción de flecha universal que está ligada a categorías concretas.

Gracias de antemano.