Abstraction¶
Core Idea¶
Ignoring details to focus on higher-level concepts.
How would you explain it like I'm…
Keeping What Matters
When you draw a stick figure, you only keep the parts that show it's a person: head, body, arms, legs. You skip the eyelashes and freckles. Abstraction is picking what to keep and what to leave out, so the picture still works for what you need.
Keeping the Useful Parts
Abstraction means keeping only the parts of something that matter for what you're trying to do, and dropping the rest. A subway map is an abstraction of a city: it shows which stops connect to which, but skips the actual street layout because riders don't need that. The same city could be abstracted differently for a hiker, who wants trails and elevation. What you keep depends on the purpose. Every abstraction is a choice about what is load-bearing.
Purpose-Driven Simplification
Abstraction is the purpose-relative retention of structure: deliberately keeping the features of something that matter for a given use and dropping those that don't. The key move is not vague simplification but a judged choice about what structure is load-bearing for the reasoning, design, or communication you need. Every abstraction implicitly specifies three things: the concrete original it was made from, the purpose it must serve, and the projection from concrete to retained structure — what got kept and what got dropped. A subway map and a street map abstract the same city differently because they serve different purposes. Change the purpose, and the right abstraction changes.
Abstraction is the purpose-relative retention of structure: selectively keeping the features of a thing that matter for a given use while discarding those that do not. The essential move is not 'simplification' in the loose sense but a judged choice about what structure is load-bearing for the reasoning, design, or communication at hand. Every abstraction therefore specifies three things, sometimes explicitly and sometimes only implicitly: (1) a concrete original it is made from; (2) the purpose — the kind of question, operation, or transfer the abstraction must support; and (3) the projection from the concrete to the retained structure, which names what has been dropped and what has been kept. Two abstractions of the same concrete original can be equally faithful yet incompatible if their purposes differ — a topological subway map and a surveyor's street grid both abstract the city, but neither can substitute for the other. When the purpose shifts, the right abstraction shifts with it, and an abstraction inherited from one purpose and reused for another is the canonical source of leaky reasoning.
Broad Use¶
Enables reasoning about systems without drowning in unnecessary details (e.g., APIs in software, models in science).
Clarity¶
Removes irrelevant details to focus on essentials, e.g., viewing a car as a mode of transport rather than analyzing every component.
Manages Complexity¶
Removes extraneous details, focusing on the essence of a concept.
Abstract Reasoning¶
Encourages generalization and cross-contextual reasoning.
Knowledge Transfer¶
Foundational to all fields, from software (APIs) to science (models) to art (symbolism).
Example¶
A subway map abstracts geographic details to focus on the connectivity of stations and lines.
Relationships to Other Primes¶
Foundational — no parent edges in the catalog.
Children (19) — more specific cases that build on this
- Chunking is a kind of Abstraction — Chunking is a kind of abstraction: it groups individual items into a single meaningful unit that retains the load-bearing structure for the task.
- Compression is a kind of Abstraction — Compression is a specialization of abstraction in which the retained structure is information-theoretic regularity and the discarded structure is the redundancy.
- Dimensionality Reduction is a kind of Abstraction — Dimensionality reduction is a specialization of abstraction that projects high-dimensional data onto a lower-dimensional representation preserving task-relevant structure.
- Information Hiding is a kind of, typical Abstraction — Both present a simplified surface over a complex interior; the file frames hiding as a change-protection-motivated specialization adjacent to abstraction (which selects for comprehension). Owner picks boundary vs abstraction lineage.
- Projection is a kind of, typical Abstraction — The file: 'Projection is the precise, geometric, idempotent SPECIAL CASE within the broader family of reductions that abstraction names.' Projection drops the dimensions perpendicular to a chosen target (vs abstraction's free-form essence-extraction).
▸ Show 14 more
- Renormalization is a kind of Abstraction — Renormalization is a kind of abstraction: it retains only the long-distance structure that matters for the use at hand and discards the rest.
- Virtualization is a kind of Abstraction — Virtualization is a specialization of abstraction in which the retained structure is the consumer-facing interface and the discarded structure is the physical substrate's specifics.
- Abstract Work presupposes, typical Abstraction — The file: abstract_work is the OUTPUT of an abstraction operation when the result is a content-identity carried across swappable carriers — presupposes abstraction but adds the load-bearing instance-set + identity-criterion that abstraction-in-general lacks. The 0.93 similarity is parent-to-product.
- Analogy presupposes Abstraction — Analogy presupposes abstraction because mapping relational roles between domains requires those roles to have been abstracted away from surface features.
- Black Box vs. White Box Distinction presupposes Abstraction — Black-box / white-box distinction presupposes abstraction because choosing whether to expose internal mechanism is a purpose-relative decision about retained structure.
- Idealized-Substrate Fallacy presupposes Abstraction — The fallacy is carrying a (legitimate) idealizing ABSTRACTION across a deployment boundary without re-introducing the friction terms it dropped; it presupposes an abstraction and is the specific decision-error of trusting it where its preconditions stop holding.
- Indirection presupposes Abstraction — Indirection presupposes abstraction because interposing a referencing layer requires deciding which features of the provider to retain as the contract.
- Progressive Refinement from Core Model presupposes Abstraction — Progressive refinement from core model presupposes abstraction because identifying a simpler solvable baseline requires purpose-relative retention of the dominant structure.
- Reification presupposes Abstraction — Reification is a FAILURE that befalls an abstraction: the constructed summary is identified with its substrate and the audit trail atrophies. Presupposes an abstraction to corrupt; the pathology is the lost provenance, not the abstracting.
- Representation presupposes Abstraction — Representation presupposes abstraction because mapping a target onto a medium requires first deciding which features of the target to retain.
- Abstraction in Art is a decomposition of Abstraction — Abstraction in art is the specific shape abstraction takes when representational detail is stripped to isolate essential formal or conceptual properties.
- Design Patterns is a decomposition of Abstraction — Design patterns is the specific shape abstraction takes when recurring solution structures are named and extracted for reuse across instances.
- Minimalism is a decomposition of Abstraction — Minimalism is the specific shape abstraction takes when the retention principle is reduction to the essential by elimination of the inessential.
- Schema is a decomposition of Abstraction — A schema is the specific shape abstraction takes when experience with a category is retained as a type-level pattern with slots.
Not to Be Confused With¶
- Abstraction is not Abstraction in Art because artistic abstraction reduces representational fidelity in order to isolate and emphasize formal, emotional, or conceptual properties as the work's content; structural abstraction retains the structural features that matter for a specified purpose, explicitly naming what is dropped and what is kept relative to that purpose—the retained structure remains load-bearing for reasoning or design, not freed for aesthetic or expressive effect.
- Abstraction is not Minimalism because minimalism is the removal of everything non-essential to force clarity and emphasis on what remains; abstraction is purpose-relative retention of structure, with the projection rule explicitly specifying which features serve the operational purpose—minimalism is a design discipline that uses constraint as generative, while abstraction is a mapping rule that partitions concrete detail into kept and dropped categories.
- Abstraction is not Pattern Completion because pattern completion reconstructs unobserved parts of a structure using prior-informed inference, producing output content that the input did not contain; abstraction drops content entirely from the original concrete thing, retaining only what the specified purpose requires—pattern completion adds; abstraction removes.
- Abstraction is not Isomorphism because isomorphism is a structure-preserving bijection between two objects of the same mathematical kind, making them structurally indistinguishable for any reasoning operating on the preserved structure; abstraction selectively drops detail from one concrete original to create a reduced representation that is purpose-specific but loses information unavailable in the isomorphic image.
- Abstraction is not Composition because composition is the deliberate arrangement of elements into a unified whole through spatial relationships, visual weight, and rhythm; abstraction is the mapping from a richer concrete original to a retained-structure subset—composition orchestrates relationships among elements within a frame, while abstraction narrows what elements are retained from the source.