question about lambda-filtered colimits