mathlib

a7960085 - feat(category_theory): cartesian closed categories (#2894)

feat(category_theory): cartesian closed categories (#2894) Cartesian closed categories, from my topos project. Co-authored-by: Scott Morrison <scott@tqft.net>