An outline of functorial semantics.- Applied functorial semantics, II.- Coequalizers in categorie...