preserves): preserving terminal objects (#5060)

Commit

5 years ago

feat(category_theory/limits/preserves): preserving terminal objects (#5060) Another part of #4716.

Author

b-mehta

Parents