Dual to Left homotopy. (Map from BB to a path object for XX such that…)
nLab page on Right homotopy