Added morphisms library.