patenting colimits?