On the Iyama–Yoshino reduction in extriangulated categories | Synapse