The Syntax of Coherence
| dc.creator | Yanofsky, Noson S. | |
| dc.date | 1999-10-01 | |
| dc.date | 2000-01-13 | |
| dc.date.accessioned | 2026-07-07T05:31:00Z | |
| dc.date.available | 2026-07-07T05:31:00Z | |
| dc.description | This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded, many coherence results become simple statements about the quasi-Yoneda lemma and 2-theory-morphisms. Given two 2-theories and a 2-theory-morphism between them, we explore the induced relationship between the corresponding 2-categories of algebras. The strength of the induced quasi-adjoints are classified by the strength of the 2-theory-morphism. These quasi-adjoints reflect the extent to which one structure can be replaced by another. A two-dimensional analogue of the Kronecker product is defined and constructed. This operation allows one to generate new coherence laws from old ones. | |
| dc.description | 44 pages, LaTeX; XY-Pic (with 2-cells). Corrected typos and small changes | |
| dc.identifier | https://arxiv.org/abs/math/9910006 | |
| dc.identifier | http://arxiv.org/abs/math/9910006 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/79189 | |
| dc.subject | Category Theory | |
| dc.subject | Quantum Algebra | |
| dc.subject | 18C10; 18D10 | |
| dc.title | The Syntax of Coherence | |
| dc.type | text |