Código QR

Monoidal Width

We introduce monoidal width as a measure of complexity for morphisms in monoidal categories. Inspired by well-known structural width measures for graphs, like tree width and rank width, monoidal width is based on a notion of syntactic decomposition: a monoidal decomposition of a morphism is an expre...

Descrición completa

Gardado en:
Detalles Bibliográficos
Principais autores: Elena Di Lavore, Paweł Sobociński
Formato: Artigo
Idioma:Inglês
Publicado: Logical Methods in Computer Science e.V. 2023-09-01
Series:Logical Methods in Computer Science
Assuntos:
Acceso en liña:https://lmcs.episciences.org/10552/pdf
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!