feat(category_theory/limits): dualizing some results (#7391)
Requested on [zulip](https://leanprover.zulipchat.com/#narrow/stream/267928-condensed-mathematics/topic/LocallyConstant.20preserves.20colimits/near/236442281).
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
