Strictifying Operational Coherences and Weak Functor Classifiers in Low Dimensions
From MaRDI portal
Publication:6442513
arXiv2307.01498MaRDI QIDQ6442513
Publication date: 4 July 2023
Abstract: Weak structures abound in higher category theory, but are often suitably equivalent to stricter structures that are easier to understand. We extend strictification for tricategories and trihomomorphisms to trinatural transformations, trimodifications and perturbations. Along the way we distinguish between the operational coherences, which are possible to strictify, and the coherences on globular inputs, which remain weak. We introduce generalised path objects for -categories, which help reduce proofs in the three-dimensional setting to known results. Upon closing the resulting semi-strict trinatural transformations under composition, we state the hom-triequivalences of what we expect to be a `semi-strictification tetra-adjunction'.
This page was built for publication: Strictifying Operational Coherences and Weak Functor Classifiers in Low Dimensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6442513)
