Title: Operations and morphisms