You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This seems appropriate following the discussion with Anders after #910 that "properties", of categories should be separated from its "data", and allows us to repeat fewer arguments.
The text was updated successfully, but these errors were encountered:
EgbertRijke
changed the title
Refactor categories to build on the theory of wild categories
Idea: refactor categories to build on the theory of wild categories
Nov 25, 2023
Oh, yes, I am not yet convinced by this idea either; I should have phrased the issue text differently. I still think this refactoring makes a lot of sense, though.
This seems appropriate following the discussion with Anders after #910 that "properties", of categories should be separated from its "data", and allows us to repeat fewer arguments.
The text was updated successfully, but these errors were encountered: