Abstraction¶

Version: v1 · 2026-08-24 · History
Prime #: 6
Origin domain: Philosophy
Also from: Mathematics, Cognitive Science, Computer Science & Software Engineering
Aliases: Abstraction Computer Science, Abstraction Mathematics
Related primes: Abstraction in Art

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 Abstractions¶

Current abstraction Abstraction Prime

Foundational — no parent edges in the catalog.

Children (51) — more specific cases that build on this

Bhargava factorial Domain-specific is a kind of Abstraction

The proposed strict upward parent is prime:abstraction.
Brahman Domain-specific is a kind of Abstraction

The proposed strict upward parent is prime:abstraction.
Category theory Domain-specific is a kind of Abstraction

The proposed strict upward parent is prime:abstraction.
Cell-Probe Model Domain-specific is a kind of Abstraction

irrelevant machine costs are suppressed to expose memory information transfer.
Central simple algebra Domain-specific is a kind of Abstraction

The proposed strict upward parent is prime:abstraction.

▸ Show 46 more

∞-Chern–Simons theory Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
∞-Chern–Weil theory Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Combinatory Logic Domain-specific is a kind of Abstraction
Combinatory Logic most directly instantiates **Abstraction**: bracket abstraction retains a term's functional dependence while removing the binding syntax and replacing it with a composition of fixed operators.
Conceptual question Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Core ontology Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Declarative programming Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Derived scheme Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Effective one-body formalism Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Extra dimensions Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Flag algebra Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Gerbe Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
High-level programming language Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Island grammar Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Metamodeling Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Point particle Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Quasifield Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Rational homotopy theory Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Reduct Domain-specific is a kind of Abstraction
**Abstraction** is the proposed immediate parent.
Reflection principle Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Set theoretic programming Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Shape analysis (program analysis) Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Spinc structure Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Type variable Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Usage-centered design Domain-specific is a kind of Abstraction
The proposed strict upward parent is `prime:abstraction`.
Compression Prime 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.
Information Hiding Prime is a kind of, typical Abstraction
Both present a simplified surface over a complex interior; frames hiding as a change-protection-motivated specialization adjacent to abstraction (which selects for comprehension).
Legibility Prime is a kind of Abstraction
Legibility is Abstraction specialized to retaining the features a distant actor can compare and act on while discarding heterogeneous local context.
Multiple realizability Prime is a kind of Abstraction
The accepted reference-grade review places Multiple realizability under Abstraction because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Pattern Prime is a kind of Abstraction
The accepted reference-grade review places Pattern under Abstraction because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Projection Prime is a kind of, typical Abstraction
'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).
Renormalization Prime 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.
Thematic Analysis Domain-specific is part of Abstraction
Thematic analysis contains abstraction because a theme retains purpose-relevant patterns of meaning from a richer corpus while discarding detail under a declared use.
Abstract Work Prime presupposes, typical Abstraction
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 and identity-criterion that abstraction-in-general lacks.
Analogy Prime 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 Prime 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 Prime 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 Prime 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 Prime presupposes Abstraction
Progressive refinement from core model presupposes abstraction because identifying a simpler solvable baseline requires purpose-relative retention of the dominant structure.
Reification Prime presupposes Abstraction
Reification is a failure that befalls an abstraction: the constructed summary is identified with its substrate and the audit trail atrophies.
Representation Prime presupposes Abstraction
Representation presupposes abstraction because mapping a target onto a medium requires first deciding which features of the target to retain.
Type–Token Distinction Prime presupposes Abstraction
Recognizing a repeatable type presupposes abstracting away token-specific location, time, state, and history while retaining the structure shared by its occurrences.
Universal property Domain-specific is a decomposition of Abstraction
Removing categorical notation leaves a purpose-relative projection that retains an object's externally relevant behavior and discards construction.
Abstraction in Art Prime 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 Prime 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 Prime 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 Prime 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.