pith. sign in

arxiv: 2502.18557 · v3 · submitted 2025-02-25 · 🧮 math.CT

V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases

Rory B. B. Lucyshyn-Wright This is my paper

Pith reviewed 2026-05-23 02:30 UTC · model grok-4.3

classification 🧮 math.CT
keywords V-graded categoriesfunctor categoriesbifunctorsmonoidal categoriesenriched categoriesactegoriesprofunctorsbigaded categories
0
0 comments X

The pith

V-graded categories support functor categories and bifunctors for arbitrary monoidal bases without symmetry.

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

The paper develops a framework for functor categories and bifunctors relative to any monoidal category V, without requiring symmetry, braiding, or duoidal structure. It works by shifting to V-graded categories, which generalize both V-enriched categories and V-actegories as introduced by Wood. The resulting theory yields graded functor categories and bifunctors valued in bigraded categories, with V itself serving as a canonical bigraded object, and recovers V-graded modules as bifunctors along with V-graded presheaf categories as functor categories.

Core claim

By working in the setting of V-graded categories, which generalize both V-enriched categories and V-actegories, the authors construct graded functor categories and graded bifunctors taking values in bigraded categories, noting that V itself is canonically bigraded, and show that this construction applies directly to both enriched categories and actegories over any monoidal V.

What carries the argument

V-graded categories, serving as the ambient setting in which graded functor categories and bifunctors valued in V-W-bigraded categories are defined.

Load-bearing premise

V-graded categories provide a sufficiently general and well-behaved setting to support the construction of graded functor categories and bifunctors without additional structure on V.

What would settle it

An explicit monoidal category V together with V-graded categories A and B for which the proposed graded functor category fails to satisfy the expected universal property or composition laws that hold when V is symmetric.

read the original abstract

In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish a theory of functor categories and bifunctors that is applicable relative to an arbitrary monoidal category V and applies both to V-enriched categories and also to V-actegories. We accomplish this by working in the setting of (V-)graded categories, which generalize both V-enriched categories and V-actegories and were introduced by Wood under the name "large V-categories". We develop a general framework for graded functor categories and graded bifunctors taking values in bigraded categories, noting that V itself is canonically bigraded. We show that V-graded modules (or profunctors) are examples of graded bifunctors and that V-graded presheaf categories are examples of V-graded functor categories. In the special case where V is normal duoidal, we compare the above graded concepts with the enriched bifunctors and functor categories of Garner and L\'opez Franco. Along the way, we study several foundational aspects of graded categories, including a contravariant change of base process for graded categories and a formalism of commutative diagrams in graded categories that arises by freely embedding each V-graded category into a V-actegory.

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 / 3 minor

Summary. The paper develops a general theory of functor categories and bifunctors relative to an arbitrary monoidal category V (no symmetry, braiding, or duoidal structure required) by working in the setting of V-graded categories introduced by Wood. It constructs graded functor categories and bigraded bifunctors, shows that V-graded modules are graded bifunctors and that V-graded presheaf categories are graded functor categories, supplies a contravariant change-of-base for graded categories together with a formalism for commutative diagrams obtained by freely embedding each V-graded category into a V-actegory, and compares the resulting notions to the enriched bifunctors and functor categories of Garner-López Franco when V is normal duoidal. The framework is shown to specialize both to V-enriched categories and to V-actegories.

Significance. If the constructions hold, the work removes a long-standing symmetry requirement from the theory of enriched functor categories and bifunctors, thereby making these tools available for arbitrary monoidal bases. This is particularly useful for applications involving non-symmetric monoidal categories arising in algebra, topology, and higher category theory. The explicit comparison with the duoidal case and the provision of change-of-base and diagram formalisms add concrete value; the manuscript also ships the foundational graded-category machinery needed to support the claims.

minor comments (3)
  1. §2 (or wherever the definition of V-W-bigraded category appears): the notation for the two grading monoidal categories V and W is introduced without an explicit statement of whether the two actions commute or interact; a single clarifying sentence would prevent later ambiguity when bifunctors are defined.
  2. The comparison in the final section with Garner-López Franco would benefit from a short table or diagram listing which notions coincide and which require the duoidal structure, to make the specialization statements immediately checkable.
  3. Several diagrams in the commutative-diagrams subsection are rendered at low resolution; increasing line weight and label size would improve readability without altering content.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our work, the assessment of its significance, and the recommendation for minor revision. No specific major comments appear in the report, so we have no points requiring direct response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper develops explicit definitions and constructions for V-graded functor categories, graded bifunctors, and related structures (including V-graded modules as bifunctors and presheaf categories as functor categories) inside the framework of Wood's V-graded categories, which is cited as external prior work. No step reduces a claimed derivation or prediction to a fitted parameter, self-definition, or load-bearing self-citation chain; comparisons to duoidal cases (Garner-López Franco) and change-of-base formalisms are developed independently without importing uniqueness theorems or ansatzes from overlapping authors. The central results are self-contained mathematical constructions applicable to arbitrary monoidal V.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only provides no explicit list of free parameters, axioms, or invented entities; the central constructions rest on the prior definition of V-graded categories by Wood and the canonical bigrading of V.

pith-pipeline@v0.9.0 · 5789 in / 1230 out tokens · 29404 ms · 2026-05-23T02:30:14.915928+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

45 extracted references · 45 canonical work pages

  1. [1]

    Ad´ amek, H

    J. Ad´ amek, H. Herrlich, and G. E. Strecker,Abstract and concrete categories, John Wiley & Sons Inc., 1990

    work page 1990

  2. [2]

    Aguiar and S

    M. Aguiar and S. Mahajan, Monoidal functors, species and Hopf algebras , Amer- ican Mathematical Society, 2010

    work page 2010

  3. [3]

    H. J. Baues, Algebraic homotopy, Cambridge University Press, Cambridge, 1989

    work page 1989

  4. [4]

    B´ enabou,Cat´ egories relatives, C

    J. B´ enabou,Cat´ egories relatives, C. R. Acad. Sci. Paris 260 (1965), 3824–3827

    work page 1965

  5. [5]

    , Introduction to bicategories, Lecture Notes in Math., vol. No. 47, Springer, 1967, pp. 1–77

    work page 1967

  6. [6]

    Betti, A

    R. Betti, A. Carboni, R. Street, and R. Walters, Variation through enrichment, J. Pure Appl. Algebra 29 (1983), no. 2, 109–127

    work page 1983

  7. [7]

    Booker and R

    T. Booker and R. Street, Tannaka duality and convolution for duoidal categories , Theory Appl. Categ. 28 (2013), No. 6, 166–205

    work page 2013

  8. [8]

    Capucci and B

    M. Capucci and B. Gavranovi´ c, Actegories for the working amthematician , Preprint, arXiv:2203.16351, 2022

    work page arXiv 2022

  9. [9]

    Carboni, S

    A. Carboni, S. Kasangian, and R. Walters, An axiomatics for bicategories of mod- ules, J. Pure Appl. Algebra 45 (1987), no. 2, 127–141. 50

    work page 1987

  10. [10]

    Day, On closed categories of functors , Lecture Notes in Math., vol

    B. Day, On closed categories of functors , Lecture Notes in Math., vol. Vol. 137, Springer, 1970, pp. 1–38

    work page 1970

  11. [11]

    B. Day, E. Panchadcharam, and R. Street, Lax braidings and the lax centre , Con- temp. Math., vol. 441, Amer. Math. Soc., Providence, RI, 2007, pp. 1–17

    work page 2007

  12. [12]

    B. J. Day and G. M. Kelly, Enriched functor categories, Lecture Notes in Math., vol. No. 106, Springer, 1969, pp. 178–191

    work page 1969

  13. [13]

    Egger, R

    J. Egger, R. E. Møgelberg, and A. Simpson, Enriching an effect calculus with linear types, Lecture Notes in Comput. Sci. 5771 (2009), 240–254

    work page 2009

  14. [14]

    P. J. Ehlers and T. Porter, Joins for (augmented) simplicial sets , J. Pure Appl. Algebra 145 (2000), no. 1, 37–44

    work page 2000

  15. [15]

    Eilenberg and G

    S. Eilenberg and G. M. Kelly, Closed categories, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), Springer, 1966, pp. 421–562

    work page 1965

  16. [16]

    Gaboardi, S

    M. Gaboardi, S. Katsumata, D. Orchard, and T. Sato, Graded Hoare logic and its categorical semantics, 2021, pp. 234–263

    work page 2021

  17. [17]

    Garner, An embedding theorem for tangent categories, Adv

    R. Garner, An embedding theorem for tangent categories, Adv. Math. 323 (2018), 668–687

    work page 2018

  18. [18]

    Garner and I

    R. Garner and I. L´ opez Franco, Commutativity, J. Pure Appl. Algebra (2016), 1707–1751

    work page 2016

  19. [19]

    Garner and M

    R. Garner and M. Shulman, Enriched categories as a free cocompletion , Adv. Math. 289 (2016), 1–94

    work page 2016

  20. [20]

    Gavranovi´ c,Fundamental components of deep learning, Ph.D

    B. Gavranovi´ c,Fundamental components of deep learning, Ph.D. thesis, University of Strathclyde, 2024, arXiv:2403.13001

    work page arXiv 2024

  21. [21]

    Gordon and A

    R. Gordon and A. J. Power, Enrichment through variation, J. Pure Appl. Algebra 120 (1997), no. 2, 167–185

    work page 1997

  22. [22]

    Pure Appl

    , Gabriel-Ulmer duality for categories enriched in bicategories , J. Pure Appl. Algebra 137 (1999), no. 1, 29–48

    work page 1999

  23. [23]

    Grandis and L

    M. Grandis and L. Mauri, Cubical sets and their site , Theory Appl. Categ. 11 (2003), No. 8, 185–211

    work page 2003

  24. [24]

    Janelidze and G

    G. Janelidze and G. M. Kelly, A note on actions of a monoidal category , Theory Appl. Categ. 9 (2001/02), 61–91

    work page 2001

  25. [25]

    Joyal and R

    A. Joyal and R. Street, Braided tensor categories, Adv. Math. 102 (1993), no. 1, 20–78

    work page 1993

  26. [26]

    G. M. Kelly, Basic concepts of enriched category theory, Repr. Theory Appl. Categ. (2005), no. 10, Reprint of the 1982 original [Cambridge Univ. Press]

    work page 2005

  27. [27]

    Kelly, A

    M. Kelly, A. Labella, V. Schmitt, and R. Street, Categories enriched on two sides , J. Pure Appl. Algebra 168 (2002), no. 1, 53–98

    work page 2002

  28. [28]

    Kock, Monads on symmetric monoidal closed categories , Arch

    A. Kock, Monads on symmetric monoidal closed categories , Arch. Math. (Basel) 21 (1970), 1–10. 51

    work page 1970

  29. [29]

    S. R. Koudenburg, Augmented virtual double categories , Theory Appl. Categ. 35 (2020), 261–325

    work page 2020

  30. [30]

    Lambek, Deductive systems and categories

    J. Lambek, Deductive systems and categories. II. Standard constructions and closed categories, Lecture Notes in Math., vol. No. 86, Springer, 1969, pp. 76– 122

    work page 1969

  31. [31]

    P. B. Levy, Adjunction models for call-by-push-value with stacks , Theory Appl. Categ. 14 (2005), No. 5, 75–110

    work page 2005

  32. [32]

    , Locally graded categories, Talk slides, https://www.cs.bham.ac.uk/~pbl/papers/locgrade.pdf, 2019

    work page 2019

  33. [33]

    R. B. B. Lucyshyn-Wright, Commutants for enriched algebraic theories and mon- ads, Appl. Categ. Structures 26 (2018), no. 3, 559–596

    work page 2018

  34. [34]

    Mac Lane, Categories for the working mathematician , second ed., Springer- Verlag, 1998

    S. Mac Lane, Categories for the working mathematician , second ed., Springer- Verlag, 1998

    work page 1998

  35. [35]

    McCrudden, Categories of representations of coalgebroids , Adv

    P. McCrudden, Categories of representations of coalgebroids , Adv. Math. 154 (2000), no. 2, 299–332

    work page 2000

  36. [36]

    McDermott and T

    D. McDermott and T. Uustalu, Flexibly graded monads and graded algebras , Lec- ture Notes in Comput. Sci., vol. 13544, Springer, 2022, pp. 102–128

    work page 2022

  37. [37]

    360, 2022, pp

    , What makes a strong monad? , Electronic Proceedings in Theoretical Computer Science, vol. 360, 2022, pp. 113–133

    work page 2022

  38. [38]

    P. A. Melli` es,Parametric monads and enriched adjunctions , Manuscript, 2012

    work page 2012

  39. [39]

    A. J. Power, G. L. Cattani, and G. Winskel, A representation result for free cocompletions, J. Pure Appl. Algebra 151 (2000), no. 3, 273–286

    work page 2000

  40. [40]

    ˇSkoda, Bi-actegories, Manuscript, available at https://www2.irb.hr/korisnici/zskoda/biact.pdf, 2007

    Z. ˇSkoda, Bi-actegories, Manuscript, available at https://www2.irb.hr/korisnici/zskoda/biact.pdf, 2007

    work page 2007

  41. [41]

    , Some equivariant constructions in noncommutative algebraic geometry , Georgian Math. J. 16 (2009), no. 1, 183–202

    work page 2009

  42. [42]

    Street, Enriched categories and cohomology, Repr

    R. Street, Enriched categories and cohomology, Repr. Theory Appl. Categ. (2005), no. 14, 1–18, Reprinted from Quaestiones Math. 6 (1983), no. 1-3, 265–283

    work page 2005

  43. [43]

    Verity, Enriched categories, internal categories and change of base , Repr

    D. Verity, Enriched categories, internal categories and change of base , Repr. The- ory Appl. Categ. (2011), no. 20, 1–266

    work page 2011

  44. [44]

    R. J. Wood, Indicial methods for relative categories , Ph.D. thesis, Dalhousie Uni- versity, 1976

    work page 1976

  45. [45]

    661, Springer, Berlin-New York, 1978, pp

    , V¯ -indexed categories, Indexed categories and their applications, Lecture Notes in Math., vol. 661, Springer, Berlin-New York, 1978, pp. 126–140. 52

    work page 1978