the second hundred · metaphor 148
We are forever sorting the world into kinds — our sort of family, our kind of neighbourhood, the people who are like us. But every "same kind" is quietly a decision: a list of differences we have agreed, together, to stop noticing.
Say "they're all the same, those people" and you have not described them — you have chosen what not to look at. The category does the forgetting for you: it fixes on one or two traits, declares the rest beneath notice, and hands back a tidy world of a few types where before there were a hundred distinct faces. The neighbourhood, the class year, the demographic bracket — each is a lens ground to a particular blur.
What's unsettling is that the blur is never neutral and never total. Choose to see only where someone was born and two strangers become "the same"; choose to see only what they earn and the pairing dissolves and reforms around new lines. The world doesn't have fewer kinds than people because it must — it has as many kinds as the differences we still trouble to see. Mathematics has a spare name for this act of agreed blindness, and a way to watch it partition a set in real time.
The idea
Take any collection of things and a rule that decides, for any two of them, whether they count as the same. If that rule is honest in three plain ways — each thing is the same as itself, sameness runs both directions, and if a matches b and b matches c then a matches c — mathematicians call it an equivalence relation. Its one and only job is to declare some differences irrelevant.
Do that, and the collection falls apart on its own into piles. Each pile is an equivalence class — a maximal clump of things the rule can't tell apart. The piles never overlap and never miss anyone: every thing lands in exactly one. The collection of piles is the quotient set, written X / ~ — the original world seen through the chosen blindness, with the ignored differences quotiented away.
The instrument above is a quotient you can operate. Fifteen specimens carry four traits apiece. Each trait you blind the sorter to is a difference you have declared not to matter; together, the traits still visible are the equivalence relation. Two specimens are equivalent exactly when they agree on everything you can still see — and the number of classes is nothing but the count of distinct looks that survive.
What to try
Start where you are: every trait seen, and the fifteen specimens sit in fifteen singleton classes — no two alike. That's the finest possible partition, the relation that forgets nothing. Now press shape. The sorter goes blind to circle-versus-square-versus-triangle; specimens that differed only in shape snap together, and the class count drops. Watch the partition bar redraw and the buckets fuse. Nothing about the specimens changed — only what you agreed to notice.
Keep going. Each buckets' header shows its signature: the traits it still pins down, and — struck through — the ones it now treats as any. Those struck badges are the chosen blindness made visible. Try the presets. Only colour matters collapses everything but hue into three big kinds; All one kind blinds the sorter to every trait at once and the whole set becomes a single class — the flat, comforting "they're all the same" that sees nothing at all. Every number on the panel is counted live from the specimens; none is scripted.
The mapping
Swap specimens for people and the machine is one we run all day. "Our kind of people" is an equivalence class — a clump held together by the handful of traits a group has decided to see, blind to the rest. A stereotype is a coarse relation: it ignores almost everything, so it packs enormous, various crowds into a few fat classes. Getting to know someone is refinement running the other way — a difference you'd been blind to comes into focus, and a class you'd treated as one splits into the several kinds it always contained.
The quotient is what makes any of it thinkable. No mind can hold fifteen billion distinct faces; we survive by working with the piles, not the people — voters, patients, the market, the neighbours. That's not a vice, it's cognition. The vice is forgetting that a pile is a blindness, mistaking "the same kind" for "the same," and letting the traits we happened to fix on pass for the whole of a person. Change the relation — see one more difference, or one less — and the kinds you live among rearrange completely.
Read as life lessons
There is no such thing as "the same kind" full stop — only "the same with respect to these traits." Name the traits and the kinds are fixed; change the traits and every kind reshuffles. Whenever someone says same, ask what they've agreed to stop seeing.
Ignore more, and the classes grow fewer and larger — the world gets simpler to hold and lonelier to be seen in. Ignore everything and you reach the one warm, useless class where all are alike. Every simplification is paid for in difference unseen.
The quotient keeps only what a class shares and discards the rest as noise. Treat the pile as a point and you can reason about millions; treat a person as their pile and you've thrown away everything that made them not the average. Useful for a census, ruinous for a friend.
In the wild
Every demographic bracket is a quotient: age bands, income deciles, "urban / rural." The bracket makes the population countable by agreeing to treat everyone inside it as one — and buries whatever the brackets don't cut on.
"Treat like cases alike" is the demand for a well-chosen equivalence relation. Every discrimination fight is an argument over which differences a rule may see (relevant) and which it must go blind to (protected).
Nations, castes, fandoms, in-groups — each is a class people are sorted into by traits someone chose to make load-bearing. The border of the "us" is exactly the difference the category decided not to see across.
The mapping, exactly
| Mathematics | Life |
|---|---|
| the set X | The population you're facing — all the distinct individuals, before any sorting. |
| an equivalence relation ~ | The working rule for who counts as "the same kind of person" — and it must hold up: reflexive, symmetric, transitive. |
| the ignored traits | The differences you've agreed, together, to stop seeing — the chosen blindness the category is built from. |
| an equivalence class | A "kind," a bracket, an "our sort of people" — a clump the rule can no longer tell apart. |
| the quotient X/~ | The world as that blindness leaves it: the shortlist of kinds you actually reason and speak in. |
| refining ~ | Noticing a difference you'd been blind to — a class you thought was one splits into the several it hid. |
| coarsening ~ | Deciding a difference no longer matters — classes you kept apart merge into one. |
| the trivial relation | "We're all the same underneath" — ignore every trait and the whole set is one class. |
| the identity relation | "Everyone is unique" — ignore nothing and no two land together; each is its own kind. |
The honest model
No sleight of hand: fifteen specimens are stored as four-part tuples — (shape, colour, size, region) — and chosen so all fifteen are distinct. The traits you blind the sorter to are dropped from each tuple; two specimens are equivalent exactly when their remaining tuples are identical. The panel groups the specimens by that trimmed key and simply counts the distinct keys. That count is the number of equivalence classes, computed on every toggle.
The two extremes fall straight out of the arithmetic. Keep all four traits and the keys are the full tuples, all distinct, so you get fifteen singleton classes — the identity relation. Drop all four and every key becomes the empty tuple, identical for everyone, so you get one class of fifteen — the trivial relation. Everything the widget shows — class count, sizes, the width of each block in the partition bar, the "any" badges — is read live off that grouping. Refuse to hard-code and the metaphor stays honest: the kinds really are just the differences that survived.
Where the metaphor tears
An equivalence relation needs stable, well-defined traits and a sameness that is truly transitive. Human difference is none of these: it's fluid, contested, and partly made by the act of sorting. "Feels like our kind" famously breaks transitivity — A embraces B, B embraces C, yet A rejects C — which means it isn't an equivalence relation at all, just a bias wearing the mask of one.
Ignoring region and ignoring race are, to the quotient, the very same move — drop a coordinate, merge some classes. But morally they are worlds apart. The tidy symmetry of the operation hides the whole ethical question: not whether we quotient, we must, but which differences we choose to stop seeing, and who is harmed when we do.
Collapsing a class to a single point is exact and irreversible: the within-class differences are gone, not hidden. That is precisely the power of a map and the cruelty of a stereotype. The relation also demands symmetry — but real prejudice rarely obliges, forever insisting "they're all alike; we are individuals," seeing fine structure on one side of a line and none on the other.