Commit 2024-06-18 14:31 583e17a8
View on Github →feat(Algebra/Category/CoalgebraCat): minor changes (#13315)
It turns out @101damnations and I had independently written CoalgebraCat. She got in first, and I'm happy to use that version but want one more instance.