Authors: Jaskelioff, Mauro; Rivas, Exequiel; Uustalu, Tarmo; Veltri, Niccòlo.
Resumen: We consider skew near-semiring categories, a relaxation of near-semiring categories where the unitors, associators, absorber and distributor are not required to be natural isomorphisms, they are just natural transformations in a particular direction. We prove a coherence theorem for such categories. The theorem states that, in a free skew near-semiring category over a set of objects, any two maps between an object and an object in normal form are equal.
Meeting type: Workshop.
Production: Coherence for Skew-Nearsemiring categories.
Scientific meeting: Higher-Dimensional Rewriting and Applications.
It's published?: No
Meeting month: 9