Estrutura matemática rigorosa para computação quântica fermiônica que combina categorias premonoidais com linguagens diagramáticas escaláveis, permitindo compilação de circuitos e formas normais para otimização prática.
@informaq-pt.bsky.social@informaq-pt.bsky.social