Work > Our output
Here you can find a list of artefacts from our research, including software, books, papers, talks, and data.
Software
- AlgebraicABMs.jl: Agent-based modeling via compositional environments and compositional actions.
- AlgebraicDynamics.jl: Build dynamical systems compositionally. Reference: arXiv:2105.12282
- AlgebraicPetri.jl: Build Petri net models compositionally. Reference: arXiv:2203.16345
- AlgebraicRewriting.jl: Generalized term rewriting software and agent-based modeling. Reference: arXiv:2111.03784
- Catlab.jl: A framework for applied category theory. Reference: arXiv:2106.04703
- CombinatorialSpaces.jl: Combinatorial models of geometric spaces.
- MathAnnotator: Use ChatGPT to extract mathematical concepts. Reference: arXiv:2309.00642
- MathGloss: Web glossary for undergraduate mathematics.
- Parmesan: Semantic searching in category theory. Reference: arXiv:2307.06699 arXiv:2208.13830
- Semagrams.jl: A graphical editor for graph-like structures.
No matching items
Papers
- "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 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 ,
- "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 ,
- "Products in double categories, revisited". (2024). arXiv:2401.08990 ,
- "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 ,
- "Transposing cartesian and other structure in double categories". (2024). arXiv:2404.08835 ,
- "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] ,
- "Categorifying computable reducibilities". (2023). arXiv:2208.08656 ,
- "Computational category-theoretic rewriting". Journal of Logical and Algebraic Methods in Programming (2023). DOI:10.1016/j.jlamp.2023.100888 arXiv:2111.03784 ,
- "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 ,
- "Polynomial Functors: A Mathematical Theory of Interaction". (2023). arXiv:2312.00099 ,
- "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). ,
- "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". 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
Books
Talks
- "Three prototypes: Parmesan, MathGloss and MathAnnotator". Hausdorff Center for Mathematics, 2024-07-15 ,
- "Dialectica Categories for all". Hausdorff Institute of Mathematics, Prospects of Formal Mathematics, 2024-07-08 ,
- "AI tools for Better Math". Hausdorff Center for Mathematics, 2024-06-13 ,
- "Formal AI-Assisted Code Specification And Synthesis: Concrete Steps Towards Safe Sociotechnical Systems". FAR Seminar, 2024-05-22 ,
- "Network Mathematics for All". Topos-Chapman Workshop, 2024-05-14 ,
- "AI-Assisted Coding: Correct By Construction, Not By Generation". Chapman University, 2024-05-08 ,
- "Voce e sua Pesquisa Problemas em Logica: Quais, Como e Por Que?". SOL, Sociedade Brasileira de Logica (SBL), Brazil, 2024-04-15 ,
- "AI Tools for Better Math: Network Mathematics". Dealer: SRI PARC, Palo Alto, 2024-04-12 ,
- "Women in Logic Online & Network Mathematics". Vienna Center for Logic and Algorithms, 2024-03-20 ,
- "Toward formalizing scientific theories and models using categorical logic". Chapman University, 2024-01-31 ,
- "Dynamic operads: compositional adaptive systems". Caltech Special Seminar in Mechanical and Civil Engineering, 2023-12-14 ,
- "Online learning for spiking neural networks with relative information rate". Institute for Mathematical and Statistical Innovation (Chicago): Workshop on Bayesian Statistics and Statistical Learning, 2023-12-11 ,
- "Relative Information and the Dual Numbers". San Francisco State University: Algebra, Geometry and Combinatorics Seminar, 2023-10-25 ,
- "War Time Proofs & futuristic programs". Berkeley Logic Colloquium, 2023-10-13 ,
- "Extracting Math Concepts from Text". Schloss Dagstuhl, Germany, 2023-10-03 ,
- "Cartesian double theories". Topos Institute Berkeley Seminar, 2023-09-25 ,
- "War Time Proofs, futuristic programs". Strange Loop, 2023-09-22 ,
- "Extracting Mathematical Concepts with Large Language Models". MathUI @Conference on Intelligent Computer Mathematics, online, 2023-09-07 ,
- "Structured and decorated cospans from the viewpoint of double category theory". Applied Category Theory 2023, 2023-08-04 ,
- "Applied Category Theory: Towards a science of multidisciplinarity". Society for Multidisciplinary and Fundamental Research, 2023-07-25 ,
- "All you need is relative information". Singular Learning Theory and Alignment Summit (Berkeley), 2023-06-26 ,
- "Lenses and Dialectica Constructions". MFPS 2023, Bloomington, Indiana, 2023-06-23 ,
- "Dialectica Categories and Doctrines". Workshop on Doctrines & Fibrations, Padova, Italy, 2023-06-01 ,
- "Constructive Modal Logics: a tutorial". Pisa, IT, Department of Computer Science, 2023-05-24 ,
- "Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems". Categories for Consciousness Science, 2023-04-15 ,
- "Dialectica Categories Revisited". Chapman University OCIE, 2023-04-14 ,
- "Dynamic organizational systems: from deep learning to prediction markets". Categories for AI, 2023-03-27 ,
- "Dialectica and Godel Doctrines". 2nd EBTC, Sao Paulo, BR, 2023-03-22 ,
- "Dialectica Comonoids". Denver Seminar on Logic and Algebra, 2023-02-17 ,
- "Poly is an unreasonably effective abstraction". Finding the Right Abstractions for Healthy Systems (FRA2), 2023-01-09 ,
- "Dialectica Categorical Constructions". non JMM 2023, 2023-01-06 ,
- "Category Theory is Living Language". JMM 2023, 2023-01-05 ,
- "Dynamic Operads for Evolving Organizations". JMM 2023, 2023-01-05 ,
- "Double Presheaf Categories via Polynomial Functors". Virtual Double Categories workshop, 2022-11-29 ,
- "AlgebraicJulia: a compositional approach to technical computing". NIST Workshop on Compositional Structures for Systems Engineering and Design, 2022-11-04 ,
- "Introduction to double categories and applications to relational databases". University of Florida Algebra Seminar, 2022-10-27 ,
- "Dynamic organizational structures". NASA PCE3, 2022-10-20 ,
- "Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems". Active Inference Institute, 2022-09-13 ,
- "Double categories for databases and knowledge representation". Topos Institute Berkeley Seminar, 2022-09-06 ,
- "Dialectica Categorical Constructions". Encontro Brasil-Portugal 2022, Salvador, Bahia, 2022-08-19 ,
- "Panel Logic Meets ML". NALOMA, 2022-08-12 ,
- "Diagrammatic differential equations". ACT2022, 2022-07-22 ,
- "Dynamic operads for evolving organizations". ACT2022, 2022-07-19 ,
- "Polynomial functors and Shannon Entropy". ACT2022, 2022-07-19 ,
- "Typed and stratified models with slice categories". ACT2022, 2022-07-19 ,
- "Tutorial: Constructive Modal Logics". Australasian Association for Logic, 2022-06-23 ,
- "Sketches in Compositional Dynamics and Planning". ICRA 2022 Workshop on Compositional Robotics, 2022-05-23 ,
- "Dialectica Categories Revisited". 8th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford University, 2022-05-22 ,
- "Polynomial functors and Shannon Entropy". Symposium for Categorical Semantics of Entropy, 2022-05-13 ,
- "PLN pra Tod@s". IC-CDI C4AI, USP, Sao Paulo, Brazil, 2022-04-27 ,
- "Networked Mathematics". Pisa CS Department, 2022-04-07 ,
- "Doing Without a Modality". MSFP/ETAPS, 2022-04-02 ,
- "Problemas de Kolmogorov-Veloso". UFBa, 2022-03-21 ,
- "Familial Monads for Higher and Lower Category Theory". 2022 Workshop on Polynomial Functors, 2022-03-16 ,
- "Dialectica Petri Nets". Intercats, 2022-03-08 ,
- "Sense-making: accounting for intelligibility". Mathematics of Collective Intelligence (IPAM), 2022-02-19 ,
- "Principles and pitfalls of designing software for applied category theory". Topos Institute Berkeley Seminar, 2022-02-14 ,
- "Categorical interaction in the polynomial ecosystem". Seminar on Categorical Interaction (Topos Institute), 2022-01-25 ,
- "Natural Language Inference: for Humans and Machines". Topos Institute Berkeley Seminar, 2022-01-24 ,
- "Negation in the ecumenical system". 1st Brazil-Colombia Logic meeting, 2021-12-17 ,
- "The importance of being Earnest: open datasets in Portuguese". OpenCor Workshop (Bracis), 2021-12-03 ,
- "Categories of diagrams in data migration and computational physics". Topos Institute Colloquium, 2021-12-02 ,
- "Constructive Modal and Linear Logics". Tallinn University of Technology, Estonia, 2021-12-02 ,
- "Polynomial functors and database aggregation". Novemberfest, 2021-11-13 ,
- "Semantics and Reasoning: for NLP, AI and ACT". Ada Lovelace Day, Lucy Cavendish College, Cambridge, 2021-10-20 ,
- "Dynamic networks generalize deep learning". Michael Mahoney Statistics Seminar, 2021-10-07 ,
- "Ologs: what, why, and how". Introduction to Applied Category Theory course (University of Florida), 2021-09-23 ,
- "Dynamic networks and learning". 'AFOSR: Dynamical Systems and Control Theory Review', 2021-09-21 ,
- "Regular Logic via String Diagrams: A Case Study". MFPS Invited Tutorial, 2021-09-02 ,
- "Dialectica Comonads". CALCO Invited Talk, 2021-08-31 ,
- "Dynamic Rewiring as Learning". Applied Category Theory and Graph Operad Logic, 2021-08-27 ,
- "Categorical Explicit Substitutions". Topos Institute Colloquium, 2021-08-19 ,
- "Topos Institute". ACT2021 Industry Session, 2021-07-12 ,
- "Panel on 'The Many Paths to Understanding Deep Learning'". 'Brazil in AI: Understanding Deep Learning', 2021-07-09 ,
- "Compositional Modeling with AlgebraicJulia". IMAG Viral Pandemic Working Group, 2021-07-08 ,
- "Backprop as Functor". 'Brazil in AI: Understanding Deep Learning', 2021-06-25 ,
- "Constructive Modalities". Seventh Ticamore Meeting, 2021-06-16 ,
- "Topos Institute". QPL Industry Session, 2021-06-08 ,
- "Categorical Semantics for Explicit Substitutions". University of Cambridge Category Theory Seminar, 2021-06-01 ,
- "Dynamic Interaction Patterns". 'Compositional Robotics: Mathematics and Tools (ICRA 2021)', 2021-05-31 ,
- "Constructive Modalities". 'Dinâmicas: Celebrating Women in Math', 2021-05-25 ,
- "Toward interactive control". SIAM Mini-Symposium of Dynamics and Networks, 2021-05-23 ,
- "Dialectica and Kolmogorov Problems". Finding the Right Abstractions, 2021-05-19 ,
- "A Short Introduction to Categorical Logic". Finding the Right Abstractions, 2021-05-18 ,
- "Cultivating Strategies". Finding the Right Abstractions, 2021-05-04 ,
- "Welcome to Topos". Finding the Right Abstractions, 2021-05-04 ,
- "Tutorial on Category Theory: Part 1, Pure and Classical". Finding the Right Abstractions, 2021-05-01 ,
- "Tutorial on Category Theory: Part 2: Applied". Finding the Right Abstractions, 2021-05-01 ,
- "Linear Logic and Constructive Mathematics". 'Philosophy PUC-Rio: Working Logician 2021', 2021-04-21 ,
- "Cospans as a Tool for Composition". UNAM Categories Seminar, 2021-03-31 ,
- "Mathematical stem cells for an information ecology". JHU APL Intelligent Systems Seminar, 2021-03-04 ,
- "Polynomials and the Dynamics of Data". UNAM Categories Seminar, 2021-02-17 ,
- "Categorical Models for Explicit Substitutions". GTC-UnB, 2021-02-08 ,
- "Applied Category Theory: Mathematics for Interdisciplinary systems modeling". Mathematics in Artificial Reasoning and Sciences, 2021-02-02 ,
- "A semântica nossa de cada dia". 1st Brazilian Meeting on Category Theory, 2021-01-27 ,
- "The Language of Networks". ACT4E, 2021-01-21 ,
- "C-sets for data analysis: graphs, relational data, and conjunctive queries". Bay Area ACT Meetup Group, 2021-01-20 ,
- "Applied category theory: towards a science of interdisciplinarity". ACT4E, 2021-01-07 ,
- "(Co)relational computing in Catlab: The operad of UWDs and its algebras". MIT Categories Seminar, 2020-12-10 ,
No matching items
Data
These repositories contain “cleaned” versions of mathematical text, with the intention of being used as training corpora for various machine learning projects.
- TAC corpus: the contents and metadata of TAC abstracts as of c. December 2020.
- nLab corpus: the contents of the nLab as of c. December 2020.