Objects conceived as _interfaces_, and a morphism \$$X_1,...,X_n \rightarrow Y\$$ is conceived as an arrangement of the sub-interfaces \$$X_1,...,X_n\$$ within the enclosing interface \$$Y\$$.