Given a commutative square:
in \mathsf {Set}^\Delta \times \mathsf {Set}^{\Delta ,\mathrm {op}}, with the Beck-Chevalley property for the fibration from \mathsf {Minmax},
let (Z,C) be some other pair of convex spaces. Then the square
also has the Beck-Chevalley condition
