# Def category_theory.limits.pair_function

#### Modification history

2022-05-20 00:16

src/category_theory/limits/shapes/binary_products.lean

refactor(category_theory/discrete): make discrete irreducible (#13762)

Added category_theory.limits.pair_functionView on Github →2020-03-20 03:59

src/category_theory/limits/shapes/binary_products.lean

feat(category_theory): some natural isomorphisms related to composition by functors (#2189) …

Deleted category_theory.limits.pair_functionView on Github →