In this manner, "the 'arrows' or the 'structural language' can then be interpreted as morphisms which conserve this unique distinction".
In this context, "arrows" and "structural language" are interpreted as morphisms that preserve a unique distinction.