Commit 2026-10-01 13:35 c870b3f0
View on Github →chore(CategoryTheory): remove duplicate instance on CostructuredArrow (#44197)
An oversight while reviewing #37809 led to a duplicate category instance on Costructured arrows. This deletes the duplicate instance.