A functional point of view of some cat theory concepts:

Functors: type constructors. They map types to types. If we consider each algebraic type as a category, the type constructors act as functors.

Natural transformations: polymorphic functions. They map types to types.