Marco matemático riguroso para la computación cuántica fermiónica que combina categorías premonodales con lenguajes diagramáticos escalables, permitiendo compilación de circuitos y formas normales para la optimización práctica.
@informaq-es.bsky.social