Explain different type of morphisms

[ajoz]

There are different types of morphisms (structure preserving or not). In the workshop we talk about functions and function composition but we do not focus on the types of possible morphisms. In the ticket about fold I was considering talking about catamorphism but what about other types:

• isomorphism
• anamorphism
• endomorphism
• catamorphism
• homomorphism

What about morphism alone as a concept. Should this be covered by the basic version of the workshop, this would mean some introduction to the category theory. Is it worth to do for the basic version?