* Coherence for tricategories
@ 2014-10-10 17:55 Jamie Vicary
0 siblings, 0 replies; only message in thread
From: Jamie Vicary @ 2014-10-10 17:55 UTC (permalink / raw)
To: Categories list
Hi,
The usual argument that not all tricategories can be strictified appeals to
the existence of nontrivially braided monoidal categories. But this leaves
open the possibility that a tricategory can be strictified completely aside
from interchangors for endomorphisms of unit 1-morphisms, or something
similar. Are results along these lines known?
There are of course the results of Joyal and Kock that it is possible to
put all the weak structure in the unitors. One could see this as mildly in
support of the above proposal, where also the weak structure is closely
related to unit morphisms.
In the absence of hard facts, reasoned speculation would also be good to
hear.
Best wishes,
Jamie
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-10-10 17:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-10-10 17:55 Coherence for tricategories Jamie Vicary
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).