. "For instance, Example 10 on page 11 provides a case in which a functional programming language L is given and an associated category is shown where the objects are the data types of L, the arrows are the computable functions of L (???processes,??? ???procedures,??? and ???programs???), the composition of two programs, f mapping X to Y, and g mapping Y to Z, ???is given by applying g to the output" . . .