The combinatorics of n-categorical pasting

Michael Johnson

doi:10.1016/0022-4049(89)90136-9

The combinatorics of n-categorical pasting

Michael Johnson^*

^*Corresponding author for this work

School of Computing

Research output: Contribution to journal › Article › peer-review

35 Citations (Scopus)

Abstract

The purpose of this paper is to prove the n-category pasting theorem. The theorem, which asserts that the categorical operation of pasting is well defined, has not previously been proved, mainly because of the lack of a sufficient formalization of the diagrams on which pasting operates. The paper develops a combinatorial treatment of these diagrams and proves the pasting theorem.

Original language	English
Pages (from-to)	211-225
Journal	Journal of Pure and Applied Algebra
Volume	62
Issue number	3
DOIs	https://doi.org/10.1016/0022-4049(89)90136-9
Publication status	Published - 15 Dec 1989

Access to Document

10.1016/0022-4049(89)90136-9

Cite this

@article{eebab60a1e264ecda1333ca5ebbeb93b,

title = "The combinatorics of n-categorical pasting",

abstract = "The purpose of this paper is to prove the n-category pasting theorem. The theorem, which asserts that the categorical operation of pasting is well defined, has not previously been proved, mainly because of the lack of a sufficient formalization of the diagrams on which pasting operates. The paper develops a combinatorial treatment of these diagrams and proves the pasting theorem.",

author = "Michael Johnson",

year = "1989",

month = dec,

day = "15",

doi = "10.1016/0022-4049(89)90136-9",

language = "English",

volume = "62",

pages = "211--225",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - The combinatorics of n-categorical pasting

AU - Johnson, Michael

PY - 1989/12/15

Y1 - 1989/12/15

N2 - The purpose of this paper is to prove the n-category pasting theorem. The theorem, which asserts that the categorical operation of pasting is well defined, has not previously been proved, mainly because of the lack of a sufficient formalization of the diagrams on which pasting operates. The paper develops a combinatorial treatment of these diagrams and proves the pasting theorem.

AB - The purpose of this paper is to prove the n-category pasting theorem. The theorem, which asserts that the categorical operation of pasting is well defined, has not previously been proved, mainly because of the lack of a sufficient formalization of the diagrams on which pasting operates. The paper develops a combinatorial treatment of these diagrams and proves the pasting theorem.

UR - http://www.scopus.com/inward/record.url?scp=38249025705&partnerID=8YFLogxK

U2 - 10.1016/0022-4049(89)90136-9

DO - 10.1016/0022-4049(89)90136-9

M3 - Article

AN - SCOPUS:38249025705

SN - 0022-4049

VL - 62

SP - 211

EP - 225

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 3

ER -

The combinatorics of n-categorical pasting

Abstract

Access to Document

Other files and links

Fingerprint

Cite this