# Commit 2022-07-27 14:34 f11e306a

View on Github →feat(category_theory/limits/construction): Construct finite limits from terminal objects and pullbacks (#14948)
Also provides the dual version, and also in terms of `preserves_limit`

.

#### Estimated changes

added def category_theory.limits.has_coequalizers_of_pushouts_and_binary_coproducts.coequalizer_cocone

added def category_theory.limits.has_coequalizers_of_pushouts_and_binary_coproducts.construct_coequalizer