The notion of locally graded category is a joint generalisation of enriched categories, actegories, and powered categories. The idea is that we grade the morphisms of a category by a monoidal category in such a way that identity morphisms have grade labeled by the unit object and the composite of morphisms is graded by the tensor product of the separate grades.
Let be a monoidal category. For small , a locally -graded category is a category enriched over the presheaf category , regarded with its monoidal structure given by Day convolution.
Explicitly, a locally -graded category comprises:
satisfying evident laws.
The presheaf category is also cartesian monoidal. A category enriched in is called locally -indexed by Levy (2019).
When is cartesian monoidal, the two concepts coincide (Levy 2019).
As we have stated the definitions, this is trivial, but both concepts have more elementary reformulations that avoid size issues, for which this is a nontrivial theorem.
For example, with Levy (2019), slide 21 this gives an abstract proof of the standard fact that simplicially enriched categories can be viewed as those simplicial objects in Cat which take value in identity-on-objects functors (e.g. Riehl (2023), Prop. 1.2.3).
Locally graded categories were introduced as large -categories in:
Richard Wood, Indicial methods for relative categories, PhD thesis (1976) [hdl:10222/55465]
Richard Wood, -indexed categories, in Indexed Categories and Their Applications, Lecture Notes in Mathematics 661 (1978) 126-140 [doi:10.1007/BFb0061362]
See also
For the terminology we use see:
Paul Blain Levy, Locally graded categories, talk (2019) [slides:pdf, pdf]
Dylan McDermott, Tarmo Uustalu, Flexibly graded monads and graded algebras, in: Mathematics of Program Construction MPC 2022, Lecture Notes in Computer Science 13544, Springer (2022) [doi:10.1007/978-3-031-16912-0_4]
For the example of simplicially enriched category example see for instance:
A generalisation of locally graded categories to skew-enrichment may be found in the following under the name skew-proactegories:
Last revised on July 25, 2024 at 19:10:22. See the history of this page for a list of all contributions to it.