#category theory #morphism composition #arrow composition #operation #function composition