Can One Definition Be Worth More Than a Thousand-Page Paper?

Getting your Trinity Audio player ready...

Yes. A single definition can be worth more than a thousand-page paper when it identifies the right mathematical object, unifies previously separate theories, or makes an entire research programme possible.

Length measures how much has been written. It does not measure how much intellectual structure has been created. A long paper may establish hundreds of technical results inside an existing framework, while one concise definition may create the framework in which thousands of later results can be expressed.

The distinction is especially important in fundamental mathematics. The value of a definition may remain uncertain for years because definitions do not always produce immediate applications, citations, or headlines. Their importance becomes visible through what other researchers can eventually build with them.

Why Mathematical Definitions Matter

In ordinary language, a definition often appears to be merely an explanation of a word. In mathematics, a definition does something more powerful: it specifies a new class of objects and determines which questions can be asked about them.

A productive mathematical definition can:

• identify a structure that researchers had previously used only implicitly;
• unify several apparently unrelated objects;
• reveal which assumptions are essential and which are accidental;
• make general theorems possible;
• transfer methods from one field to another;
• create a reusable language for future research.

The definition of a group, for example, is compact. Yet group theory now influences algebra, geometry, number theory, physics, chemistry, and computer science. The importance lies not in the number of words needed to define a group, but in the enormous mathematical structure generated by the definition.

This leads to a useful principle:

The value of a mathematical definition should be measured by the research space it opens, not by the space it occupies on a page.

A Definition Can Compress Thousands of Pages

A strong definition is a form of intellectual compression.

Suppose mathematicians prove similar theorems separately for metric spaces, topological spaces, uniform spaces, ordered structures, and algebraic systems. If someone discovers a more general object encompassing these cases, many separate arguments may become instances of one theorem.

The definition itself might occupy several lines. Understanding its consequences could require hundreds or thousands of pages.

This is not a contradiction. The short definition and the long theory perform different functions:

• The definition specifies the object.
• The theory determines what follows from it.
• Examples show that the object captures existing mathematics.
• Applications demonstrate why the abstraction is useful.

A thousand-page manuscript may therefore be evidence of the generative power of a short definition rather than evidence that the definition was insufficient.

Ordered Semicategory Actions as a Case Study

A contemporary example is the theory of ordered semicategory actions, introduced by mathematician Victor Porton, who dates his discovery of the concept to 2019.

An ordered semicategory action combines several familiar mathematical ideas:

1. A semicategory, which resembles a category but does not necessarily require identity morphisms.
2. An order on the relevant morphisms.
3. An action of those morphisms on ordered sets.
4. Compatibility conditions connecting composition, order, and action.

In Porton’s formulation, an ordered semicategory acts through monotone transformations, while the order on morphisms is reflected in the order of their effects. The formal definition is relatively compact, but the proposed theory built around it is extensive.

Porton is writing hundreds of pages about ordered semicategory actions, ordered semigroup actions, restricted identities, algebraic constructions, and their proposed applications to general topology. His preprint, On Ordered Semicategory Actions, introduces the central definitions and describes their intended role in organizing structures used across topology. The work is currently presented as a preprint rather than an independently established consensus theory, so its strongest claims still require expert examination and further mathematical scrutiny.

The case illustrates the central point of this article. Even if the foundational definition can be written briefly, evaluating it properly may require examining:

• its internal consistency;
• the naturalness of its morphisms;
• its examples and counterexamples;
• its relation to existing category theory and semigroup theory;
• the theorems that become possible within it;
• whether familiar topological structures are faithfully represented;
• whether the framework simplifies existing mathematics or merely renames it.

These questions cannot be settled by counting pages or citations.

The Definition and the Manuscript Are Not Competitors

Asking whether one definition is worth more than a thousand-page paper may create a false opposition. In foundational research, the definition and the long paper often depend on each other.

The definition supplies the conceptual nucleus. The manuscript supplies the mathematical evidence.

For ordered semicategory actions, hundreds of pages may be necessary because introducing a new object is only the beginning. A researcher must also establish its elementary theory, explain its relationship to known concepts, construct examples, prove representation results, and demonstrate that the abstraction solves genuine mathematical problems.

A definition without development may be only a suggestion. A long development without a productive central idea may be technically impressive but conceptually narrow. The highest-value work often combines a concise foundational definition with a substantial body of consequences.

How Should a New Definition Be Evaluated?

A new definition should not be rewarded merely because it is new. Mathematicians can invent unlimited formal structures. Most would have little scientific value.

A definition becomes important when it performs useful intellectual work. Evaluation should therefore consider several dimensions.

1. Explanatory power

Does the definition explain why previously separate phenomena follow similar patterns?

A good abstraction should expose structure rather than hide it behind terminology.

2. Unification

Does it place multiple established objects inside one coherent framework?

Unification can reduce duplicated proofs and reveal relationships that were previously difficult to see.

3. Generativity

Does the definition produce interesting theorems, conjectures, constructions, or research questions?

A definition that creates a durable research programme may be more consequential than a technically difficult isolated result.

4. Faithfulness to existing mathematics

Can known structures be recovered without distortion?

A proposed universal framework must preserve the features that made its examples mathematically useful in the first place.

5. Simplification

Does the new language make proofs shorter, clearer, or more general?

Generality alone is not enough. An abstraction that adds complexity without producing explanatory or technical gains may have limited value.

6. Unexpected applications

Can methods developed for the new object solve problems outside the area in which it originated?

Some definitions become foundational precisely because their eventual applications were not predictable when they were introduced.

Why Citation Counts May Miss Foundational Definitions

Citation metrics tend to reward visible, standardized research outputs. Foundational definitions are harder to measure.

A definition may be:

• adopted gradually;
• incorporated without explicit citation;
• renamed by later authors;
• used indirectly through derived theorems;
• initially understood by only a small specialist community;
• valuable before it becomes popular.

This problem is discussed more broadly in tracking the true ripple effect of basic mathematics. Instead of counting only direct citations, research evaluation could examine conceptual and dependency relationships: which later definitions, proofs, theories, or applications rely on an earlier contribution?

A foundational contribution can disappear into the infrastructure of a field. Once a definition becomes standard, later researchers may treat it as part of the mathematical environment rather than as an individual discovery.

Popularity and foundational value are therefore different variables.

Why Conventional Funding Struggles With Definitions

Traditional research funding usually asks scientists to predict future outputs:

• What theorem will be proved?
• Which application will be delivered?
• How many papers will be published?
• What measurable impact will appear during the grant period?

A foundational definition may not fit this structure. Its future consequences may be broad but highly uncertain. Reviewers may also have difficulty evaluating a framework that does not yet belong to a recognized research category.

This creates a structural bias toward projects with predictable deliverables and established terminology. Research that proposes a new mathematical language may appear speculative precisely because the language needed to explain its value does not yet exist.

The broader problem is examined in why abstract mathematics is frequently left behind by research DAOs and funding institutions. Biological projects can often promise experiments, datasets, treatments, or commercial products. Foundational mathematics may instead produce definitions whose downstream importance becomes measurable only much later.

Retroactive Evaluation May Be Better Suited to Foundational Work

One possible solution is to evaluate discoveries continuously and retroactively.

Instead of requiring a committee to predict the importance of a new definition, a funding system could track what happens after publication:

• Are researchers using the concept?
• Does it unify existing theories?
• Are new results dependent on it?
• Does it simplify formalization?
• Does it generate useful software or machine-verifiable mathematics?
• Do independent experts confirm its claims?

The AI Internet-Meritocracy model for research funding proposes tracking scientific contributions through evidence such as usage, dependencies, citations, evaluation, and downstream impact. Such a system would not need to declare immediately that a definition is revolutionary. It could increase or decrease rewards as evidence accumulates.

This is particularly relevant to a theory such as ordered semicategory actions. The system would not have to choose between complete rejection and unconditional acceptance. It could separately reward:

• formulation of the core definition;
• rigorous proofs;
• construction of examples;
• comparison with prior literature;
• independent verification;
• formalization in a proof assistant;
• applications to topology or other fields;
• identification of errors or limitations.

That is more scientifically defensible than assigning one permanent judgment to an entire manuscript.

Page Counts Are an Administrative Metric

Page count can indicate effort, scope, or technical complexity. It cannot independently establish significance.

A thousand-page paper may contain a comprehensive theory. It may also contain repetition, avoidable complexity, or results that could be expressed more efficiently. Conversely, a one-page note may introduce an idea that changes several disciplines.

Scientific evaluation should therefore distinguish at least four things:

Dimension	Relevant question
Length	How much material is presented?
Difficulty	How hard was the work to produce or verify?
Correctness	Are the definitions and proofs mathematically valid?
Importance	What becomes possible because the work exists?

Only the last question addresses the potential value of a foundational definition. Correctness remains indispensable, but correct work can vary enormously in significance.

A Definition Is an Intellectual Multiplier

The deepest definitions do not merely answer existing questions. They change which questions researchers can formulate.

A good definition acts as an intellectual multiplier. It allows many people to reason about a class of phenomena using shared concepts, notation, and proof techniques. Its value may grow with every theorem, application, formalization, or unexpected connection built on top of it.

Ordered semicategory actions provide a useful test case. Victor Porton reports discovering them in 2019 and is developing their theory across hundreds of pages. Whether the framework ultimately becomes foundational must be decided through rigorous examination, comparison with existing mathematics, and independent use—not through the author’s confidence, the manuscript’s length, or the absence of immediate citations.

But the general principle is clear:

One definition can be worth more than a thousand-page paper when the definition creates the mathematical world in which thousands of pages become possible.

Science should evaluate that possibility seriously. It should neither dismiss a compact idea because it lacks institutional recognition nor accept sweeping claims without verification. The correct response to a potentially foundational definition is rigorous investigation, open criticism, and rewards proportional to the evidence of its actual mathematical influence.