Ordered Semicategory Actions: Research Status and the Bottleneck Hypothesis

Research-status note — updated 24 September 2026. Ordered semicategory actions (OSA) are a research framework proposed by Victor Porton for expressing families of “spaces” and transformations in an algebraic form. The core material is currently available as a preprint and in the author’s Algebraic General Topology manuscripts. This page presents the motivation for the framework, but it does not treat its importance, novelty, or broad applicability as independently established facts.

Disclosure: this article is written by Victor Porton, who is also the author of the OSA research and a founder of Science DAO / AI Internet-Meritocracy. Science DAO may benefit from donations supporting evaluation or development of this work. Accordingly, claims about OSA being unusually important or a scientific “bottleneck” should be read as the author’s hypothesis unless supported by independent review.

What are ordered semicategory actions?

A semicategory is similar to a category but does not require identity morphisms. This is standard terminology; see the nLab overview of semicategories. Category theory also routinely studies structures in which hom-objects carry additional structure, as in enriched category theory.

In Porton’s January 2026 preprint On Ordered Semicategory Actions, an ordered semicategory has an order on each hom-set that is compatible with composition. The paper then studies actions of such structures on partially ordered sets, with monotonicity requirements both for the acting morphisms and for the elements being acted upon.

The preprint’s technical program is to use ordered semicategory actions, and their one-object special case of ordered semigroup actions, as algebraic containers for structures arising in general topology. Its abstract states that a wide class of ordered semigroup actions can be embedded into an algebraic variety and makes the broader claim that many kinds of spaces used in general topology can be represented in this framework. That broader scope is one of the main points that needs independent mathematical checking.

Evidence status: what is established, claimed, and still open?

Statement	Status on this page
Definitions of ordered semicategories and ordered semicategory actions are written down in a public manuscript.	Documented. The January 2026 preprint is publicly available.
A substantial theory around ordered semigroup / semicategory actions has been developed by the author.	Documented as author-produced research. See the preprint and the Algebraic General Topology manuscript.
The framework captures broad classes of topological, uniform, proximity, metric, graph-like, and related spaces in a useful common formalism.	Author’s mathematical claim. It requires careful verification of the stated embeddings, assumptions, equivalences, and scope.
OSA is a “bottleneck topic” whose neglect is delaying mathematics.	Hypothesis, not an established result. This would require evidence of correctness, usefulness, novelty relative to existing literature, and independent adoption.
The framework is more important than established theories such as group theory or category theory.	Not asserted here as a fact. Such comparisons are presently speculative and are not needed to justify expert review.

Why call it a possible bottleneck?

The word bottleneck is useful only as a hypothesis. A mathematical framework could become a bottleneck if it compresses many separate constructions into a common language and if downstream results become easier to state, prove, compare, or formalize after adopting it.

OSA is a candidate for that role because the research program attempts to place multiple kinds of generalized spaces inside a common algebraic setting and to express notions such as continuity and transformation through that setting. If those claims survive independent scrutiny and the formalism proves practically useful, the framework could reduce duplication between neighboring parts of general topology.

But the conditional matters. A new formal language is not valuable merely because it is general. It must preserve the relevant mathematics, clarify rather than obscure existing theory, relate correctly to prior work, and enable results or comparisons that are difficult without it.

What would count as serious validation?

The most useful next step is not stronger publicity language. It is independent mathematical evaluation. In particular, confidence would increase substantially if researchers outside the project did several of the following:

• Check the core definitions and proofs for consistency, hidden assumptions, and errors.
• Compare OSA with established literature on semicategories, ordered/enriched categories, semigroup actions, quantale- or order-enriched structures, and categorical approaches to topology.
• Verify representative embeddings in detail: for example, topological spaces, uniform spaces, proximity spaces, metric spaces, and directed graphs.
• Separate the long manuscript into focused papers whose main theorems can be reviewed independently.
• Formalize a core subset in a proof assistant such as Lean, Coq, or Isabelle, so that foundational definitions and selected results are mechanically checkable.
• Demonstrate independent use: ideally, another mathematician should use the framework to recover, simplify, generalize, or prove a result without relying on the author’s interpretation.

These tests are more informative than citation counts or publicity alone. They would help determine whether OSA is chiefly a new notation, a useful unifying framework, or a genuinely productive new branch of mathematics.

How OSA relates to AI Internet-Meritocracy

OSA is relevant to AI Internet-Meritocracy (AIIM) as a case study in evaluating technically difficult work produced outside conventional academic pipelines. The appropriate goal is not for an AI system to declare the theory correct. A better use is to help locate relevant literature, identify claims that need checking, compare definitions, route work to qualified reviewers, and direct funding toward verifiable evaluation tasks.

For OSA specifically, funding could support independent reviews, extraction of shorter papers, prior-art comparison, proof-assistant formalization, worked examples, and documentation. Funding such work would support evaluation and development; it would not itself establish that the theory is correct or important.

Invitation to independent reviewers

Mathematicians working in general topology, semigroup theory, category theory, enriched categories, ordered algebra, or formalized mathematics are invited to examine the work critically. Negative reviews, counterexamples, corrections, and comparisons with prior literature are as useful as positive assessments.

If you would like to publish a signed or attributed assessment, see our Independent Review page. A useful review should identify the exact manuscript/version examined, state the reviewer’s relevant expertise, distinguish verified results from unverified claims, and give concrete mathematical reasons for its conclusions.

Primary sources and background

• Victor Porton, On Ordered Semicategory Actions, preprint, January 2026.
• Victor Porton, Algebraic General Topology, Volume 1.
• nLab: Semicategory — background on the standard notion of a category without required identities.
• nLab: Enriched Category — background on categories whose morphism collections carry additional structure.
• Victor Porton’s ORCID record.

Conclusion

Ordered semicategory actions are a concrete, publicly inspectable mathematical proposal, not merely an idea described in fundraising language. The strongest defensible claim at present is that they constitute an ambitious algebraic program for unifying structures used in general topology and that the program merits technically serious review.

Whether OSA is actually a bottleneck for mathematics remains an open question. The answer should come from proof checking, comparison with prior work, reproducible examples, formalization, and independent use—not from the author’s confidence in the theory.

If you want to support this validation work and other independent research, you can support Science DAO. Donations help fund research infrastructure and evaluation; they are not evidence for any mathematical claim.