CatGloss

The condition $hf = hg$ says that this triple of maps defines a fork, i.e., $h$ is a cone under the parallel pair $f,g\colon x \rightrightarrows y$.