Limits in categories of light condensed objects

This file adds some instances for limits in light condensed sets and modules.

instance instHasLimitsOfSizeLightCondSet : CategoryTheory.Limits.HasLimitsOfSize.{u, u, u + 1, u + 1} LightCondSet

instance instHasFiniteLimitsLightCondSet : CategoryTheory.Limits.HasFiniteLimits LightCondSet

instance instHasLimitsOfSizeLightCondMod (R : Type u) [Ring R] : CategoryTheory.Limits.HasLimitsOfSize.{u, u, u + 1, u + 1} (LightCondMod R)

instance instHasLimitsOfSizeLightCondMod_1 (R : Type u) [Ring R] : CategoryTheory.Limits.HasLimitsOfSize.{0, 0, u + 1, u + 1} (LightCondMod R)

instance instHasFiniteLimitsLightCondMod (R : Type u) [Ring R] : CategoryTheory.Limits.HasFiniteLimits (LightCondMod R)