mathlib3

2afaadf4 - preserves limit and filtered colimits