Categories for Pipes