pith. sign in

arxiv: 2510.23531 · v2 · submitted 2025-10-27 · 🧮 math.CT

Classifying strict discrete opfibrations with lax morphisms

Matteo Capucci , David Jaz Myers This is my paper

Pith reviewed 2026-05-18 03:30 UTC · model grok-4.3

classification 🧮 math.CT
keywords discrete opfibrationsenhanced 2-categories2-monadslax morphismsclassifiersdouble categoriesmonoidal categoriesfactorization systems
0
0 comments X

The pith

Discrete opfibration classifiers in enhanced 2-categories lift to T-algebra structures under suitable conditions on the monad, letting them classify strict opfibrations via lax morphisms.

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

The paper establishes that discrete opfibration classifiers, when placed in an enhanced 2-category, can be equipped with algebra structure for an enhanced 2-monad T. This structure lets the same object classify strict discrete opfibrations inside the 2-category of T-algebras equipped with lax morphisms. A reader would care because the result unifies existing classifiers across concrete settings such as double categories and monoidal categories, showing that a single loose classifier can govern many strict structures at once. The argument identifies explicit conditions on T and on the classifier that make the lifting possible, and verifies those conditions in a range of standard examples including orthogonal factorization systems and opfamilial 2-monads.

Core claim

Under suitable hypotheses on an enhanced 2-monad T and on a discrete opfibration classifier, the classifier acquires the structure of a (lax or pseudo-)T-algebra and classifies strict discrete opfibrations in the 2-category of (lax or pseudo-)T-algebras and lax morphisms. This produces a notion of discrete opfibration classifier in the enhanced setting in which small strict opfibrations are classified by loose lax maps.

What carries the argument

The discrete opfibration classifier in an enhanced 2-category, lifted to a (lax or pseudo-)T-algebra structure that classifies strict opfibrations via lax morphisms.

If this is right

  • In the 2-category of double categories and lax double functors, Span(Set) classifies strict double discrete opfibrations.
  • The same lifting works for monoidal categories, symmetric monoidal categories, and structures encoded by opfamilial 2-monads.
  • Representable copresheaves are pseudo rather than lax precisely when they satisfy cartesianness at the representing object.

Where Pith is reading between the lines

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

  • The result suggests that many other classifiers arising in 2-category theory may admit similar algebra structures once the right conditions are isolated.
  • The distinction between lax and pseudo algebras may translate into a practical test for when a classifier behaves strictly versus loosely in concrete applications.

Load-bearing premise

The suitable hypotheses on the enhanced 2-monad T and on the discrete opfibration classifier that make the lifting to an algebra structure possible.

What would settle it

A concrete enhanced 2-monad T and classifier for which the stated conditions hold yet the lifted algebra fails to classify the strict opfibrations via lax morphisms, or an example where the lifting succeeds but the classification property does not.

read the original abstract

We study discrete opfibration classifiers in enhanced 2-categories and show how, under suitable hypotheses, such classifiers can be endowed with the structure of a (lax or pseudo-)T-algebra and classify strict discrete opfibrations in 2-categories of (lax or pseudo-)T-algebras and lax morphisms. This leads to a notion of discrete opfibration classifier in the enhanced setting, in which `small' (e.g. strict) discrete opfibrations are classified by `loose' (e.g. lax) maps. We identify conditions on an enhanced 2-monad T and on a discrete opfibration classifier ensuring that this lifting to algebras is possible. These conditions hold in a broad range of examples, including double categories, monoidal and symmetric monoidal categories, orthogonal factorization systems, and, more generally, structures encoded by opfamilial 2-monads. In particular, this recovers and explains the role of Span(Set) as a classifier for strict double discrete opfibrations via lax double functors. We also characterize when representable copresheaves are pseudo rather than merely lax in terms of `cartesianness at the representing object', for an abstract notion of cartesianness we introduce.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript claims that discrete opfibration classifiers in enhanced 2-categories can, under suitable hypotheses on an enhanced 2-monad T and the classifier itself, be equipped with a lax or pseudo T-algebra structure. This structure then classifies strict discrete opfibrations in the 2-category of T-algebras equipped with lax morphisms. The paper identifies these hypotheses, shows they hold for opfamilial 2-monads and various examples (double categories, monoidal categories, orthogonal factorization systems), recovers the Span(Set) classifier for strict double discrete opfibrations, and introduces a notion of cartesianness at the representing object to distinguish pseudo from lax representable copresheaves.

Significance. If the results hold, the work supplies a general lifting mechanism that unifies classification of strict discrete opfibrations across algebraic 2-categories via lax morphisms. The direct construction of the T-algebra structure on the classifier together with the verification of the universal property in the lax-morphism 2-category, the recovery of Span(Set) for double discrete opfibrations, and the abstract cartesianness criterion for pseudo versus lax representables are concrete strengths. The argument relies on standard 2-category and 2-monad theory plus explicit checks for the listed classes of examples; no internal inconsistencies in the lifting diagrams or definitions are apparent.

minor comments (2)
  1. The precise statement of the 'suitable hypotheses' on T and on the discrete opfibration classifier (mentioned in the abstract) would benefit from being isolated as a numbered theorem or proposition in the introduction, with a forward reference to the section where they are verified.
  2. In the examples section, the verification that the conditions hold for opfamilial 2-monads and for the Span(Set) case could include a short diagram or explicit description of the lax algebra structure maps to make the lifting construction more immediately checkable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript, for highlighting its significance in unifying classification results across algebraic 2-categories, and for recommending minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript identifies explicit conditions on an enhanced 2-monad T and a discrete opfibration classifier that permit lifting the classifier to a (lax or pseudo-)T-algebra structure. It then verifies these conditions hold for listed classes of examples (opfamilial 2-monads, double categories, monoidal categories, Span(Set)) by direct construction of the algebra structure and by checking the universal property in the 2-category of T-algebras with lax morphisms. The derivation relies on standard 2-category theory together with independent prior examples; no central step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain. The characterization of pseudo versus lax representable copresheaves via cartesianness at the representing object is likewise introduced and applied directly without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claim depends on standard background from 2-category theory plus domain-specific hypotheses on T and the classifier that are not independently verified in the provided abstract.

axioms (2)
  • standard math Standard axioms and definitions of 2-categories, 2-monads, and discrete opfibrations
    The paper operates inside established 2-categorical machinery.
  • domain assumption Suitable hypotheses on the enhanced 2-monad T and the discrete opfibration classifier
    These hypotheses are invoked to guarantee the lifting result.
invented entities (2)
  • Enhanced 2-category no independent evidence
    purpose: Ambient setting that mixes strict and lax data for classifiers
    Used as the context in which classifiers are studied and lifted.
  • Discrete opfibration classifier in the enhanced setting no independent evidence
    purpose: Object that classifies strict opfibrations via loose maps
    New notion introduced to unify strict and lax classifications.

pith-pipeline@v0.9.0 · 5751 in / 1428 out tokens · 61424 ms · 2026-05-18T03:30:54.089538+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.