Double categories of profunctors

Yuto Kawase

Double categories of profunctors

T0 review · 0 major / 3 minor · reviewed 2026-05-22 · grok-4.3

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

Pith's one-line read Virtual double categories of enriched categories, functors, and profunctors are characterized by a new notion of double-categorical colimits.

desk verdict The paper introduces a new double-categorical colimit to give a strict characterization of the virtual double category of enriched categories, functors, and profunctors. read the letter →

arxiv 2504.11099 v4 pith:XLGC5Z5H submitted 2025-04-15 math.CT

Yuto Kawase This is my paper

classification math.CT

keywords virtualdoublecategoriesenrichedprofunctorsdouble-categoricalcolimitsaugmentedenrichment

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

The paper establishes a characterization of the virtual double category whose objects are enriched categories over a unital virtual double category, with functors as horizontal 1-cells and profunctors as 2-cells. This is done by defining double-categorical colimits that allow reconstructing the structure strictly up to equivalence of virtual double categories and isomorphism of the enriched categories. A sympathetic reader would care because this provides a precise way to understand and work with profunctor compositions in a double-categorical setting, extending beyond traditional bicategorical approaches. The use of augmented virtual double categories ensures consistent visualization of diagrams and better handling of the structures involved.

What carries the argument

Double-categorical colimits, which serve as the mechanism to characterize and reconstruct the virtual double category of enriched categories and profunctors.

What would settle it

Finding a specific example of enriched categories where the double-categorical colimits do not recover the expected virtual double category of profunctors up to the stated equivalences.

Watch

Extended reading notes

Core claim

We characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual double categories and, at the level of objects, up to isomorphism of enriched categories. Throughout the paper, we treat enrichment in a unital virtual double category rather than in a bicategory or a monoidal category, and, for consistency and better visualization of pasting diagrams, we adopt augmented virtual double categories as a fundamental language for double-categorical concepts.

Load-bearing premise

The fundamental language chosen is that of unital virtual double categories for enrichment and augmented virtual double categories for expressing double-categorical concepts.

Editorial extensions

If this is right

The virtual double category of enriched categories and profunctors can be identified precisely via these colimits.
Enrichment can be consistently defined in unital virtual double categories.
The characterization holds strictly at the level of objects up to isomorphism.
Augmented virtual double categories provide a suitable framework for handling pasting diagrams in this context.

Reading between the lines

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

This approach may allow similar characterizations for other structures like double categories of bimodules or other enriched settings.
Readers could test the colimits in concrete cases such as enrichment in a monoidal category to see if it recovers known double categories of profunctors.
Connecting this to existing work on virtual double categories could reveal how colimits interact with other double-categorical constructions.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The core contribution is a new notion of double-categorical colimits that lets the author characterize the virtual double category whose objects are enriched categories, whose vertical arrows are functors, and whose horizontal arrows are profunctors. The characterization is strict: equivalence of virtual double categories and isomorphism at the level of objects. The author works throughout in unital virtual double categories rather than bicategories or monoidal categories, and uses augmented virtual double categories to make pasting diagrams easier to read. That choice is explicit and consistent with the goal of uniform treatment of enrichment data. The new colimit definition appears to be the actual addition, not a restatement of earlier work. The framework choice avoids some of the restrictions that come with bicategorical language, which is a reasonable move if the aim is generality. The main limitation visible from the abstract is that the strength of the result depends on whether the new colimits are defined in a way that directly reproduces the usual profunctor composition and units without extra data or hidden assumptions; that can only be checked in the proofs. The paper stays within a specialized corner of category theory, so its audience is readers already comfortable with virtual double categories and enriched structures who want a uniform double-categorical account. It is coherent on its own terms and presents a precise claim with a clear technical move, so it merits a serious referee even if the final verdict depends on the details of the colimit construction.

Referee Report

0 major / 3 minor

Summary. The paper introduces a new notion of double-categorical colimits and uses it to characterize the virtual double category whose objects are enriched categories, whose vertical arrows are functors, and whose horizontal arrows are profunctors. The characterization is claimed to be strict: it holds up to equivalence of virtual double categories and up to isomorphism of the underlying enriched categories. The development is carried out throughout in the setting of unital virtual double categories, with augmented virtual double categories adopted as the language for pasting diagrams.

Significance. If the central claim is correct, the result supplies a precise, strict characterization of a fundamental virtual double category arising in enriched category theory. Working directly with unital virtual double categories rather than bicategories or monoidal categories increases generality, while the new colimit notion may prove useful for other double-categorical constructions. The strictness of the equivalence (rather than a weaker biequivalence) is a notable strength that could facilitate applications requiring exact identification of objects.

minor comments (3)

The abstract and introduction should explicitly state the precise definition of the new double-categorical colimits (presumably in §3 or §4) so that readers can immediately compare it with existing notions such as weighted colimits in enriched categories.
Notation for the augmented virtual double category structure (e.g., the distinction between vertical and horizontal composition, and the role of the augmentation) should be introduced with a small diagram or table early in the paper to aid visualization of the pasting diagrams used throughout.
A brief comparison with the corresponding characterization when enrichment is taken in a bicategory (rather than a unital virtual double category) would clarify the added value of the more general setting.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation of minor revision. We appreciate the recognition of the strictness of the characterization and the advantages of working in unital virtual double categories.

read point-by-point responses

Referee: The paper introduces a new notion of double-categorical colimits and uses it to characterize the virtual double category whose objects are enriched categories, whose vertical arrows are functors, and whose horizontal arrows are profunctors. The characterization is claimed to be strict: it holds up to equivalence of virtual double categories and up to isomorphism of the underlying enriched categories. The development is carried out throughout in the setting of unital virtual double categories, with augmented virtual double categories adopted as the language for pasting diagrams.

Authors: We confirm that this is an accurate description of the paper's contributions. The new notion of double-categorical colimits is used precisely to obtain the stated strict characterization (up to equivalence of virtual double categories and isomorphism of the underlying enriched categories). The choice of unital virtual double categories as the enrichment base, together with augmented virtual double categories for handling pasting diagrams, is deliberate to achieve greater generality than the bicategorical or monoidal settings while maintaining strictness. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; characterization rests on independently defined colimits

full rationale

The paper introduces a new notion of double-categorical colimits as the central device for characterizing virtual double categories of enriched categories, functors, and profunctors. This definition is presented as original and is not shown to reduce to prior quantities or self-citations within the provided abstract and framework description. The choice of unital virtual double categories and augmented virtual double categories is explicitly adopted for consistency and visualization rather than derived from the target structures. No load-bearing step equates a prediction or result to its own inputs by construction, and the strictness claim (equivalence of virtual double categories, isomorphism on objects) follows directly from the new colimit definition without evident self-referential fitting or renaming. The derivation therefore remains self-contained against external benchmarks.

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

Abstract only; no explicit free parameters, axioms, or invented entities can be extracted beyond the new colimit notion itself.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Double categories of profunctors." pith.science (2026). https://pith.science/paper/XLGC5Z5H

@misc{pith2026250411099,
  author       = {Pith},
  title        = {Pith review of: Double categories of profunctors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XLGC5Z5H}},
  note         = {Machine review of arXiv:2504.11099}
}

read the original abstract

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The familial nature of enrichment over virtual double categories
math.CT 2025-07 conditional novelty 8.0 of 10

Enrichment over virtual double categories yields a familial 2-functor, giving stronger exactness properties than enrichment over monoidal categories or bicategories.

Pith tools

Reviewed May 22, 2026 · model on record in the stance chip above.