193:
596:
22:
180:
There are several generalizations of Mac Lane's coherence theorem. Each of them has the rough form that "every weak structure of some sort is equivalent to a stricter one".
316:
40:
637:
392:
569:
Saunders Mac Lane, Topology and Logic as a Source of
Algebra (Retiring Presidential Address), Bulletin of the AMS 82:1, January 1976.
58:
162:
420:
531:
112:
The adjectives such as "pseudo-" and "lax-" are used to refer to the fact equalities are weakened in coherent ways; e.g.,
521:
95:
630:
526:
143:
may be replaced by associativity via coherent isomorphisms. For example, via this process, one gets the notion of a
661:
128:
In some situations, isomorphisms need to be chosen in a coherent way. Often, this can be achieved by choosing
584:
656:
436:
472:(1993). "The permutoassociahedron, Mac Lane's coherence theorem and asymptotic zones for the KZ equation".
623:
91:
83:
234:
129:
494:
170:
140:
229:
166:
136:, there can be several canonical isomorphisms and there might not be an obvious choice among them.
154:
Replacing coherent isomorphisms by equalities is usually called strictification or rectification.
445:
169:, then diagrams of all types commute. A simple proof of that theorem can be obtained using the
551:
416:
388:
370:
340:
148:
508:
481:
469:
455:
408:
378:
356:
325:
579:
144:
79:
607:
113:
192:
650:
485:
117:
361:
344:
330:
311:
282:
499:
106:
75:
139:
In practice, coherent isomorphisms arise by weakening equalities; e.g., strict
512:
460:
431:
383:
555:
595:
345:"Topology and Logic as a Source of Algebra (Retiring Presidential Address)"
585:
https://unapologetic.wordpress.com/2007/07/01/the-strictification-theorem/
603:
174:
133:
102:
177:
whose combinatorial structure appears implicitly in Mac Lane's proof.
450:
99:
412:
377:. Graduate texts in mathematics. Vol. 5. Springer-Verlag.
187:
15:
544:
Cahiers de
Topologie et Géométrie Différentielle Catégoriques
539:
611:
580:
https://ncatlab.org/nlab/show/homotopy+coherent+diagram
432:"Not every pseudoalgebra is equivalent to a strict one"
204:
36:
540:"Sur la notion de diagramme homotopiquement cohérent"
71:
Standard that diagrams must satisfy up to isomorphism
403:Kamps, Klaus Heiner; Porter, Timothy (April 1997).
165:states, roughly, that if diagrams of certain types
31:
may be too technical for most readers to understand
317:Transactions of the American Mathematical Society
631:
349:Bulletin of the American Mathematical Society
270:
8:
405:Abstract Homotopy and Simple Homotopy Theory
310:Cordier, Jean-Marc; Porter, Timothy (1997).
638:
624:
459:
449:
382:
360:
329:
59:Learn how and when to remove this message
43:, without removing the technical details.
375:Categories for the working mathematician
266:
253:
293:
246:
41:make it understandable to non-experts
7:
592:
590:
474:Journal of Pure and Applied Algebra
312:"Homotopy coherent category theory"
14:
594:
497:(1994). "Coxeter-associahedra".
191:
20:
362:10.1090/S0002-9904-1976-13928-6
1:
331:10.1090/S0002-9947-97-01752-2
132:. But in some cases, such as
98:must satisfy when they hold "
610:. You can help Knowledge by
486:10.1016/0022-4049(93)90049-Y
163:Mac Lane's coherence theorem
538:Cordier, Jean-Marc (1982).
527:Encyclopedia of Mathematics
678:
589:
513:10.1112/S0025579300007452
461:10.1016/j.aim.2011.01.010
384:10.1007/978-1-4757-4721-8
271:Reiner & Ziegler 1994
283:coherence theorem (nlab)
256:, Chapter VII, Section 2
84:(higher) category theory
437:Advances in Mathematics
430:Shulman, Mike (2012).
130:canonical isomorphisms
520:Porter, Tim (2001) ,
235:Canonical isomorphism
90:is the standard that
522:"Homotopy coherence"
470:Kapranov, Mikhail M.
407:. World Scientific.
171:permutoassociahedron
124:Coherent isomorphism
230:Coherence condition
495:Ziegler, GĂĽnter M.
371:Mac Lane, Saunders
341:Mac Lane, Saunders
281:See, for instance
203:. You can help by
184:Homotopy coherence
78:, specifically in
619:
618:
394:978-1-4419-3123-8
221:
220:
158:Coherence theorem
149:strict 2-category
69:
68:
61:
669:
640:
633:
626:
604:topology-related
598:
591:
559:
534:
516:
493:Reiner, Victor;
489:
465:
463:
453:
444:(3): 2024–2041.
426:
398:
386:
366:
364:
343:(January 1976).
335:
333:
297:
291:
285:
279:
273:
263:
257:
251:
216:
213:
195:
188:
64:
57:
53:
50:
44:
24:
23:
16:
677:
676:
672:
671:
670:
668:
667:
666:
662:Homotopy theory
647:
646:
645:
644:
576:
566:
564:Further reading
537:
519:
492:
468:
429:
423:
402:
395:
369:
339:
309:
306:
301:
300:
292:
288:
280:
276:
264:
260:
252:
248:
243:
226:
217:
211:
208:
201:needs expansion
186:
160:
147:from that of a
145:weak 2-category
126:
80:homotopy theory
72:
65:
54:
48:
45:
37:help improve it
34:
25:
21:
12:
11:
5:
675:
673:
665:
664:
659:
657:Topology stubs
649:
648:
643:
642:
635:
628:
620:
617:
616:
599:
588:
587:
582:
575:
574:External links
572:
571:
570:
565:
562:
561:
560:
535:
517:
507:(2): 364–393.
490:
480:(2): 119–142.
466:
427:
421:
399:
393:
367:
336:
305:
302:
299:
298:
286:
274:
258:
245:
244:
242:
239:
238:
237:
232:
225:
222:
219:
218:
212:September 2019
198:
196:
185:
182:
159:
156:
125:
122:
114:pseudo-functor
70:
67:
66:
49:September 2024
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
674:
663:
660:
658:
655:
654:
652:
641:
636:
634:
629:
627:
622:
621:
615:
613:
609:
606:article is a
605:
600:
597:
593:
586:
583:
581:
578:
577:
573:
568:
567:
563:
557:
553:
550:(1): 93–112.
549:
545:
541:
536:
533:
529:
528:
523:
518:
514:
510:
506:
502:
501:
496:
491:
487:
483:
479:
475:
471:
467:
462:
457:
452:
447:
443:
439:
438:
433:
428:
424:
418:
414:
410:
406:
400:
396:
390:
385:
380:
376:
372:
368:
363:
358:
354:
350:
346:
342:
337:
332:
327:
323:
319:
318:
313:
308:
307:
303:
295:
290:
287:
284:
278:
275:
272:
268:
267:Kapranov 1993
262:
259:
255:
254:Mac Lane 1978
250:
247:
240:
236:
233:
231:
228:
227:
223:
215:
206:
202:
199:This section
197:
194:
190:
189:
183:
181:
178:
176:
172:
168:
164:
157:
155:
152:
150:
146:
142:
141:associativity
137:
135:
131:
123:
121:
119:
118:pseudoalgebra
115:
110:
108:
104:
101:
97:
93:
89:
85:
81:
77:
63:
60:
52:
42:
38:
32:
29:This article
27:
18:
17:
612:expanding it
601:
547:
543:
525:
504:
498:
477:
473:
441:
435:
413:10.1142/2215
404:
374:
352:
348:
321:
315:
294:Shulman 2012
289:
277:
261:
249:
209:
205:adding to it
200:
179:
161:
153:
138:
127:
111:
105:" or "up to
87:
73:
55:
46:
30:
500:Mathematika
355:(1): 1–40.
324:(1): 1–54.
296:, Section 1
107:isomorphism
76:mathematics
651:Categories
422:9810216025
304:References
92:equalities
556:1245-530X
532:EMS Press
451:1005.1520
401:Ch. 5 of
373:(1978) .
134:prestacks
88:coherency
338:§ 5. of
224:See also
175:polytope
103:homotopy
96:diagrams
167:commute
35:Please
554:
419:
391:
602:This
446:arXiv
241:Notes
100:up to
608:stub
552:ISSN
417:ISBN
389:ISBN
269:and
265:See
173:, a
82:and
509:doi
482:doi
456:doi
442:229
409:doi
379:doi
357:doi
326:doi
322:349
207:.
109:".
94:or
74:In
39:to
653::
548:23
546:.
542:.
530:,
524:,
505:41
503:.
478:85
476:.
454:.
440:.
434:.
415:.
387:.
353:82
351:.
347:.
320:.
314:.
151:.
120:.
116:,
86:,
639:e
632:t
625:v
614:.
558:.
515:.
511::
488:.
484::
464:.
458::
448::
425:.
411::
397:.
381::
365:.
359::
334:.
328::
214:)
210:(
62:)
56:(
51:)
47:(
33:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.