pith. sign in

arxiv: 2404.08835 · v3 · submitted 2024-04-12 · 🧮 math.CT

Transposing cartesian and other structure in double categories

Evan Patterson This is my paper

Pith reviewed 2026-05-24 02:27 UTC · model grok-4.3

classification 🧮 math.CT
keywords double categoriescartesian bicategoriesequipmentstranspositioncompanionsconjointsfinite productscategory theory
0
0 comments X

The pith

Every double category with iso-strong finite products has an underlying cartesian bicategory.

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

The paper connects two formalisms for cartesian structure on morphisms such as relations and spans. Double categories capture these structures through universal properties, while bicategories supply a different but related language. The central result shows that a transposition operation, built from companions and conjoints, converts the double-categorical data into bicategorical data whenever the double category satisfies the iso-strong finite products condition. This link was previously known only in special cases. A reader cares because the result supplies a systematic way to move between the two settings without losing the cartesian features.

Core claim

Every double category with iso-strong finite products, and in particular every cartesian equipment, possesses an underlying cartesian bicategory. The construction proceeds by transposing the relevant natural transformations and adjunctions, extending prior work on companions and conjoints to produce the bicategorical structure directly from the double-categorical one.

What carries the argument

Transposition of natural transformations and adjunctions between double categories, built on companions and conjoints.

If this is right

  • Cartesian equipments now carry an induced cartesian bicategory structure.
  • Universal properties expressed in double categories for relations and spans translate into bicategorical universal properties.
  • The same transposition applies to other double-categorical structures beyond the cartesian case.
  • Natural transformations and adjunctions in double categories can be systematically moved to the bicategorical setting.

Where Pith is reading between the lines

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

  • The transposition technique may apply to structures weaker than iso-strong products if suitable weakenings of companions and conjoints are identified.
  • Similar transpositions could relate double categories to other one-dimensional categorical structures such as virtual equipments.
  • The result suggests a general pattern for moving between n-fold categories and their lower-dimensional shadows when appropriate product-like axioms hold.

Load-bearing premise

The double category must possess iso-strong finite products rather than merely ordinary finite products.

What would settle it

A concrete double category that has only ordinary finite products yet fails to produce a cartesian bicategory under the transposition construction.

read the original abstract

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program of cartesian bicategories, the precise relationship between the double-categorical and bicategorical approaches has so far remained mysterious, except in special cases. We provide a formal connection by showing that every double category with iso-strong finite products, and in particular every cartesian equipment, has an underlying cartesian bicategory. To do so, we develop broadly applicable techniques for transposing natural transformations and adjunctions between double categories, extending a line of previous work rooted in the concepts of companions and conjoints.

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 paper proves that every double category equipped with iso-strong finite products admits an underlying cartesian bicategory obtained by transposing the product data. It first develops general lemmas for transposing natural transformations and adjunctions between double categories (extending prior work on companions and conjoints), then applies these lemmas to the universal diagrams that define iso-strong finite products. The result specializes to show that every cartesian equipment has an underlying cartesian bicategory.

Significance. If the central theorem holds, the work supplies a precise formal bridge between cartesian double categories and cartesian bicategories, clarifying a relationship that had remained open except in special cases. The transposition techniques for natural transformations and adjunctions constitute a broadly reusable contribution to double-category theory. The manuscript delivers a structured formal theorem whose proof outline relies on established concepts without introducing free parameters, ad-hoc axioms, or evident circularity.

minor comments (2)
  1. [Main theorem section] The statement of the main theorem (presumably in §4 or §5) would benefit from an explicit numbered display of the transposed bicategory structure (objects, 1-cells, 2-cells, and the cartesian data) to make the transposition map fully concrete for readers.
  2. [§3 or §4] Notation for the iso-strong product diagrams (e.g., the universal cones and the strength isomorphisms) should be introduced with a dedicated preliminary subsection before the transposition lemmas are applied, to improve readability of the proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. The report correctly identifies the core contribution: a formal bridge via transposition between double categories with iso-strong finite products and cartesian bicategories, building on companions and conjoints. No major comments were listed in the report.

Circularity Check

0 steps flagged

No circularity; derivation is self-contained

full rationale

The paper states a theorem that every double category with iso-strong finite products admits an underlying cartesian bicategory via transposition. It first proves general lemmas on transposing natural transformations and adjunctions (building on the established notions of companions and conjoints), then applies those lemmas to the universal diagrams defining the products. No step reduces a claimed prediction or result to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claim follows from the stated hypotheses and the developed transposition techniques without circular reduction. This is a standard category-theoretic derivation with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of double categories and bicategories plus the definition of iso-strong finite products; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Double categories and bicategories obey the standard axioms of categories (associativity and units for horizontal and vertical composition).
    Invoked as background throughout the development of transposition techniques.
  • domain assumption Iso-strong finite products are defined in a manner compatible with the double-categorical structure so that the underlying bicategory inherits cartesian properties.
    This is the key hypothesis of the main theorem.

pith-pipeline@v0.9.0 · 5626 in / 1217 out tokens · 22486 ms · 2026-05-24T02:27:17.499886+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · 6 internal anchors

  1. [1]

    Cartesian Double Categories with an Emphasis on Characterizing Spans

    arXiv:1809.06940. [BL03] John C. Baez and Laurel Langford. “Higher-dimensional algebra IV: 2-tangles”.Advances in Mathematics180.2 (2003), pp. 705–764.doi: 10.1016/S0001- 8708(03)00018-

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0001- 2003

  2. [2]

    Higher-Dimensional Algebra IV: 2-Tangles

    arXiv:math/9811139. 34 [Bor94] Francis Borceux.Handbook of categorical algebra. 3 volumes. Cambridge University Press, 1994.doi:10.1017/CBO9780511525858. [BS76] Ronald Brown and Christopher B. Spencer. “Double groupoids and crossed modules”. Cahiers de topologie et géométrie différentielle catégoriques17.4 (1976), pp. 343–362. [Car+08] Aurelio Carboni, G....

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/cbo9780511525858 1994

  3. [3]

    Enriched categories as a free cocompletion

    Lecture Notes in Mathematics. Springer, 1974.doi:10.1007/BFb0061280. [GS16] Richard Garner and Michael Shulman. “Enriched categories as a free cocompletion”. Advances in Mathematics289 (2016), pp. 1–94.doi:10.1016/j.aim.2015.11.012 . arXiv:1301.3191. [HS19] Linde Wester Hansen and Michael Shulman. “Constructing symmetric monoidal bicate- gories functorial...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bfb0061280 1974

  4. [4]

    Giunti and C

    doi:10.1093/oso/9780198871378.001.0001. arXiv:2002.06055. [Lac10] Stephen Lack. “A 2-categories companion”.Towards higher categories. Ed. by John C. Baez and J. Peter May. Springer, 2010, pp. 105–191.doi:10.1007/978-1-4419-1524- 5_4. [Lam22] Michael Lambert. “Double categories of relations”.Theory and Applications of Categories 38.33 (2022), pp. 1249–1283...

    work page doi:10.1093/oso/9780198871378.001.0001 2002

  5. [5]

    Fibrations of predicates and bicategories of relations

    arXiv:1502.08017. [LS12] Stephen Lack and Michael Shulman. “Enhanced 2-categories and limits for lax mor- phisms”.Advances in Mathematics229.1 (2012), pp. 294–356.doi:10.1016/j.aim. 2011.08.014. arXiv:1104.2111. 35 [LWW10] Stephen Lack, Robert F.C. Walters, and Richard J. Wood. “Bicategories of spans as cartesian bicategories”.Theory and Applications of C...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim 2012

  6. [6]

    Pseudo-categories

    arXiv: 0910 . 2996.url: http : / / www . tac . mta . ca / tac / volumes / 24 / 1 / 24 - 01abs.html. [Mar06] Nelson Martins-Ferreira. “Pseudo-categories”.Journal of Homotopy and Related Struc- tures1.1 (2006), pp. 47–78. arXiv:math/0604549. [Par09] Robert Paré. “Coherent theories as double Lawvere theories”. International Category Theory Conference (CT 200...

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  7. [7]

    Constructing symmetric monoidal bicategories

    url: https://golem.ph.utexas.edu/category/2009/12/the_problem_with_lax_ functors.html. [Shu10] Michael Shulman. “Constructing symmetric monoidal bicategories” (2010). arXiv:1004

    work page 2009

  8. [8]

    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. [Tri09] Todd Trimble.Cartesian bicategories. Revision

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  9. [9]

    2009.url: https://web

    nLab. 2009.url: https://web. archive . org / web / 20251116144139 / https : / / ncatlab . org / nlab / revision / cartesian+bicategory/26. [Tri23] Todd Trimble.Comonoid homomorphisms in the bicategory of profunctors. Retrieved December

    work page 2009

  10. [10]

    Enriched categories, internal categories and change of base

    MathOverflow. 2023.url:https://mathoverflow.net/q/459907. [Ver92] Dominic Verity. “Enriched categories, internal categories and change of base”. Re- published inReprints in Theory and Applications of Categories, No. 20 (2011), pp. 1–266. PhD thesis. Cambridge University, 1992.url:http://www.tac.mta.ca/tac/ reprints/articles/20/tr20abs.html. [Woo82] Richar...

    work page 2023