Listen

Description

Relation of point-free functional programming to category theory.