Functions as pipes

A visual metaphor. A recent article on types as sets briefly touched on functions as sets. For example, you can think of Boolean negation as a set of two arrows: Here the arrows stay within the set, because the function is a function from the set of Boolean values to the set of Boolean values.