Commit 2025-06-15 11:36 d6898ad6

View on Github →

refactor(RelCat): use a type synonym for homs (#25593) This improves automation and follows the new pattern for concrete categories (although RelCat is not a concrete category).

Estimated changes