Re: patenting colimits?