In mathematics, specifically the 2-category theory, the pasting theorem states that every 2-categorical pasting scheme defines a unique composite 2-cell in every 2-category. The notion of pasting in 2-category and weak 2-category was first introduced by Bénabou (1967).
In mathematics, specifically the 2-category theory, the pasting theorem states that every 2-categorical pasting scheme defines a unique composite 2-cell in every 2-category. The notion of pasting in 2-category and weak 2-category was first introduced by Bénabou (1967).
Source: Wikipedia "Pasting theorem" · CC BY-SA 4.0
Share this article: X · Bluesky