consider for example the groupoid-enriched category where the objects are the symmetric monoidal finitely cocomplete algebroids with the property of being abelian. does this have all small homotopy-limits? but moreover, if it does, then is there some conceptually intelligible account of the "logic" here??