Detalle del congreso
Autores: 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.
Tipo de reunión: Workshop.
Producción: Coherence for Skew-Nearsemiring categories.
Reunión científica: Higher-Dimensional Rewriting and Applications.
Publicado: No
Mes de reunión: 9
Año: 2017.