preserves): make names consistent (#5240)

Commit

5 years ago

chore(category_theory/limits/preserves): make names consistent (#5240) adjusted names and namespaces to match #5044

Author

b-mehta

Parents