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.