nLab sesquicategory

Redirected from "sesquicategories".
Contents

Contents

Idea

A sesquicategory is a (strict) 2-category except for the fact that the interchange law need not hold.

Definition

Sesquicategories can be straightforwardly defined just as for strict 2-categories except with the interchange law left out. (In order for this to make sense, one has to spell out the definition explicitly enough that the interchange law is a separate axiom.) This means that composition in a sesquicategory cannot be functor hom(y,z)×hom(x,y)hom(x,z)\hom(y,z)\times \hom(x,y)\to\hom(x,z). So sesquicategories are more usually defined as categories enriched in Cat, where the monoidal structure for the enrichment is not the usual cartesian product but the funny tensor product, i.e. the tensor adjoint to the ‘unnatural’ hom, in which the hom-category [C,D][C,D] has morphisms given by CC-indexed families of arrows of DD without any naturality requirement.

Alternatively, a sesquicategory may be given as a category CC together with a functor H:C op×CCatH \colon C^{op} \times C \to Cat whose composite obH:C op×CCatSetob \circ H \colon C^{op} \times C \to Cat \to Set with the underlying-set functor is equal to the hom functor of CC. Because of the equivalence [C,Cat(D)]Cat[C,D][C, Cat(D)] \simeq Cat [C,D] (for finitely complete DD), this is the same as saying that a sesquicategory is given by a category CC together with an internal category HH in [C op×C,Set][C^{op} \times C, Set] whose object H 0H_0 of objects is the hom functor hom Chom_C of CC.

Remarks

A strict premonoidal category is the same as a sesquicategory with exactly one object.

A Gray-category does not have an underlying strict 2-category, but it does have an underlying strict sesquicategory. Thus, if one wants to define Gray-computads, it is natural to work with “sesqui-computads” as a partway stage; see for instance Surface diagrams

The name ‘sesquicategory’ literally means 1121\frac{1}{2}-category, although strictly speaking they are actually more general than 22-categories (which are of course more general than 11-categories). However, one can also view a 22-category or sesquicategory as a 11-category with extra structure or stuff (the 22-cells and their composition), and in this way sesquicategories are partway between 11-categories and 22-categories, with only one axiom left out. (A strict 2-category can be considered directly as a 1-category with additional 2-cells added; for a weak 2-category one has instead to consider its “underlying” 1-category to be its homotopy category obtained by identifying isomorphic 1-morphisms.)

The paper Stell (1994) shows the relation with rewriting.

The paper Brown (2010) shows how a sesquicategory arises from a whiskered category.

References

  • John Stell?, Modelling Term Rewriting Systems by Sesqui-Categories, Proc. Catégories, Algèbres, Esquisses et Néo-Esquisses (1994). [pdf]

  • Ross Street, Categorical Structures, Handbook of Algebra, Vol. 1, 1996, pp. 531-577. [doi:10.1016/S1570-7954(96)80019-2, pdf]

  • Ronnie Brown, Possible connections between whiskered categories and groupoids, Leibniz algebras, automorphism structures and local-to-global questions. J. Homotopy Relat. Struct., 5(1) (2010) 305–318.

    [ arXiv:0708.1677 PDF ]

  • Nelson Martins-Ferreira?, Low-dimensional internal categorial structures in weakly Mal’cev sesquicategories, PhD thesis, University of Cape Town (2008). [ url ]

Last revised on November 20, 2023 at 16:13:06. See the history of this page for a list of all contributions to it.