pullbacks): Helpers for universal property and composition

Commit

3 years ago

feat(category_theory/limits/shapes/pullbacks): Helpers for universal property and composition

References

Author

z-murray

Parents