A 2-adjunction between representations and preorder morphisms

LACL); Paul Brunet (UPEC UP12

arxiv: 2604.17942 · v1 · submitted 2026-04-20 · 💻 cs.LO · math.CT

A 2-adjunction between representations and preorder morphisms

Paul Brunet (UPEC UP12 , LACL) This is my paper

Pith reviewed 2026-05-10 03:48 UTC · model grok-4.3

classification 💻 cs.LO math.CT

keywords representationspreorder morphisms2-adjunctioncategory theoryorder theoryunification

0 comments

The pith

Representations connect to preorder morphisms through a 2-adjunction.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a 2-adjunction between the model of representations and the classical model of preorder morphisms, which are maps between sets with reflexive transitive relations that preserve those relations in a natural way. This link is meant to justify representations by placing them in a tight, non-trivial relation to established order-theoretic objects. A sympathetic reader would care because the adjunction suggests that known facts about order-preserving maps can transfer to representations, unifying two approaches to the same underlying structures.

Core claim

Representations are related to preorder morphisms through a 2-adjunction. The adjunction consists of functors between the corresponding categories together with unit and counit natural transformations that satisfy the required triangle identities at the 2-categorical level.

What carries the argument

The 2-adjunction, a pair of functors equipped with unit and counit satisfying the triangle identities in a 2-category, which establishes the precise correspondence between representations and preorder morphisms.

If this is right

Representations receive additional justification because they stand in a tight, non-trivial relation to a classical construction.
Results about order-preserving maps may carry over to representations via the adjunction.
The two models can be used interchangeably for certain questions once the adjunction is established.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

One could now attempt to translate specific theorems about monotone functions into statements about representations.
The adjunction may suggest how to extend representations with additional structure that already exists on the preorder side.

Load-bearing premise

The chosen definitions of representations and the natural preservation properties required of preorder morphisms are compatible enough to allow the functors, unit, and counit of the 2-adjunction to be defined and verified.

What would settle it

An explicit counterexample in which the unit or counit fails one of the triangle identities for a concrete representation or a concrete preorder morphism would falsify the claimed 2-adjunction.

read the original abstract

The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''classical'' model through a 2-adjunction. The target model is that of preorder morphisms, i.e. maps between sets equipped with reflexive and transitive relation that satisfy some natural preservation property. The aim of this is two-fold: first, this provides in my opinion a further justification of representations, as an object in non-trivial yet tight connection to some natural constructs; and secondly it suggests some classical results about order preserving maps could have interesting consequences for representations. This work has been presented (but not published or peer-reviewed) at RAMiCS 2026.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Brunet shows a 2-adjunction between representations and preorder morphisms, which ties the newer model to a classical one without obvious gaps in the construction.

read the letter

Brunet shows a 2-adjunction between representations and preorder morphisms, which ties the newer model to a classical one without obvious gaps in the construction. The paper defines representations, recalls preorder morphisms with their preservation properties, builds the two functors, and verifies the 2-naturality of the unit and counit plus the triangle identities. The stress-test note confirms the argument runs without internal inconsistency or missing steps, so the claim holds up on the details provided. This does the job of giving representations a non-trivial link to something standard in order theory, which justifies the model and opens the door to moving results across. The work stays clear of circularity by treating the classical side as independent. The soft spots are limited. The paper stops at establishing the adjunction and does not yet translate any specific classical theorems into new statements about representations or supply worked examples of what the connection buys. That keeps the payoff somewhat prospective rather than demonstrated. The scope stays narrow inside categorical logic and order theory, so readers outside that corner will not find much to use. This is for people already following representations or working with 2-categories and preorders. A specialist who knows the background can read it quickly and see how the models sit together. It deserves serious peer review because the construction is concrete and checkable; referees can focus on whether more applications would strengthen the case rather than whether the core math is sound.

Referee Report

0 major / 2 minor

Summary. The manuscript claims to establish a 2-adjunction between the 2-category of representations (recently introduced) and the 2-category of preorder morphisms, where the latter consist of maps between sets equipped with reflexive and transitive relations satisfying natural preservation properties. It defines the relevant structures, constructs the two functors, and verifies the 2-adjunction by checking 2-naturality of the unit and counit together with the triangle identities.

Significance. If the construction is correct, the result embeds the representation model into a non-trivial categorical relationship with classical preorder theory. This supplies independent justification for representations and opens the possibility of transferring theorems about order-preserving maps to the representation setting. The explicit verification of the 2-categorical data (unit/counit naturality and triangles) is a concrete strength.

minor comments (2)

[Abstract] Abstract: the phrasing 'some natural preservation property' is vague; a one-sentence indication of the preservation condition (e.g., monotonicity with respect to the preorder) would make the target category clearer without lengthening the abstract.
[Construction] The manuscript would benefit from an explicit statement of the 2-categories involved (objects, 1-cells, 2-cells) at the beginning of the construction section, even if they are standard.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and for recommending acceptance. We appreciate the recognition that the explicit verification of the 2-categorical data provides independent justification for the representation model and its connection to classical preorder theory.

Circularity Check

0 steps flagged

No significant circularity: self-contained categorical construction

full rationale

The paper defines representations and the category of preorder morphisms with their preservation properties, then explicitly constructs the two functors and verifies the 2-adjunction (unit/counit 2-naturality and triangle identities) by direct calculation. No load-bearing step reduces to a fitted parameter, self-citation chain, or definitional renaming; the result is a standard proof of an adjunction between two independently motivated categories. The reference to the 'recently introduced' model of representations is merely motivational background and does not serve as an unverified premise for the adjunction itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract. The result rests on the definitions of representations and preorder morphisms, but these are not detailed here.

pith-pipeline@v0.9.0 · 5414 in / 1075 out tokens · 44720 ms · 2026-05-10T03:48:44.032282+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

{ b′ | b y b ′} ) = (i dA, ∈ ) ◦ ( i dA, ⊆ ; λb

ε ◦ /R.kali η ⩾ i d/R.kali p ε ◦ /R.kali η = (i dA, ∈ ) ◦ /R.kali ( i dA, λb. { b′ | b y b ′} ) = (i dA, ∈ ) ◦ ( i dA, ⊆ ; λb. { b′ | b y b ′} ∗ ) = (i dA, ∈ ) ◦ ( i dA, ∈ \ ( ∈ ; λb. { b′ | b y b ′} ∗ )) = (i dA, ∈ ) ◦ (i dA, ∈ \ y) = (i dA ◦ i dA, ∈ ; ∈ \ y) = (i dA, y) ⩾ (i dA, 1B) = i d/R.kali p

work page
[2]

{ Y | X ⊆ Y} ) = (i dS, /M.kali∈ ) ◦ (i dS, λX

/M.kali ε ◦ η = i d/M.kali R /M.kali ε ◦ η = /M.kali (i dS, ∈ ) ◦ (i dS, λX. { Y | X ⊆ Y} ) = (i dS, /M.kali∈ ) ◦ (i dS, λX. { Y | X ⊆ Y} ) = (i dS, /M.kali∈ ◦ λX. { Y | X ⊆ Y} ) T o conclude we need to show that /M.kali∈◦ λX. { Y | X ⊆ Y} = i d2M. Because these are functions with 2 M as codomain, their equality is equivalent to [ ∈ ; (/M.kali∈ ◦ λX. { Y ...

work page

[1] [1]

{ b′ | b y b ′} ) = (i dA, ∈ ) ◦ ( i dA, ⊆ ; λb

ε ◦ /R.kali η ⩾ i d/R.kali p ε ◦ /R.kali η = (i dA, ∈ ) ◦ /R.kali ( i dA, λb. { b′ | b y b ′} ) = (i dA, ∈ ) ◦ ( i dA, ⊆ ; λb. { b′ | b y b ′} ∗ ) = (i dA, ∈ ) ◦ ( i dA, ∈ \ ( ∈ ; λb. { b′ | b y b ′} ∗ )) = (i dA, ∈ ) ◦ (i dA, ∈ \ y) = (i dA ◦ i dA, ∈ ; ∈ \ y) = (i dA, y) ⩾ (i dA, 1B) = i d/R.kali p

work page

[2] [2]

{ Y | X ⊆ Y} ) = (i dS, /M.kali∈ ) ◦ (i dS, λX

/M.kali ε ◦ η = i d/M.kali R /M.kali ε ◦ η = /M.kali (i dS, ∈ ) ◦ (i dS, λX. { Y | X ⊆ Y} ) = (i dS, /M.kali∈ ) ◦ (i dS, λX. { Y | X ⊆ Y} ) = (i dS, /M.kali∈ ◦ λX. { Y | X ⊆ Y} ) T o conclude we need to show that /M.kali∈◦ λX. { Y | X ⊆ Y} = i d2M. Because these are functions with 2 M as codomain, their equality is equivalent to [ ∈ ; (/M.kali∈ ◦ λX. { Y ...

work page