pullbacks): Pullbacks isomorphic to the opposite of pushouts (#15455)

Commit

3 years ago

feat(category_theory/shapes/pullbacks): Pullbacks isomorphic to the opposite of pushouts (#15455) Co-authored-by: erd1 <the.erd.one@gmail.com>

Author

erdOne

Parents