7424#600unstable-600.xmlProof20231112Lîm Tsú-thuàn
Has all finite products means whatever singular points have a product, and has all equalizers means all multi-arrows has an equalizer, this is indeed all finite limits.
Context7426math-002Rmath-002R.xmlWith equalizer, finite product admits all finite limitsProposition20231112Lîm Tsú-thuànIf a category has equalizers and finite products then it has finite limits.
4312#600unstable-600.xmlProof20231112Lîm Tsú-thuàn
Has all finite products means whatever singular points have a product, and has all equalizers means all multi-arrows has an equalizer, this is indeed all finite limits.