Abstraction¶

Version: v3 · 2026-09-28 · History
Prime #: 6
Domain group: Humanities
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 (49) — abstractions linked here by typed relations

Bhargava factorial Domain-specific is a kind of Abstraction

It remains its own entry because its identity is fixed by the infinite integer subset or Dedekind-domain generalization, prime p, p-ordering and choice rule, difference products, p-sequence invariance, prime-exponent assembly, zero and positive index conventions, recovery of ordinary factorial, divisibility properties, and finite or noninteger variants.
Category theory Domain-specific is a kind of Abstraction

What makes it its own entry: the domain-specific identity determined by objects, hom-classes, source and target, identity morphisms, composition, associativity, and size convention satisfy the declared category axioms.
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

It remains its own entry because its identity is fixed by base field, finite dimension, associativity and identity, simplicity, center, degree, division component, and splitting or Brauer-class convention.
∞-Chern–Simons theory Domain-specific is a kind of Abstraction

It remains its own entry because its identity is fixed by the cohesive infinity-topos, higher group object, principal infinity-bundle and connection, characteristic map, differential cocycle, action or holonomy construction, dimension and boundary transgression.

▸ Show 44 more

∞-Chern–Weil theory Domain-specific is a kind of Abstraction
What makes it its own entry: the domain-specific identity determined by higher group or L-infinity algebra, connection model, Weil algebra, invariant cocycle, curvature, integration target, and equivalence notion are declared consistently.
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.
Declarative programming Domain-specific is a kind of Abstraction
The paradigm abstracts away execution order in favor of result relations.
Derived scheme Domain-specific is a kind of Abstraction
What makes it its own entry: the domain-specific identity determined by the locally ringed object uses a declared derived-commutative algebra model, has a valid classical truncation, and satisfies the selected descent and connectivity conditions.
Effective one-body formalism Domain-specific is a kind of Abstraction
EOB deliberately projects a full two-body relativistic system into an effective one-body representation while retaining the dynamical features needed for a declared waveform purpose.
Flag algebra Domain-specific is a kind of Abstraction
The method abstracts large structures into an algebra of local density relations.
Gerbe Domain-specific is a kind of Abstraction
A gerbe raises local-to-global gluing from objects to groupoids of objects.
Island grammar Domain-specific is a kind of Abstraction
The grammar abstracts away irrelevant syntax while retaining structures required by one analysis.
Metamodeling Domain-specific is a kind of Abstraction
It remains its own entry because its identity is fixed by the modeling purpose and metalevel, modeled model class, metamodel elements and relations, abstract and concrete syntax, semantics, constraints, conformance relation, instance models, transformation and versioning, self-description limits, and distinction from a simulation surrogate.
Point particle Domain-specific is a kind of Abstraction
What makes it its own entry: the domain-specific identity determined by the model declares zero extent, retained attributes, governing dynamics, observation scale, and the regime in which omitted finite-size structure is negligible.
Quasifield Domain-specific is a kind of Abstraction
What makes it its own entry: the domain-specific identity determined by the additive, multiplicative, identity, zero, division, and chosen distributivity axioms match one explicitly named quasifield convention.
Rational homotopy theory Domain-specific is a kind of Abstraction
What makes it its own entry: the domain-specific identity determined by space class, connectivity and nilpotence hypotheses, rationalization functor, model category, grading, and equivalence notion are fixed before asserting rational homotopy type.
Reduct Domain-specific is a kind of Abstraction
**Abstraction** is the broader abstraction this entry instantiates.
Reflection principle Domain-specific is a kind of Abstraction
A set-sized structure abstracts selected universe-level truths while preserving them.
Set theoretic programming Domain-specific is a kind of Abstraction
What makes it its own entry: the domain-specific identity determined by program semantics are organized around genuine set and relation values rather than libraries that merely happen to contain sets.
Shape analysis (program analysis) Domain-specific is a kind of Abstraction
The analysis abstracts unbounded heaps into finite shape summaries.
Spinc structure Domain-specific is a kind of Abstraction
It remains its own entry because its identity is fixed by the oriented Riemannian manifold and dimension, frame bundle, Spin-c group and central quotient, lifted principal bundle, compatibility map, determinant line bundle, characteristic-class existence criterion and associated spinor bundle.
Type variable Domain-specific is a kind of Abstraction
The variable abstracts over a family of types and programs.
Usage-centered design Domain-specific is a kind of Abstraction
The method abstracts users and tasks away from implementation before deriving an interface.
Abstract Structure Prime is a kind of Abstraction
Abstract Structure is a strict kind of Abstraction: it removes carrier-specific detail while preserving an explicit typed relational organization.
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.
Composite Good Domain-specific presupposes Abstraction
A composite good is an abstraction that replaces many goods with one aggregate representative.
Example-First Modeling Domain-specific presupposes Abstraction
Case-to-model derivation requires abstracting reusable structure from particulars.
Thematic Analysis Domain-specific includes 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.