Pith. sign in

REVIEW 2 major objections 4 minor 7 references

Twisted double functors and loosely discrete opfibrations

T0 review · 2 major / 4 minor · reviewed 2026-07-10 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Twisted double functors and loosely discrete opfibrations give two equivalent models of loose copresheaves on double categories.

desk verdict Solid foundational infrastructure for loose copresheaves: new twisted functors, loosely discrete opfibrations, and a carefully proved object-level equivalence, with the collage story correctly left as a conjecture. read the letter →

arxiv 2607.06823 v1 pith:P6ROJXRD submitted 2026-07-07 math.CT

Michael Lambert , David Jaz Myers , Evan Patterson This is my paper
classification math.CT MSC 18N1018D3018A40
keywords doublecategoriestwistedfunctorslooselydiscreteopfibrationscopresheaveselementsconstructionbarrelscollageprofunctors
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Double categories have two directions of morphisms—tight (function-like) and loose (relation- or module-like). Standard double-categorical Yoneda theory tracks only tight morphisms. This paper builds the missing loose counterpart. It defines twisted double functors, maps that swap the two directions and carry composition comparisons both ways, and uses them to form twisted copresheaves valued in profunctors. The same idea appears fibrationally as loosely discrete opfibrations: double functors that are discrete only in the loose direction, up to equivalence of categories rather than isomorphism. The paper proves that twisted copresheaves and cloven loosely discrete opfibrations correspond via an elements construction and its pseudo-inverse. A parallel collage construction relates twisted bimodules to double barrels (double categories over the walking loose arrow). The result supplies the foundational language needed for a loose Yoneda lemma, for loose compact closure, and for indexing open systems by double categories of interfaces.

What carries the argument

The elements construction that turns a twisted copresheaf into a cloven loosely discrete opfibration, together with its pseudo-inverse that recovers a unitary twisted functor from any such opfibration (and the collage that sends twisted bimodules to double barrels).

What would settle it

Exhibit a concrete double category B and a twisted normal lax functor B ↪ Prof whose category of elements fails to be loosely discrete, or a cloven loosely discrete opfibration whose associated twisted functor is not isomorphic (via invertible natural transformation) to the original copresheaf.

Watch

Extended reading notes

Core claim

Profunctor-valued twisted normal lax functors (twisted copresheaves) on a double category B are equivalent to cloven loosely discrete opfibrations over B. Every twisted copresheaf arises, up to invertible strict natural transformation, as the twisted functor associated to a cloven loosely discrete opfibration; every such opfibration is weakly equivalent over B to the category of elements of its associated twisted functor. The same data are also equivalent to pseudo-algebras for the pull-push monad of B.

Load-bearing premise

A loosely discrete opfibration must be equipped with a cleavage that is a left-adjoint-right-inverse split equivalence whose target composite is a full pseudo-algebra for the base pull-push monad; without that algebraic package the two sides of the correspondence do not round-trip.

Editorial extensions

If this is right

  • A genuine loose Yoneda embedding and lemma for double categories can now be stated, with twisted representables playing the role of ordinary representables.
  • Loose compact closure and *-autonomy for double categories can be axiomatized using twisted Hom and twisted adjunctions rather than ordinary ones.
  • Open dynamical systems and structured cospans become algebras for twisted representables of double categories of interfaces and wiring patterns.
  • Twisted bimodules and double barrels become interchangeable models of loose bimodules, once the collage–sections equivalence is completed.
  • An elementary theory of flatness and geometric morphisms for double toposes can begin from the pull-push algebras that classify loosely discrete opfibrations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same twisting pattern should apply to other asymmetric 2-dimensional structures (e.g., virtual double categories or multicategories), yielding analogous “twisted” notions of copresheaf and fibration.
  • Once the 2-categorical correspondence is fully developed, the slice 2-category of cloven loosely discrete opfibrations over B will inherit a model structure or factorization system mirroring the ordinary discrete-opfibration case.
  • The collage conjecture, if true, would give a concrete presentation of the free double category generated by a twisted bimodule, useful for computation in systems theory.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper introduces twisted double functors (lax in the tight-to-loose direction and at least pseudo in the loose-to-tight direction) as a model of morphisms that exchange tight and loose structure, and uses them to define twisted copresheaves as normal lax functors into Prof. It constructs the twisted Hom, twisted representables, and many examples (self-indexing, subobjects, copresheaves, systems-theoretic actions). It then defines loosely discrete opfibrations as double functors for which the canonical map to the pullback of source along the object part is a weak equivalence of categories, equips them with cleavages that are LARI split equivalences whose target composite is a pseudo-algebra for the pull-push monad, and proves an object-level equivalence with twisted copresheaves via an elements construction and its pseudo-inverse (Propositions 6.9, 6.14; Corollary 6.19). A parallel comparison of twisted bimodules with double barrels via sections and collage is developed, with the full equivalence left as Conjecture 5.1.

Significance. If the object-level correspondence holds as claimed, the paper supplies the missing foundational language for a loose Yoneda theory, for parameterized loose adjunctions needed in compact closure of double categories of relations/profunctors, and for the double-operadic organization of open systems already used in applied work. The constructions are explicit, the cleavage algebra is stated carefully rather than hidden, and the collage equivalence is correctly flagged as a conjecture. The work therefore opens a coherent research program rather than merely renaming existing notions.

major comments (2)
  1. The central claim is only an object-level equivalence (Propositions 6.9 and 6.14, Corollary 6.19). The 2-categorical structure of twisted functors (natural transformations, modifications, relative modifications) is developed in Section 4, yet the elements correspondence is never lifted to morphisms or 2-cells; Remark 4.7 explicitly notes that induced maps of opfibrations need not preserve cleavages. For a journal paper whose abstract advertises an equivalence of models, either a 2-functorial statement (even if only for a restricted class of morphisms) or a sharper delimitation of the claim is needed.
  2. Conjecture 5.1 asserts that Sec and Col are mutually inverse 2-functors between double barrels and twisted bimodules. The constructions are given in detail (5.2–5.13), but the coherence argument that recovers the original comparison cells of a twisted bimodule after round-tripping is only sketched. Either a complete proof of the conjecture or a reduction of the remaining coherence to a known principle for twisted functors should be supplied; otherwise the comparison of models remains incomplete.
minor comments (4)
  1. Definition 2.1 is long; a short summary table of which comparison cells are required to be invertible for each variant (doubly lax / lax / normal / unitary / pseudo) would help the reader.
  2. In Construction 3.18 the well-definition equation for cells is given only diagrammatically; the component form in Remark 3.19 is clearer and could be promoted to the main text.
  3. Several applications (loose compact closure, systems theory) are motivational only; a single fully worked example that recovers a known adjunction or wiring-diagram action would strengthen the introduction.
  4. Typographical consistency: “proarrow” vs “pro-arrow”, and occasional missing spaces after punctuation in long pasting diagrams.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: pure definitional constructions with explicit round-tripping proofs, no fitted inputs or load-bearing self-citation reductions.

full rationale

The paper introduces twisted double functors (Def. 2.1), twisted copresheaves, loosely discrete opfibrations (Def. 3.1), and cleavages as LARI split equivalences whose target is a pseudo-algebra for the pull-push monad (Def. 3.11). It then gives an elements construction (Constr. 3.18) producing a cloven loosely discrete opfibration from a twisted lax functor, a pseudo-inverse Tw(P) construction (Prop. 6.5) in the other direction, and shows they round-trip: every normal twisted copresheaf is isomorphic via an invertible strict natural transformation to Tw of its elements (Prop. 6.9), and every cloven loosely discrete opfibration is weakly equivalent over the base to the elements of its associated twisted functor (Prop. 6.14). These are explicit, self-contained constructions and verifications inside the paper; the algebraic package of the cleavage is stated as an assumption needed for the comparisons and is not smuggled from a prior uniqueness theorem. Self-citations (e.g., LP24, Mye21, LM25, Par11) supply motivation, examples, and background on double categories/modules; they are not used as the sole justification for any load-bearing step of the equivalence. The collage comparison is correctly left as Conjecture 5.1. There are no fitted parameters, no empirical predictions, and no reduction of a claimed theorem to a quantity defined by the same theorem. Score 0 is therefore appropriate.

Assumptions & free parameters 0 free parameters · 4 assumptions · 4 invented entities

The paper works entirely inside standard (pseudo) double category theory and 2-category theory. No free parameters are fitted. Background axioms are the usual coherence for double categories, pseudo-monads, and LARI equivalences. Invented entities are the new morphisms and fibrations that constitute the contribution; they are defined explicitly and compared by constructions rather than postulated as unobservable mediators.

assumptions (4)
  • standard math Double categories are pseudo (associators and unitors for loose composition) unless stated strict; tight composition is strict.
    Standing convention of the paper (Section 1.3); used throughout all constructions.
  • standard math Pullbacks exist in Cat so that the pull-push 2-functor along src then tgt of a double category underlies a pseudo-monad on Cat/B0.
    Construction 3.9; standard for internal discrete opfibrations and their algebras.
  • ad hoc to paper A cleavage is a LARI split equivalence whose target composite is a pseudo-algebra for the pull-push monad, with stated associativity and unitality cells.
    Definition 3.11; the extra algebraic package is required for the elements correspondence to round-trip and is not automatic from discreteness alone.
  • domain assumption Weak equivalence of categories means fully faithful and essentially surjective (not necessarily an adjoint equivalence on the nose).
    Definition 3.1; used to weaken internal discrete opfibrations from isomorphisms to equivalences.
invented entities (4)
  • Twisted double functor (twisted doubly lax / normal lax / pseudo)
    purpose: Morphisms of double categories that send tight arrows to loose proarrows and loose proarrows to tight arrows, with comparison cells in both directions.
    Definition 2.1; central new morphism notion enabling twisted Hom and twisted copresheaves.
  • Loosely discrete opfibration
    purpose: Internal discrete opfibration in Cat weakened so that the canonical map to the pullback is a weak equivalence rather than an isomorphism.
    Definition 3.1; fibrational model of twisted copresheaves.
  • Relative modification
    purpose: 2-cells between twisted functors whose domains may differ, relative to a natural transformation of the mediating double functors.
    Definition 4.16; needed to assemble the 2-category of twisted copresheaves and the embedding of Dbllax.
  • Twisted bimodule / twisted copresheaf
    purpose: Profunctor-valued twisted normal lax functor (on D^co × E or on D) serving as the loose-direction analogue of a double copresheaf.
    Sections 2 and 5.1; the representation side of the main equivalence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Twisted double functors and loosely discrete opfibrations." pith.science (2026). https://pith.science/paper/P6ROJXRD

@misc{pith2026260706823,
  author       = {Pith},
  title        = {Pith review of: Twisted double functors and loosely discrete opfibrations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P6ROJXRD}},
  note         = {Machine review of arXiv:2607.06823}
}
read the original abstract

Various situations in the theory and applications of double categories, ranging from a loose Yoneda theory and loose compact closure to double-operadic systems theory, require a notion of double copresheaf in which the action is by loose morphisms rather than tight ones. In this paper, we develop and compare several models for loose copresheaves on double categories. First, we introduce a new notion of morphism between double categories, called twisted double functors, which send tight morphisms to loose morphisms and vice versa, and use these to define twisted copresheaves. We exhibit numerous examples of twisted double functors, starting with the twisted Hom functor and the twisted representables on a double category. Corresponding to this functorial notion of loose copresheaf is a fibrational one, an internal version of a discrete opfibration that we call a loosely discrete opfibration. We prove that twisted copresheaves and cloven loosely discrete opfibrations are equivalent via an elements construction. Finally, we compare twisted bimodules with double categories over the walking loose arrow, or double barrels, via a collage construction.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    Spectral Mackey functors and equivariant algebraic K-theory (I)

    [Bar17] Clark Barwick. “Spectral Mackey functors and equivariant algebraic K-theory (I)”. Advances in Mathematics304 (2017), pp. 646–727.doi:10.1016/j.aim.2016.08.043. arXiv:1404.0108. [BC20] John C. Baez and Kenny Courser. “Structured cospans”.Theory and Applications of Categories35.48 (2020), pp. 1771–1822. arXiv:1911.04630. [Bro+25] Jason Brown, Kevin ...

    work page Pith review arXiv doi:10.1016/j.aim.2016.08.043 2017

  2. [2]

    Doubly weak double categories

    arXiv: 2506.23651. [GP04] Marco Grandis and Robert Paré. “Adjoint for double categories”.Cahiers de topologie et géométrie différentielle catégoriques45.3 (2004), pp. 193–240. [Gra19] Marco Grandis.Higher dimensional categories: From double to multiple categories. World Scientific, 2019.doi:10.1142/11406. [Gra66] John W. Gray. “Fibred and cofibred categor...

    work page Pith review arXiv doi:10.1142/11406 2004

  3. [3]

    21–83.doi:10.1007/978-3-642-99902- 4_2

    1966, pp. 21–83.doi:10.1007/978-3-642-99902- 4_2. 81 [Jac99] Bart Jacobs.Categorical logic and type theory. Elsevier, 1999.doi:10.1016/S0049- 237X(98)80028-1. [Joh02] Peter T. Johnstone.Sketches of an elephant: A topos theory compendium. Oxford University Press,

    work page doi:10.1007/978-3-642-99902- 1966

  4. [4]

    Context and the

    doi:10.1093/oso/9780198871378.001.0001. arXiv:2002.06055. [Lac02] Stephen Lack. “Codescent objects and coherence”.Journal of Pure and Applied Algebra 175.1-3 (2002), pp. 223–241.doi:10.1016/S0022-4049(02)00136-6. [Lam21] Michael Lambert. “Discrete double fibrations”.Theory and Applications of Categories 37.22 (2021), pp. 671–708. arXiv:2101.06734. [Lam22]...

    work page doi:10.1093/oso/9780198871378.001.0001 2002

  5. [5]

    Categorical Foundations for K-Theory

    arXiv:1111.3335. [MM92] Sauders Mac Lane and Ieke Moerdijk.Sheaves in geometry and logic: A first introduction to topos theory. Springer, 1992.doi:10.1007/978-1-4612-0927-0. [Mye21] David Jaz Myers. “Double categories of open dynamical systems (extended abstract)”. Proceedings of the Third International Conference on Applied Category Theory (ACT 2020). 20...

    work page Pith review arXiv doi:10.1007/978-1-4612-0927-0 1992

  6. [6]

    Comparing composites of left and right derived functors

    [Shu11] Michael Shulman. “Comparing composites of left and right derived functors”.The New York Journal of Mathematics17 (2011), pp. 75–125. arXiv:0706.2868. [Siq25] José Siqueira. “Double-functorial representation of regular monoidal structures” (2025). arXiv:2508.06637v2. [Spi13] David I. Spivak. “The operad of wiring diagrams: formalizing a graphical l...

    work page Pith review arXiv 2011

  7. [7]

    Yoneda structures from 2-toposes

    [Web07] Mark Weber. “Yoneda structures from 2-toposes”.Applied Categorical Structures15.3 (2007), pp. 259–323.doi:10.1007/s10485-007-9079-2. 83

    work page doi:10.1007/s10485-007-9079-2 2007

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.