# Commit 2021-01-15 08:35 f8db86a2

View on Github →feat(category_theory/limits): finite products from binary products (#5516) Adds constructions for finite products from binary products and terminal object, and a preserves version

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory/limits): finite products from binary products (#5516) Adds constructions for finite products from binary products and terminal object, and a preserves version