mathlib
8590081f - feat(category_theory): Product comparison (#2753)

Commit

5 years ago

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

Author

b-mehta

Parents