types): presheaf category is cartesian closed (#4897)

Commit

5 years ago

feat(category_theory/closed/types): presheaf category is cartesian closed (#4897)

Author

b-mehta

Parents