creates): transfer creating limits through nat iso (#4938)

Commit

5 years ago

feat(category_theory/limits/creates): transfer creating limits through nat iso (#4938) `creates` version of #4934

Author

b-mehta

Parents