Eatery is a much less formal term than restaurant. It isn't a put-down, precisely, but you wouldn't call Spago or The Four Seasons an "eatery" except as a joke. On the other hand, you can certainly call McDonald's an "eatery", but that isn't the sort of establishment that is usually called that, either.
For me, "eatery" brings to mind a small place with a limited menu, possibly poor lighting, dinky countertops, and a, um, "chef" with a greasy apron and some sort of thick accent. But I might also use it as a catch-all term for a place that serves food, if I want to be deliberately vague about whether said place is a fancy sit-down restaurant, a less-fancy "family" restaurant, a diner, a thinly-disguised bar, a fast-food joint, or a roach coach.
For example, if we're driving up to the relatives -- an 8 hour drive if we're lucky and don't hit traffic on the outskirts of New York City --, around 5:00 p.m. I might be heard to say, "If we don't find an eatery soon, I'm gonna keel over from hunger."
The word "drug" can have connotations of illicitness, whereas medication is always used in licit contexts. But a drug can refer to licit medicines as well. New drugs come on the market.
A drug is typically ingested (or injected) whereas medications can also be topical. Not that we don't say "topical drug" too, but "topical medication" is used more often and has been in use since the 1840s, whereas "topical drug" is a fairly recent usage, arising in the 1950s per Google ngram.
So, they're more or less interchangeable, except in illicit contexts, where drug is used. The criminal is said to be a "drug dealer", or a "drug runner", and the addict is said to be "hooked on drugs" or "on drugs". The patient is said to be "on medication".
Best Answer
Categorical
In traditional logic (that is, the tradition that started with Aristotle), a categorical proposition is one that affirms or denies a predicate of a subject. That is, a categorical proposition says "A is B" or "A is not B". For example, "Emily is happy" or "American foreign policy in the 21st century doesn't have a clear objective." That's as simple a proposition as you can get.
A hypothetical proposition is one that says that if some condition is true, then some proposition is true. For example, "If the printing press is working again, then Emily is (probably) happy."
When people use the term loosely, to say that a proposition is categorically true or that they are making a categorical statement, they mean that the proposition is true without additional conditions, especially unstated conditions. That is, they mean that the proposition is categorical, not hypothetical. But they mean it in a stronger sense than what is used in logic. They mean that there is no need to entertain doubts, qualifiers, conditions, ifs, ands, buts, etc.--because the statement says it all, end of story.
Category
The connection with category is more obscure. Aristotle used the term "category" to mean what today we would call a predicate: that is, something that you can say about something else. For example, the predicate in "Emily is happy" is "happy". Aristotle famously tried to organize all predicates into ten fundamental kinds, called "the ten categories" or simply "the categories". Today, we still use "category" to mean predicate, but the emphasis is on grouping things that share a common predicate. For example, you might put Emily into the category of happy people. Really, that means the same as "Emily is happy", but it encourages you to think in terms of groups: happy people and unhappy people. Or you might define a category for purposes of grouping: "All people whose names start with A through E, please wait in this line; etc."
A solecism
As Brian Hitchcock noted, sometimes people say "categorical" to mean a universal proposition with no exceptions. In fact, categorical propositions don't have to be universal; they can refer to just some of something or just one thing: "All women are happy", "Most women are happy", "Some women are happy", "Hardly any women are happy", and "Emily is happy" are all categorical propositions, differing by what logicians call "quantity". The first one is called "universal", the last one "singular", and the others "particular" (since they refer to part of the subject being talked about).
The usage of categorical to mean "universal" is understandable because there's a connection between universality and lacking conditions, but people who know the connection between "category" and "categorical" consider that usage a solecism. A statement about just one person or thing can still be "categorical" in the informal sense of "this is the full statement, no additional conditions needed". For example, "The Harbaugh report is categorically not true!" doesn't mean anything about lacking exceptions. It means that Jim Harbaugh will still be the head coach of the 49ers next season, regardless of people's doubts about or dislike of Harbaugh.
Most people today don't know the distinction between categorical and hypothetical. People who know what categorical means usually don't use it in the sense you found in the dictionary, meaning "unconditional", "explicit", "without exceptions", etc. A sentence like "Are you stating that categorically?" comes across as trying to use a big word without knowing what it means. Categorical is logic jargon, to be used precisely. When people use it loosely, usually they're trying to bully someone into backing down by sounding like they're speaking very precisely and formally when really they're just putting on airs. A similar abuse of logic jargon is the use of ad hominem to mean an insult.
Note that "predicate" above means the sense appropriate for logic, not for grammar, although the two are closely related, of course.