Proceedings Eighth International Conference on Applied Category Theory

Este documento apresenta os anais da Oitava Conferência Internacional de Teoria de Categorias Aplicada, realizada em junho de 2025 na Universidade da Flórida, que reuniu contribuições de diversas disciplinas, incluindo ciência da computação, probabilidade, química e computação quântica, por meio de palestras plenárias, apresentações de pesquisadores júnior e demonstrações de software.

O essencial

Imagine que o mundo é feito de peças de Lego de todos os tamanhos e cores. Às vezes, temos peças de casas, às vezes de carros, e outras vezes de robôs. O que a Teoria das Categorias faz é como um "super manual de instruções" que ensina como conectar qualquer uma dessas peças, não importa de onde elas venham. Ela procura os padrões ocultos que ligam coisas que parecem totalmente diferentes.

Este documento que você leu é, na verdade, o álbum de fotos e os resumos de uma grande festa de cientistas chamada ACT2025.

Aqui está o que aconteceu, traduzido para uma linguagem do dia a dia:

1. O Grande Encontro

Entre 2 e 6 de junho de 2025, a Universidade da Flórida virou a sede de uma "festa da ciência". Foi a oitava vez que esse grupo se reuniu. Pense nisso como um festival de música, mas em vez de bandas, havia palestras e ideias.

2. Quem estava lá?

O evento foi misto, como uma grande família reunida:

• Os "Ídolos" (Palestrantes Principais): 2 grandes especialistas deram discursos para todos, como se fossem os headliners do festival.
• Os "Criativos" (Palestras Contribuídas): 28 pessoas trouxeram suas próprias ideias e descobertas para compartilhar.
• Os "Jovens Talentos" (Adjoint School): 4 pesquisadores mais jovens, que estavam em um "curso intensivo" de verão, mostraram o que aprenderam e criaram.
• A Comunidade: Houve também reuniões online e presenciais para que todos pudessem conversar, trocar contatos e planejar o futuro, como um grande café da manhã coletivo.

3. O Que Eles Discutiram?

A parte mais legal é que eles não ficaram presos apenas em uma coisa. A Teoria das Categorias é como uma ponte mágica que conecta ilhas distantes. Neste encontro, eles mostraram como essa ponte funciona em lugares muito diferentes:

• Computadores: Para criar softwares mais inteligentes.
• Probabilidade: Para entender o acaso e o futuro (como prever o tempo ou o mercado).
• Química: Para entender como as moléculas se juntam.
• Teoria dos Jogos: Para entender estratégias (como em xadrez ou economia).
• Computação Quântica: Para lidar com o mundo super rápido e estranho dos átomos.

4. O Resultado (Este Documento)

Este texto é o livro de atas da conferência. Quando alguém enviou uma proposta para participar, eles tinham três opções: mostrar um resumo da ideia, mostrar um software funcionando ou escrever um artigo completo.

O que você está lendo agora é a coleção de todos os artigos completos que foram aceitos. É como se fosse o "álbum oficial" onde todas as melhores ideias, desde as mais teóricas até as mais práticas, foram guardadas para que qualquer pessoa no mundo pudesse ler e aprender.

Em resumo: Foi um encontro onde cientistas de várias áreas usaram uma linguagem matemática comum (a Teoria das Categorias) para conversar sobre como resolver problemas complexos, desde como programar um computador até como entender o universo, tudo reunido em um único volume de descobertas.

Resumo técnico

Com base no texto fornecido, é importante esclarecer uma distinção fundamental antes de prosseguir com o resumo: o documento apresentado não é um artigo de pesquisa técnico que propõe um novo algoritmo, resolve um problema específico ou apresenta resultados experimentais próprios. Trata-se do resumo (abstract) das atas (Proceedings) da Oitava Conferência Internacional sobre Teoria de Categorias Aplicada (ACT2025).

Portanto, não é possível extrair uma "metodologia" ou "resultados" no sentido tradicional de um único estudo científico. Em vez disso, o documento descreve o escopo, a estrutura e o conteúdo coletivo de uma conferência acadêmica.

Abaixo, apresento uma análise técnica detalhada do documento em português, estruturada conforme solicitado, adaptada à natureza de uma publicação de atas de conferência:

Resumo Técnico das Atas da ACT2025

1. O "Problema" (Contexto e Objetivo)
O documento não aborda um problema técnico único, mas sim a necessidade de consolidar e disseminar os avanços recentes na interseção entre a Teoria de Categorias e diversas disciplinas científicas. A conferência ACT2025 foi organizada para servir como um fórum central onde pesquisadores de áreas distintas (desde ciência da computação pura até química e física teórica) possam apresentar, discutir e integrar novas descobertas que utilizam a linguagem e as ferramentas da teoria de categorias. O objetivo é fomentar a colaboração interdisciplinar e documentar o estado da arte em 2025.

2. Metodologia (Estrutura do Evento e Seleção)
A "metodologia" descrita refere-se ao processo de curadoria e organização da conferência:

• Local e Data: Realizada na Universidade da Flórida, entre 2 e 6 de junho de 2025.
• Processo de Submissão: O evento adotou um sistema de submissão com três trilhas distintas para garantir diversidade de contribuições:
  1. Extended Abstracts (Resumos estendidos);
  2. Software Demonstrations (Demonstrações de software);
  3. Proceedings (Atas/Artigos completos).
• Seleção: Apenas as submissões aceitas na trilha de "Proceedings" foram incluídas neste volume específico.
• Formato de Apresentação: O evento foi estruturado para incluir palestras plenárias convidadas, palestras contribuídas, reuniões da comunidade (online e presencial) e uma seção dedicada a pesquisadores júnior do "Adjoint School" apresentando seus resultados.

3. Principais Contribuições (Escopo do Conteúdo)
As contribuições coletivas deste volume abrangem um espectro que vai da teoria pura à aplicação prática. O documento destaca que as apresentações cobriram uma vasta gama de disciplinas, incluindo:

• Ciência da Computação: Semântica de jogos e estruturas computacionais.
• Física e Química: Computação quântica e aplicações em química.
• Matemática e Estatística: Teoria da probabilidade e diagramas de adjunção (string diagrams).
• Comunidade: O volume também serve como registro da participação de pesquisadores júnior, indicando o desenvolvimento de novos talentos na área através do programa de formação (Adjoint School).

4. Resultados (Saídas do Evento)
Como se trata de atas, o "resultado" principal é a publicação deste volume contendo os trabalhos aceitos.

• O evento reuniu 2 palestras plenárias, 28 palestras contribuídas e 4 apresentações de pesquisadores júnior.
• O resultado tangível é a compilação de pesquisas que demonstram a versatilidade da teoria de categorias como uma linguagem unificadora para problemas complexos em múltiplos domínios.
• O evento reforçou a infraestrutura da comunidade, facilitando o encontro entre pesquisadores experientes e a próxima geração de cientistas.

5. Significância
A significância deste documento reside em sua função de registro histórico e catalisador de pesquisa para a comunidade de Teoria de Categorias Aplicada em 2025:

• Interdisciplinaridade: Demonstra que a teoria de categorias deixou de ser um nicho puramente matemático para se tornar uma ferramenta essencial em áreas aplicadas como computação quântica e química.
• Validação de Ferramentas: A inclusão de demonstrações de software e a diversidade de tópicos validam a utilidade prática das estruturas categóricas na modelagem de sistemas reais.
• Desenvolvimento de Comunidade: Ao integrar o "Adjoint School" e reuniões da comunidade, o evento fortalece o ecossistema de pesquisa, garantindo a continuidade e a evolução do campo.

Conclusão
Este documento é a porta de entrada para um volume de pesquisas coletivas que mapeiam o estado atual da aplicação da teoria de categorias. Ele não resolve um problema isolado, mas fornece o mapa completo das fronteiras onde essa teoria está sendo aplicada em 2025, servindo como referência obrigatória para pesquisadores interessados nas interfaces entre matemática, computação e ciências naturais.