A Monoidal Bifibrational View of Directed Equality Predestries - 42Papers