Exponential Object
Backlinks
Distributivity Pullback
Cartesian Closed Category
Left Residual in a Monoidal Category