As I’ve said a bit elsethread, I’m very in favor of 1) people creating tags they think should exist even if they don’t know the topic well, 2) other people jumping in improving them where they see possible. I hope talk pages will make it easy to discuss any changes made, but most of the time I expect they’ll just be all-round welcome improvements that don’t need debating.
In short, if you think there’s an improvement to be made, go for it! Even if you’re not sure that anyone else agrees. Let them object after the fact.
More philosophical, I think we generally want to define terms like category theory in their proper standard usage. If the LW usage is off, we probably want to correct that or at least note the divergence in any description. (I don’t remember if the S1/S2 description, but it would be good if it noted the difference between academic meaning and how it gets used around here).
If you end up writing an improved Category Theory description, I look forward to reading it.
As I’ve said a bit elsethread, I’m very in favor of 1) people creating tags they think should exist even if they don’t know the topic well, 2) other people jumping in improving them where they see possible. I hope talk pages will make it easy to discuss any changes made, but most of the time I expect they’ll just be all-round welcome improvements that don’t need debating.
In short, if you think there’s an improvement to be made, go for it! Even if you’re not sure that anyone else agrees. Let them object after the fact.
More philosophical, I think we generally want to define terms like category theory in their proper standard usage. If the LW usage is off, we probably want to correct that or at least note the divergence in any description. (I don’t remember if the S1/S2 description, but it would be good if it noted the difference between academic meaning and how it gets used around here).
If you end up writing an improved Category Theory description, I look forward to reading it.