The classical understanding of categories centers on necessary and sufficient properties. If a thing has X, Y, and Z, we say that it belongs to class A; if it lacks them, we say that it does not. This is the model of how humans construct and recognize categories that philosophers have held since the days of Aristotle.
Cognitive scientists found that the reality isn't that simple.
Human categorization is not a neat and precise process. When asked to explain the necessary features of, say, a bird, people cannot. When confronted with collections of stimuli and asked to determine which represent examples of 'birds', people find it easy to accept or reject things that have all or none of the properties they associate with that concept; when shown entities that share some but not all of the critical properties, people spend much more time trying to decide, and their decisions are tentative. Their responses simply aren't compatible with binary models.
Concepts are associational structures. They do not divide the world clearly into two parts. Not all of their features are logically necessary. The recognition of features produces an activation, the strength of which depends not only on the degree to which the feature is present but a weighting factor. When the sum of the activations crosses a threshold, the concept becomes active and the stimulus is said to belong to that category. The stronger the total activation, the more clearly the stimulus can be said to embody the concept.
Does this sound familiar? It should for us - we have the benefit of hindsight. We can recognize that pattern - it's how neural networks function. Or to put it another way, it's how neurons work.
But wait! There's more!
Try applying that model to virtually every empirical fact we've acquired regarding how people produce their conclusions. For example, our beliefs about how seriously we should take a hypothetical problem scenario depend not on a rigorous statistical analysis, but a combination of how vividly we feel about the scenario and how frequently it appears in our memory. People are convinced not only by the logical structure of an argument but the traits of the entities presenting it and the specific way in which the arguments are made. And so on, and so forth.
Most human behavior derives directly from the behavior of the associational structures in our minds.
To put it another way: what we call 'thinking' doesn't involve rational thought. It's *feeling*. People ponder an issue, then respond in the way that they feel stands out the most from the sea of associations.
Consider the implications for a while.
The definition of a mammal is simple: descent from the most recent common ancestor of all mammals. In practice, to avoid circularity, it is sufficient to take the MRCA of a few indisputable mammalian groups such as primates, rodents, carnivorans, ungulates, etc. to include all mammals.
This definition is useful because it turns out that there are many traits unique to mammals, and any given mammal will have almost all these traits. Many such traits are anatomical/biochemical/etc. (Many outwards traits like live birth or so-called "warm blood" aren't unique to mammals.)
However, even if this definition wasn't useful to us, the group Mammalia would still exist. It's a natural evolutionary group (clade) in phylogenetics, to which we merely give a name. (Edit: and cladistics is a natural way of classifying species (among other ways). By natural I mean a classification that tends to match common and unique traits of species in the same clade, and which is causally linked to the history of of the species and to predictions for their future, so that I would expect aliens to have a relatively high probability of using similar classifications.)
The precise clade referred to by the word Mammalia can change depending on context. It makes sense to ask whether borderline species like platypuses are mammals or a sister group of mammals. That's the fuzzy nature of any classification of real things. But the natural limits of the category "mammals" lie somewhere around the monotremes. A group which doesn't include dolphins is definitely not the group of all mammals.
"The definition of a mammal is simple: descent from the most recent common ancestor of all mammals."
Valid definitions cannot reference themselves.