weighted-colimits-in-box-notation