corrected morphisms of networks according to the WADT 2008 paper