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.