arxiv: 2604.22370 · v1 · submitted 2026-04-24 · 🧮 math.CT

Recognition: unknown

Presheaves and cocompletions in formal category theory

Dylan McDermott, Nathanael Arkor

Pith reviewed 2026-05-08 08:50 UTC · model grok-4.3

classification 🧮 math.CT

keywords presheavescocompletionsvirtual equipmentsweighted colimitsenriched category theoryformal category theoryatomicityrecognition theorems

0 comments

The pith

In virtual equipments satisfying mild assumptions, presheaf constructions exhibit free cocompletions under classes of weights.

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

The paper establishes a coincidence between presheaf constructions and free cocompletions in the setting of virtual equipments. It shows that, under mild assumptions on the equipment, presheaf objects serve as the free cocompletions for given classes of weights. This matters because it extends the theory of weighted colimits from ordinary enriched category theory to this more general formal setting. The work develops atomicity and rank, supplies recognition theorems, and applies the results to construct free cocompletions for categories enriched in monoidal categories or bicategories, including possibly large ones and non-symmetric cases.

Core claim

In a virtual equipment satisfying mild assumptions, free cocompletions under classes of weights are exhibited by presheaf constructions. The theory of weighted colimits extends to this setting through the development of atomicity and rank, together with recognition theorems for presheaf objects, free cocompletions, and cocomplete objects. As an application, free cocompletions under arbitrary classes of colimit-small weights are constructed for possibly large categories enriched in not necessarily symmetric monoidal categories and bicategories.

What carries the argument

The presheaf construction in a virtual equipment, which exhibits free cocompletions under classes of weights while supporting an extended theory of weighted colimits.

If this is right

Free cocompletions under arbitrary colimit-small weights become constructible for categories enriched in monoidal categories.
The same constructions apply to categories enriched in bicategories, including non-symmetric monoidal cases.
Recognition theorems based on atomicity and rank identify presheaf objects and cocomplete objects in the virtual-equipment setting.
Weighted colimits extend beyond classical enriched category theory to virtual equipments.

Where Pith is reading between the lines

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

The results could streamline explicit constructions of cocompletions when working with specific enrichments such as topological spaces or simplicial sets.
Similar recognition techniques might apply to other formal settings that generalize equipments, such as double categories or higher categories.
The unification suggests that many existing presheaf-based constructions in enriched settings are already free cocompletions without further proof.

Load-bearing premise

The virtual equipment satisfies mild assumptions that allow presheaf constructions to exhibit free cocompletions and support the extension of weighted colimits.

What would settle it

Finding a virtual equipment meeting the mild assumptions in which the presheaf construction fails to be the free cocompletion for some class of weights would falsify the central claim.

read the original abstract

We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment satisfying mild assumptions, free cocompletions under classes of weights are exhibited by presheaf constructions. We furthermore extend the theory of weighted colimits from enriched category theory to this setting, developing the concepts of atomicity and rank, and providing recognition theorems for presheaf objects, free cocompletions, and cocomplete objects. As an application of our methods, we construct free cocompletions, under arbitrary classes of colimit-small weights, of (possibly large) categories enriched in (not necessarily symmetric) monoidal categories and bicategories; this resolves a longstanding omission in the literature on enriched category theory.

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

This paper supplies the missing free cocompletion constructions for large enriched categories in non-symmetric monoidal categories and bicategories by working through virtual equipments and presheaf objects.

read the letter

Arkor and McDermott show that presheaf constructions exhibit free cocompletions under classes of weights once a virtual equipment meets some mild assumptions. They then use this to handle free cocompletions for possibly large categories enriched in non-symmetric monoidal categories and in bicategories, cases previous literature skipped. That is the concrete payoff. They also extend weighted colimits to virtual equipments, introduce atomicity and rank, and prove recognition theorems that identify presheaf objects, free cocompletions, and cocomplete objects. The development stays within established formal category theory rather than adding new ad hoc machinery, which keeps the foundations clean. The application section delivers on the abstract claim by covering the omitted cases without obvious size or symmetry obstructions. The main soft spot is the precise content of those mild assumptions. If they quietly require certain weighted colimits or density properties that are not automatic in the target settings, the result becomes narrower than the abstract suggests and could border on circular for some applications. The stress-test note flags this correctly, though the paper's claim to resolve the longstanding omission implies the assumptions hold in the cases of interest. No free parameters or invented entities appear. This work is for people already comfortable with virtual equipments, weighted colimits, and enriched category theory. A reader who needs explicit cocompletion constructions for large non-symmetric or bicategorical enrichments will find the recognition theorems and applications useful. It deserves a serious referee because it addresses a real gap with formal care rather than a routine extension. I would send it to peer review after the assumptions are checked in detail.

Referee Report

2 major / 3 minor

Summary. The manuscript claims that in a virtual equipment satisfying mild assumptions, presheaf constructions exhibit free cocompletions under classes of weights. It extends the theory of weighted colimits from enriched category theory to virtual equipments, develops the notions of atomicity and rank, and supplies recognition theorems for presheaf objects, free cocompletions, and cocomplete objects. As an application, the methods yield free cocompletions under arbitrary classes of colimit-small weights for (possibly large) categories enriched in non-symmetric monoidal categories and in bicategories, addressing a gap in the enriched-category-theory literature.

Significance. If the central results hold under the stated assumptions, the work supplies a unified formal-categorical account of free cocompletions that recovers and extends classical presheaf constructions while covering previously untreated cases (non-symmetric monoidal bases and bicategorical enrichment). The recognition theorems and the explicit construction for large enriched categories constitute the main advance; the paper does not supply machine-checked proofs or parameter-free derivations, but the conceptual unification is a clear strength.

major comments (2)

[§3.2] §3.2, Assumptions (A1)–(A4): the proof of the main universal-property statement (Theorem 4.5) invokes (A3) on the existence of certain weighted limits in the virtual equipment; it is not shown that this assumption is strictly weaker than the cocompleteness one wishes to obtain, raising the possibility that the result is circular for the intended applications to bicategories and non-symmetric monoidal categories.
[§6.1] §6.1–6.2, Application to V-enriched categories: the verification that the standard virtual equipment associated to a non-symmetric monoidal category V satisfies the mild assumptions is only sketched; an explicit check that the Yoneda embedding remains dense and that the required weighted colimits exist without presupposing cocompleteness of the target is missing and is load-bearing for the claim that the construction resolves the longstanding omission.

minor comments (3)

[§2] Notation for the virtual equipment (Definition 2.4) is introduced without a commuting diagram; adding one would clarify the two-sided action and the notion of virtual equipment.
[§5] The statement of the recognition theorem for cocomplete objects (Theorem 5.12) uses the phrase 'colimit-small' without a forward reference to its precise definition in §4.3.
Several citations to earlier formal-category-theory literature (e.g., the treatment of weighted colimits in [reference]) are given only by author-year; full bibliographic details should be supplied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We address the major comments point by point below, indicating the revisions we will make to clarify the arguments and strengthen the exposition.

read point-by-point responses

Referee: [§3.2] §3.2, Assumptions (A1)–(A4): the proof of the main universal-property statement (Theorem 4.5) invokes (A3) on the existence of certain weighted limits in the virtual equipment; it is not shown that this assumption is strictly weaker than the cocompleteness one wishes to obtain, raising the possibility that the result is circular for the intended applications to bicategories and non-symmetric monoidal categories.

Authors: We appreciate the referee's observation regarding potential circularity. Assumptions (A1)–(A4) are imposed directly on the virtual equipment, which functions as the ambient formal structure. In particular, (A3) requires the existence of specific weighted limits internal to the virtual equipment. The cocompleteness results obtained via Theorem 4.5 apply to the objects (e.g., enriched categories) within this structure, not to the equipment itself. In the applications to non-symmetric monoidal categories and bicategories, the virtual equipment is built from the base monoidal category V or the bicategory, where the relevant limits exist by the ordinary limit structure of V (or the bicategory) and do not depend on cocompleteness of any target enriched category. We will revise §3.2 and the discussion surrounding Theorem 4.5 to include an explicit remark and short argument establishing the independence of (A3) from the cocompleteness of the objects under consideration. revision: yes
Referee: [§6.1] §6.1–6.2, Application to V-enriched categories: the verification that the standard virtual equipment associated to a non-symmetric monoidal category V satisfies the mild assumptions is only sketched; an explicit check that the Yoneda embedding remains dense and that the required weighted colimits exist without presupposing cocompleteness of the target is missing and is load-bearing for the claim that the construction resolves the longstanding omission.

Authors: We acknowledge that the verification in §§6.1–6.2 is presented concisely and would benefit from expansion. In the revised manuscript we will supply a fully explicit check that the virtual equipment associated to a non-symmetric monoidal category V satisfies assumptions (A1)–(A4). This will include a direct verification that the Yoneda embedding is dense (in the virtual-equipment sense) and that all weighted colimits and limits required by the assumptions exist in V by virtue of its monoidal structure alone, without any appeal to cocompleteness of the V-enriched categories being cocompleted. The expanded argument will be self-contained and will thereby make rigorous the claim that the construction fills the gap in the enriched-category-theory literature. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation self-contained in formal category theory framework

full rationale

The paper proves that presheaf constructions exhibit free cocompletions under classes of weights in virtual equipments satisfying mild assumptions, then extends weighted colimits, atomicity, rank, and recognition theorems. This is a standard theorem in formal category theory whose steps rely on the definitions of virtual equipments, weights, and colimits as given in the ambient 2-categorical or equipment-theoretic setting. The mild assumptions are stated as hypotheses rather than derived from the conclusion. No equation equates a constructed object to a fitted parameter or renames an input as a prediction. Any citations to prior work (including by the authors) supply independent external grounding in established literature on enriched categories and bicategories rather than forming a self-referential chain that forces the result. The application to enriched categories in non-symmetric monoidal categories is a direct consequence of the general theorem, not a circular specialization. The derivation is therefore self-contained against external benchmarks in category theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the definition of virtual equipment and unspecified mild assumptions, which are domain assumptions from prior formal category theory literature. No free parameters or invented entities are indicated in the abstract.

axioms (1)

domain assumption Virtual equipment satisfies mild assumptions
Invoked in the abstract as the condition under which presheaf constructions exhibit free cocompletions.

pith-pipeline@v0.9.0 · 5433 in / 1256 out tokens · 42517 ms · 2026-05-08T08:50:08.367805+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 2 canonical work pages

[1]

‘Monads need not be endofunctors’

[ACU10] Thorsten Altenkirch, James Chapman and Tarmo Uustalu. ‘Monads need not be endofunctors’. In:International Conference on Foundations of Software Science and Computational Structures. Springer. 2010, pages 297–311 (cited on page 34). [ACU15] Thorsten Altenkirch, James Chapman and Tarmo Uustalu. ‘Monads need not be endofunctors’. In:Logical Methods i...

2010
[2]

[ASS25] Nathanael Arkor, Philip Saville and Andrew Slattery.Bicategories of algebras for relative pseudomonads

Cambridge University Press, 2010 (cited on page 24). [ASS25] Nathanael Arkor, Philip Saville and Andrew Slattery.Bicategories of algebras for relative pseudomonads

2010
[3]

[BC82] Renato Betti and Aurelio Carboni

arXiv: 2501.12510 (cited on pages 36–38). [BC82] Renato Betti and Aurelio Carboni. ‘Cauchy-completion and the associated sheaf’. In: Cahiers de topologie et géométrie différentielle23.3 (1982), pages 243–256 (cited on page 54). [BC83] Renato Betti and Aurelio Carboni. ‘Notion of topology for bicategories’. In:Cahiers de topologie et géométrie différentiel...

work page arXiv 1982
[4]

Federigo Enriques

1981, pages 8–12 (cited on page 55). [BW85] Renato Betti and Robert F.C. Walters.Closed bicategories and variable category theory. Universita degli Studi di Milano, Dipartimento di Matematica “Federigo Enriques”, 1985 (cited on page 54). [BW87] R. Betti and R. F. C. Walters. ‘On completeness of locally-internal categories’. In: Journal of Pure and Applied...

1981
[5]

[Fre68] Peter Freyd

Harper & Row New York, 1964 (cited on page 31). [Fre68] Peter Freyd. ‘Several new concepts: lucid and concordant functors, pre-limits, pre- completeness, the continuous and concordant completions of categories’. In:Category Theory, Homology Theory and Their Applications III: Proceedings of the Conference held at the Seattle Research Center of the Battelle...

1964
[6]

Springer, 1974 (cited on page 2)

Lecture Notes in Mathematics. Springer, 1974 (cited on page 2). [GS16] Richard Garner and Michael A. Shulman. ‘Enriched categories as a free cocompletion’. In:Advances in Mathematics289 (2016), pages 1–94 (cited on pages 53, 61, 62). [GU71] Peter Gabriel and Friedrich Ulmer.Lokal präsentierbare kategorien. Springer-Verlag, 1971 (cited on pages 24, 25, 53)...

1974
[7]

[KK81] G

Cambridge University Press, 1982 (cited on pages 2–4, 9, 19, 24, 26, 28, 31, 34, 35, 41, 47, 49–51, 53). [KK81] G. M. Kelly and V. Koubek. ‘The large limits that all good categories admit’. In: Journal of Pure and Applied Algebra22.3 (1981), pages 253–263 (cited on pages 9, 48). [Koc67] Anders Jungersen Kock. ‘Limit monads in categories’. PhD thesis. The ...

1982
[8]

[Mar97] Francisco Marmolejo

arXiv: math/0306109 (cited on page 24). [Mar97] Francisco Marmolejo. ‘Doctrines whose structure forms a fully faithful adjoint string’. In:Theory and applications of categories3.2 (1997), pages 24–44 (cited on page 37). [Par13] Robert Paré. ‘Composition of modules for lax functors’. In:Theory and Applications of Categories27.16 (2013), pages 393–444 (cite...

work page arXiv 1997
[9]

[Shu13] Michael A

Cam- bridge University Press, 2022 (cited on page 9). [Shu13] Michael A. Shulman. ‘Enriched indexed categories’. In:Theory and Applications of Categories28.21 (2013), pages 616–695 (cited on pages 3, 22, 23, 38, 49, 50). [Str74] Ross Street. ‘Fibrations and Yoneda’s lemma in a 2-category’. In:Category seminar. Springer. 1974, pages 104–133 (cited on page ...

2022
[10]

[Wal81] Robert F

(cited on pages 3, 31). [Wal81] Robert F. C. Walters. ‘Sheaves and Cauchy-complete categories’. In:Cahiers de topologie et géométrie différentielle catégoriques22.3 (1981), pages 283–286 (cited on pages 2, 3). [Wal82] Robert F. C. Walters. ‘Sheaves on sites as Cauchy-complete categories’. In:J. Pure Appl. Algebra24.1 (1982), pages 95–102 (cited on pages 2...

1981