Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である

@Alwe

@faibles_math