nLab
sesquicategory

Contents

Idea

A sesquicategory is a (strict) 2-category in which 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 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

  • Stell, J., Modelling term rewriting by sesquicategories. Technical report, University of Keele (TR94-02).
  • Ross Street, Categorical structures, p. 529–577 in Handbook of Algebra, vol. 1, edited by M. Hazewinkel, Elsevier 1996.
  • 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.

Revised on July 18, 2012 18:27:56 by Sam? (128.232.1.193)