# Commit 2020-05-24 16:14 8590081f

View on Github →feat(category_theory): Product comparison (#2753) Construct the product comparison morphism, and show it's an iso iff F preserves binary products.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory): Product comparison (#2753) Construct the product comparison morphism, and show it's an iso iff F preserves binary products.