I see that your suggested edit was rejected. While in theory I agree with the reason described there, in this case the name of the tag seem unambiguous enough to me. I went ahead and edited it with the text from your suggestion. — Martin Sleziak33 secs ago
The tag categorical-logic now has a very basic tag-excerpt and tag-wiki. Basically just one sentence and a link to Wikipedia. It would be nice if somebody knowledgeable in that area would have a look at the tag-info.