Factor out backwards composition from Category