If we want the maximum common subobject of $X_1, X_2, X_3$, we will get a multispan with three legs. Ideally, the feet of these legs are $X_1, X_2, X_3$. However, the implementation doesn't preserve this order, though it should be straightforward to make it have this behavior.
If we want the maximum common subobject of $X_1, X_2, X_3$, we will get a multispan with three legs. Ideally, the feet of these legs are $X_1, X_2, X_3$. However, the implementation doesn't preserve this order, though it should be straightforward to make it have this behavior.