nLab horizontal composition

Contents

Context

2-Category theory

2-category theory

Structures on 2-categories

Higher category theory

higher category theory

Contents

Definition

In a 2-category, the composition of 2-morphisms along objects is called horizontal composition .

category: svg

This is in contrast to the vertical composition of 2-morphisms, which is their composition along 1-morphisms.

Properties

Horizontal and vertical composition are subject to the compatibility condition called the interchange law.

Examples

Last revised on May 10, 2018 at 09:11:17. See the history of this page for a list of all contributions to it.