Papers
-
"A Category-theoretic Reconstruction of Logical Expressivism"
Applied Category Theory (2026)
arXiv:2605.24796 -
"Brazilian Mathematical Community: a brief history"
2026
DOI:10.5281/zenodo.21129440 -
"Compositional Dynamics in Learning and Mechanics"
2026
arXiv:2606.28984 -
"Exponentiable Virtual Double Categories and Representability of Exponentials"
2026
arXiv:2605.20586 -
"Intelligent Computer Mathematics, Proceedings of CICM 2025"
18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (2026)
[link] -
"Interactions that reshape the interfaces of the interacting parties"
2026
arXiv:2602.17917 -
"KnowTeX: Visualizing Mathematical Dependencies"
2026
arXiv:2601.15294 -
"Textual Inference in Portuguese: Comparing Language Models"
Proceedings of the 17th International Conference on Computational Processing of Portuguese (PROPOR 2026)-Vol. 2 (2026)
[link] -
"Towards a Universal Dependencies Corpus for Portuguese Epidemiological Reports"
Proceedings of the 17th International Conference on Computational Processing of Portuguese (PROPOR 2026)-Vol. 2 (2026)
[link] -
"Categories by Kan extension"
2025
arXiv:2503.21974 -
"Categorifying computable reducibilities"
Logical Methods in Computer Science (LMCS) (2025)
DOI:10.46298/lmcs-21(1:15)2025
arXiv:2208.08656 -
"Classifying strict discrete opfibrations with lax morphisms"
2025
arXiv:2510.23531 -
"Dialectica Petri Nets"
Fundamenta Informaticae Volume 194 (2025)
DOI:10.46298/fi.13125
arXiv:2105.12801 -
"Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches"
2025
arXiv:2510.23789 -
"Presheaves on lax double functors; Or, instances of models of double theories"
Applied Categorical Structures 34 (30), 2026 (2025)
DOI:10.1007/s10485-026-09866-y
arXiv:2510.08861 -
"Math Natural Language Inference: this should be easy!"
2025
arXiv:2507.23063 -
"Polynomial Functors: A Mathematical Theory of Interaction"
Cambridge University Press (2025)
DOI:10.1017/9781009576734
arXiv:2312.00099 -
"Polynomial Universes and Dependent Types"
Mathematical Foundations of Programming Semantics (2025)
arXiv:2409.19176 -
"Porous Convection in the Discrete Exterior Calculus with Geometric Multigrid"
2025
arXiv:2508.12501 -
"Proceedings of the 5th Workshop on Natural Logic Meets Machine Learning (NALOMA)"
ESSLLI 2025 (2025) -
"The compact double category Int(Poly_*) models control flow and data transformations"
2025
arXiv:2509.05462 -
"Towards a double operadic theory of systems"
2025
arXiv:2505.18329 -
"Translations and Prawitz's Ecumenical System"
Studia Logica, vol 113,2 (2025)
[link] -
"40th Conference on Mathematical Foundations of Programming Semantics"
Mathematical Foundations of Programming Semantics (MFPS 2024) (2024)
[link] -
"A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks"
Compositionality (2024)
DOI:10.32408/compositionality-6-2
arXiv:2301.01445 -
"Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems"
American Control Conference (ACC 2024) (2024)
arXiv:2305.03820 -
"A Compositional Framework for First-Order Optimization"
2024
arXiv:2403.05711 -
"A Polynomial Construction of Nerves for Higher Categories"
2024
arXiv:2405.13157 -
"A Toolchain for AI-Assisted Code Specification, Synthesis and Verification"
2024
[link] -
"Bunge Festschrift: A special volume celebrating Marta Bunge's contributions to category theory"
Theory and Applications of Categories (2024)
[link] -
"Cartesian double theories: A double-categorical framework for categorical doctrines"
Advances in Mathematics (2024)
DOI:10.1016/j.aim.2024.109630
arXiv:2310.05384 -
"Decapodes: A diagrammatic tool for representing, composing, and computing spatialized partial differential equations"
Journal of Computational Science (2024)
DOI:10.1016/j.jocs.2024.102345
arXiv:2401.17432 -
"Functorial Aggregation"
Journal of Pure and Applied Algebra (2024)
arXiv:2111.10968 -
"GATlab: Modeling and Programming with Generalized Algebraic Theories"
Mathematical Foundations of Programming Semantics (MFPS 2024) (2024)
arXiv:2404.04837 -
"Mathematical Entities: Corpora and Benchmarks"
2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING) (2024)
arXiv:2406.11577 -
"Organizing Physics with Open Energy-Driven Sys- tems"
7th Applied Category Theory conference (2024)
arXiv:2404.16140 -
"Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad"
7th Applied Category Theory conference (2024)
arXiv:2404.16321 -
"Products in double categories, revisited"
2024
arXiv:2401.08990 -
"Remembrances of Marta Bunge"
Theory and Applications of Categories 40, 575-578 (2024) -
"Representing Knowledge and Querying Data using Double-Functorial Semantics"
Applied Category Theory 2024 (2024)
arXiv:2403.19884 -
"Skolem, Gödel, and Hilbert fibrations"
2024
arXiv:2407.15765 -
"The diagrammatic presentation of equations in categories"
2024
arXiv:2401.09751 -
"Towards a Brazilian History Knowledge Graph"
2024
arXiv:https://arxiv.org/abs/2403.19856 -
"Translations and Prawitz's Ecumenical System"
Studia Logica (2024)
[link] -
"Transposing cartesian and other structure in double categories"
2024
arXiv:2404.08835 -
"What kind of linearly distributive category do polynomial functors form?"
2024
arXiv:2407.01849 -
"A Categorical Representation Language and Computational System for Knowledge-Based Planning"
2023 AAAI Fall Symposium on Unifying Representations for Robot Application Development (2023)
arXiv:2305.17208 -
"All Concepts are Cat^#"
2023
arXiv:2305.02571 -
"CALCO 2023 Proceedings"
LIPIcs, Volume 270 (2023)
[link] -
"Capítulo 9 Semântica com Técnicas Simbólicas"
2023
[link] -
"Computational category-theoretic rewriting"
Journal of Logical and Algebraic Methods in Programming (2023)
DOI:10.1016/j.jlamp.2023.100888
arXiv:2111.03784 -
"Dirichlet polynomials form a topos"
The Graduate Journal of Mathematics (2023)
arXiv:2003.04827 -
"Dynamic Tracing: a graphical language for rewriting protocols"
2023
arXiv:2304.14950 -
"Extracting Blockchain Concepts from Text"
2023
arXiv:2305.10408 -
"Extracting Mathematical Concepts with Large Language Models"
2023
arXiv:2309.00642 -
"MathGloss: Building mathematical glossaries from text"
2023
arXiv:2311.12649 -
"Parmesan: mathematical concept extraction for education"
2023
arXiv:2307.06699 -
"Preliminary Conversations Towards AI for the Global Good: The SCAI Questions"
Proceedings of the Singapore Conference on AI for the Global Good, 4-6 December 2023, Singapore (2023)
[link] -
"Proceedings of the 4th Natural Logic Meets Machine Learning Workshop (NALOMA)"
ACL Anthology (2023)
[link] -
"Structured and decorated cospans from the viewpoint of double category theory"
Applied Category Theory 2023 (2023)
DOI:10.4204/EPTCS.397.13
arXiv:2304.00447 -
"Structures on Categories of Polynomials"
2023
arXiv:2305.00167 -
"A diagrammatic view of differential equations in physics"
Mathematics in Engineering (2022)
DOI:10.3934/mine.2023036
arXiv:2204.01843 -
"An Algebraic Framework for Rapid Epidemic Modeling"
Proceedings of the Royal Society A (2022)
DOI:10.1098/rsta.2021.0309
arXiv:2203.16345 -
"Applied category theory in chemistry, computing, and social networks"
Notices of the American Mathematical Society (2022)
DOI:10.1090/noti2422
[link] -
"Compositional Modeling with Stock and Flow Diagrams"
Applied Category Theory 2022 (2022)
DOI:10.4204/EPTCS.380.5
arXiv:2205.08373 -
"Computational category-theoretic rewriting"
Proceedings of the 2022 International Conference on Graph Transformation (2022)
DOI:10.1007/978-3-031-09843-7_9
arXiv:2111.03784 -
"Curing the SICK and other NLI maladies"
Computational Linguistics (2022) -
"Dialectica Logical Principles"
International Symposium on Logical Foundations of Computer Science (2022)
DOI:10.1007/978-3-030-93100-1_22
arXiv:2109.08064 -
"Dialectica Logical Principles: not only rules"
Journal of Logic and Computation. (2022)
DOI:10.1093/logcom/exac079 -
"Dialectica Principles via Gödel Doctrines"
Theoretical Computer Science (2022)
DOI:10.1016/j.tcs.2023.113692
arXiv:2205.07093 -
"Duoidal Structures for Compositional Dependence"
2022
arXiv:2210.01962 -
"Dynamic operads, dynamic categories: From deep learning to prediction markets"
Applied Category Theory 2022 (2022)
arXiv:2205.03906 -
"Enrichment of Algebraic Higher Categories"
2022
arXiv:2205.12235 -
"Extracting Mathematical Concepts from Text"
8th Workshop on Noisy User-generated Text (W-NUT) (2022)
arXiv:2208.1383 -
"Fast Left Kan Extensions Using The Chase"
Journal of Automated Reasoning (2022)
DOI:10.1007/s10817-022-09634-2
arXiv:2205.02425 -
"Of Seringueiros and Sambistas: Occupation Mappings in Historical Text"
2nd DHandNLP (2022)
[link] -
"Polynomial functors and Shannon entropy"
2022
arXiv:2201.12878 -
"Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing"
PROPOR (2022)
[link] -
"A reference for categorical structures on Poly"
2021
arXiv:2202.00534 -
"An ecumenical notion of entailment"
Synthese 198 (Suppl 22), 5391-5413 (2021)
[link] -
"Annotation Difficulties in Natural Language Inference"
Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL) (2021)
DOI:10.5753/stil.2021.17804 -
"Categorical Data Structures for Technical Computing"
Compositionality (2021)
DOI:10.32408/compositionality-4-5
arXiv:2106.04703 -
"Collectives: Compositional protocols for contributions and returns"
2021
arXiv:2112.11518 -
"Compositional Active Inference I: Bayesian Lenses. Statistical Games"
2021
arXiv:2109.04461 -
"Compositional Thermostatics"
2021
arXiv:2111.10315 -
"Deeply Interactive Learning Systems"
SIAM News Blog (2021)
arXiv:2111.01297
[link] -
"Dialectica Comonads"
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) (2021)
DOI:10.4230/LIPIcs.CALCO.2021.3 -
"Dialectica Petri Nets"
2021
arXiv:2105.12801 -
"Dirichlet polynomials and entropy"
Entropy (2021)
DOI:10.3390/e23081085
arXiv:2107.04832 -
"Duas Negações Ecumênicas"
De Mathematicae atque Philosophicae Elegantia: Notas Festivas para Abel Lassalle Casanave (2021) -
"Functorial aggregation"
2021
arXiv:2111.10968 -
"Graphical Regular Logic: the complete 2-dimensional picture"
ACT21 (2021)
[link] -
"Intuitionistic Modal Logic and Applications Proceedings (IMLA 2017)"
Journal of Applied Logics (2021)
[link] -
"Kolmogorov-Veloso Problems and Dialectica Categories"
Chapter in book 'A Question is More Illuminating than an Answer. A Festschrift for Paulo A. S. Veloso' (2021)
arXiv:2107.07854 -
"Learners’ languages"
2021
arXiv:2103.01189 -
"Operadic Modeling of Dynamical Systems: Mathematics and Computation"
Applied Category Theory 2021 (2021)
DOI:10.4204/EPTCS.372.14
arXiv:2105.12282 -
"Proceedings of 2020 Joint Workshop Linearity & Trends on Linear Logic and Applications"
Summer of LoVE (Logic and Verification), Paris, France, online (2021)
DOI:10.4204/EPTCS.353
arXiv:2112.14305
[link] -
"Some Notions of (Open) Dynamical System on Polynomial Interfaces"
2021
arXiv:2108.11137 -
"Temporal Landscapes: A Graphical Logic of Behavior"
ACT21 (2021)
arXiv:1904.01081
[link] -
"The Gödel Fibration"
46th International Symposium on Mathematical Foundations of Computer Science (2021)
DOI:10.4230/LIPIcs.MFCS.2021.87
arXiv:2104.14021 -
"Towards FraCaS-BR"
OpenCor (2021)
[link] -
"Deriving Theorems in Implicational Linear Logic, Declaratively"
EPTCS (2020)
DOI:10.4204/EPTCS.325.18
arXiv:2009.10241
No matching items