Output

Here you can find a list of artefacts from our research, including software, books, papers, talks, and data.

Software

For further projects, including those still under development, also see our GitHub.

Total: 11 items

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
CatColab: A collaborative environment for formal, interoperable, conceptual modeling".
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. Reference: arXiv:2311.12649
Parmesan: Semantic searching in category theory. Reference: arXiv:2406.11577 arXiv:2307.06699 arXiv:2208.13830
Semagrams.jl: A graphical editor for graph-like structures.

Papers

Total: 79 items

Davide Trotta, Manlio Valenti, Valeria de Paiva, "Categorifying computable reducibilities". Logical Methods in Computer Science (2025). [link]
V de Paiva, Q Gao, H Hu, P Kovalev, Y Liu, LS Moss, Z Qian, "Math Natural Language Inference: this should be easy!". (2025). arXiv:2507.23063
Luke Morris, George Rauta, Kevin Carlson, James Fairbanks, "Porous Convection in the Discrete Exterior Calculus with Geometric Multigrid". (2025). arXiv:2508.12501
L Abzianidze, V de Paiva, "Proceedings of the 5th Workshop on Natural Logic Meets Machine Learning (NALOMA)". ESSLLI 2025 (2025).
Valeria de Paiva, Alex Simpson, "40th Conference on Mathematical Foundations of Programming Semantics". Mathematical Foundations of Programming Semantics (MFPS 2024) (2024).
Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo S. Ocal, Evan Patterson, Brandon T. Shapiro, "A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks". Compositionality (2024). DOI:10.32408/compositionality-6-2 arXiv:2301.01445
Tyler Hanks, Baike She, Matthew Hale, Evan Patterson, Matthew Klawonn, James Fairbanks, "Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems". American Control Conference (ACC 2024) (2024). arXiv:2305.03820
Tyler Hanks, Matthew Klawonn, Evan Patterson, Matthew Hale, James Fairbanks, "A Compositional Framework for First-Order Optimization". (2024). arXiv:2403.05711
Shaowei Lin, Daniel Windham, Evan Miyazono, "A Toolchain for AI-Assisted Code Specification, Synthesis and Verification". (2024). [link]
Maria Manuel Clementino, Valeria de Paiva, Jonathon Funk (eds.), "Bunge Festschrift: A special volume celebrating Marta Bunge's contributions to category theory". Theory and Applications of Categories (2024). [link]
Michael Lambert, Evan Patterson, "Cartesian double theories: A double-categorical framework for categorical doctrines". Advances in Mathematics (2024). DOI:10.1016/j.aim.2024.109630 arXiv:2310.05384
Luke Morris, Andrew Baas, Jesus Arias, Maia Gatlin, Evan Patterson, James Fairbanks, "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
Owen Lynch, Kris Brown, James Fairbanks, Evan Patterson, "GATlab: Modeling and Programming with Generalized Algebraic Theories". Mathematical Foundations of Programming Semantics (MFPS 2024) (2024). arXiv:2404.04837
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian, "Mathematical Entities: Corpora and Benchmarks". 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING) (2024). arXiv:2406.11577
Evan Patterson, "Products in double categories, revisited". (2024). arXiv:2401.08990
S Bunge, A Ehresmann, V De Paiva, "Remembrances of Marta Bunge". Theory and Applications of Categories 40, 575-578 (2024).
Michael Lambert, Evan Patterson, "Representing Knowledge and Querying Data using Double-Functorial Semantics". Applied Category Theory 2024 (2024). arXiv:2403.19884
Davide Trotta, Jonathan Weinberger, Valeria de Paiva, "Skolem, Gödel, and Hilbert fibrations". (2024). arXiv:2407.15765
Kevin Arlin, James Fairbanks, Tim Hosgood, Evan Patterson, "The diagrammatic presentation of equations in categories". (2024). arXiv:2401.09751
Valeria de Paiva, Alexandre Rademaker, "Towards a Brazilian History Knowledge Graph". (2024). arXiv:https://arxiv.org/abs/2403.19856
Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva, "Translations and Prawitz's Ecumenical System". Studia Logica (2024). [link]
Evan Patterson, "Transposing cartesian and other structure in double categories". (2024). arXiv:2404.08835
Angeline Aguinaldo, Evan Patterson, James Fairbanks, Jaime Ruiz, "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
David I. Spivak, Brandon Shapiro, "All Concepts are Cat^#". (2023). arXiv:2305.02571
Valeria de Paiva, Paolo Baldan, "CALCO 2023 Proceedings". LIPIcs, Volume 270 (2023). [link]
Eloize Rossi Marques Seno, Valéria de Paiva, Vládia Pinheiro, "Capítulo 9 Semântica com Técnicas Simbólicas". (2023). [link]
Davide Trotta, Manlio Valenti, Valeria de Paiva, "Categorifying computable reducibilities". (2023). arXiv:2208.08656
Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks, "Computational category-theoretic rewriting". Journal of Logical and Algebraic Methods in Programming (2023). DOI:10.1016/j.jlamp.2023.100888 arXiv:2111.03784
Kris Brown, David I. Spivak, "Dynamic Tracing: a graphical language for rewriting protocols". (2023). arXiv:2304.14950
Rodrigo Veiga, Markus Endler, Valeria de Paiva, "Extracting Blockchain Concepts from Text". (2023). arXiv:2305.10408
Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss, "Extracting Mathematical Concepts with Large Language Models". (2023). arXiv:2309.00642
Lucy Horowitz, Valeria de Paiva, "MathGloss: Building mathematical glossaries from text". (2023). arXiv:2311.12649
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian, "Parmesan: mathematical concept extraction for education". (2023). arXiv:2307.06699
Nelson Niu, David I. Spivak, "Polynomial Functors: A Mathematical Theory of Interaction". (2023). arXiv:2312.00099
Singapore Ministry of Communications and Information & Smart Nation Group, in partnership with Topos Institute, "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]
Stergios Chatzikyriakidis, Valeria de Paiva, "Proceedings of the 4th Natural Logic Meets Machine Learning Workshop (NALOMA)". ACL Anthology (2023). [link]
Evan Patterson, "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
Brandon Shapiro, David Spivak, "Structures on Categories of Polynomials". (2023). arXiv:2305.00167
Evan Patterson, Andrew Baas, Timothy Hosgood, James Fairbanks, "A diagrammatic view of differential equations in physics". Mathematics in Engineering (2022). DOI:10.3934/mine.2023036 arXiv:2204.01843
Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, James Fairbanks, "An Algebraic Framework for Rapid Epidemic Modeling". Proceedings of the Royal Society A (2022). DOI:10.1098/rsta.2021.0309 arXiv:2203.16345
John Baez, Simon Cho, Daniel Cicala, Nina Otter, Valeria de Paiva, "Applied category theory in chemistry, computing, and social networks". Notices of the American Mathematical Society (2022). DOI:10.1090/noti2422 [link]
John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson, "Compositional Modeling with Stock and Flow Diagrams". Applied Category Theory 2022 (2022). DOI:10.4204/EPTCS.380.5 arXiv:2205.08373
Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks, "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
Aikaterini-Lida Kalouli, Hai Hu, Alexander Frank Webb, Lawrence S. Moss, Valeria de Paiva, "Curing the SICK and other NLI maladies". Computational Linguistics (2022).
Davide Trotta, Matteo Spadetto, Valeria de Paiva, "Dialectica Logical Principles". International Symposium on Logical Foundations of Computer Science (2022). DOI:10.1007/978-3-030-93100-1_22 arXiv:2109.08064
Davide Trotta, Matteo Spadetto, Valeria de Paiva, "Dialectica Logical Principles: not only rules". Journal of Logic and Computation. (2022). DOI:10.1093/logcom/exac079
Davide Trotta, Matteo Spadetto, Valeria de Paiva, "Dialectica Principles via Gödel Doctrines". Theoretical Computer Science (2022). DOI:10.1016/j.tcs.2023.113692 arXiv:2205.07093
Brandon T. Shapiro, David I. Spivak, "Duoidal Structures for Compositional Dependence". (2022). arXiv:2210.01962
Brandon T. Shapiro, David I. Spivak, "Dynamic operads, dynamic categories: From deep learning to prediction markets". Applied Category Theory 2022 (2022). arXiv:2205.03906
Brandon T. Shapiro, "Enrichment of Algebraic Higher Categories". (2022). arXiv:2205.12235
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian, "Extracting Mathematical Concepts from Text". 8th Workshop on Noisy User-generated Text (W-NUT) (2022). arXiv:2208.1383
Joshua Meyers, David I. Spivak, Ryan Wisnesky, "Fast Left Kan Extensions Using The Chase". Journal of Automated Reasoning (2022). DOI:10.1007/s10817-022-09634-2 arXiv:2205.02425
Valeria de Paiva, Aikaterini-Lida Kalouli, Livy Real, "Of Seringueiros and Sambistas: Occupation Mappings in Historical Text". 2nd DHandNLP (2022). [link]
David I. Spivak, "Polynomial functors and Shannon entropy". (2022). arXiv:2201.12878
C Trojahn, M Finatto, R Vieira, V Paiva, "Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing". PROPOR (2022). [link]
David I. Spivak, "A reference for categorical structures on Poly". (2021). arXiv:2202.00534
E Pimentel, LC Pereira, V de Paiva, "An ecumenical notion of entailment". Synthese 198 (Suppl 22), 5391-5413 (2021).
Aikaterini-Lida Kalouli, Livy Real, Annebeth Buis, Martha Palmer, Valeria de Paiva, "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
Evan Patterson, Owen Lynch, James Fairbanks, "Categorical Data Structures for Technical Computing". Compositionality (2021). DOI:10.32408/compositionality-4-5 arXiv:2106.04703
Nelson Niu, David I. Spivak, "Collectives: Compositional protocols for contributions and returns". (2021). arXiv:2112.11518
Toby St. Clere Smithe, "Compositional Active Inference I: Bayesian Lenses. Statistical Games". (2021). arXiv:2109.04461
John C. Baez, Owen Lynch, Joe Moeller, "Compositional Thermostatics". (2021). arXiv:2111.10315
David I. Spivak, Timothy Hosgood, "Deeply Interactive Learning Systems". SIAM News Blog (2021). arXiv:2111.01297 [link]
Valeria de Paiva, "Dialectica Comonads". 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) (2021). DOI:10.4230/LIPIcs.CALCO.2021.3
Elena Di Lavore, Wilmer Leal, Valeria de Paiva, "Dialectica Petri Nets". (2021). arXiv:2105.12801
David I. Spivak, Timothy Hosgood, "Dirichlet polynomials and entropy". Entropy (2021). DOI:10.3390/e23081085 arXiv:2107.04832
Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva, "Duas Negações Ecumênicas". De Mathematicae atque Philosophicae Elegantia: Notas Festivas para Abel Lassalle Casanave (2021).
David I. Spivak, "Functorial aggregation". (2021). arXiv:2111.10968
tslil clingman, Brendan Fong, David I. Spivak, "Graphical Regular Logic: the complete 2-dimensional picture". ACT21 (2021). [link]
Valeria de Paiva, Sergei Artemov, "Intuitionistic Modal Logic and Applications". Journal of Applied Logics (2021). [link]
Valeria de Paiva, Samuel G. da Silva, "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
David I. Spivak, "Learners’ languages". (2021). arXiv:2103.01189
Sophie Libkind, Andrew Baas, Evan Patterson, James Fairbanks, "Operadic Modeling of Dynamical Systems: Mathematics and Computation". Applied Category Theory 2021 (2021). DOI:10.4204/EPTCS.372.14 arXiv:2105.12282
Ugo Dal Lago, Valeria de Paiva, "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]
Toby St. Clere Smithe, "Some Notions of (Open) Dynamical System on Polynomial Interfaces". (2021). arXiv:2108.11137
Brendan Fong, Alberto Speranzon, David I. Spivak, "Temporal Landscapes: A Graphical Logic of Behavior". ACT21 (2021). arXiv:1904.01081 [link]
Davide Trotta, Matteo Spadetto, Valeria de Paiva, "The Gödel Fibration". 46th International Symposium on Mathematical Foundations of Computer Science (2021). DOI:10.4230/LIPIcs.MFCS.2021.87 arXiv:2104.14021
Valeria de Paiva, Livy Real, "Towards FraCaS-BR". OpenCor (2021). [link]
Paul Tarau, Valeria de Paiva, "Deriving Theorems in Implicational Linear Logic, Declaratively". EPTCS (2020). DOI:10.4204/EPTCS.325.18 arXiv:2009.10241

Books

Total: 4 items

David Jaz Myers, Categorical Systems Theory. [online]
Angeline Aguinaldo, Paul Dancstep, Brendan Fong, Priyaa Varshinee Srinivasan, Relational Thinking: from abstractions to applications. (2024). [online]
Nelson Niu, David I. Spivak, Polynomial Functors: A Mathematical Theory of Interaction. (2023). [online]
Owen Lynch, Kittenlab. (2022). [online]

Talks

Total: 107 items

Brendan Fong, "Abstractions for Real People". Relatorium Seminar, 2025-08-29
Shaowei Lin, "Relative Information and the Dual Numbers". Joint Mathematics Meetings: AMS Special Session on Algebraic Methods in Machine Learning and Optimization, 2025-01-10
Valeria de Paiva, "NLP in the math world". University of Konstanz, Germany, 2024-10-15
Valeria de Paiva, "NLP in the math world". Konstanz University Germany, 2024-10-14
Valeria de Paiva, "Dialectica and Hilbert doctrines". CLAM (7th Latin American and Carabbean Congress of Mathematics), Joao Pessoa, Brazil, 2024-08-28
Valeria de Paiva, "Categorifying computable reducibilities". CLAM Mathematical Logic Session, 2024-08-28
Valeria de Paiva, "Dialectica and Hilbert doctrines". CLAM (Caribbean and Latin American Mathematics Conference) Category Theory Session, 2024-08-28
Valeria de Paiva, "Categorifying computable reducibilities". CLAM (7th Latin American and Caribbean Mathematics Congress), Joao Pessoa, Brazil, 2024-08-27
Valeria de Paiva, Lucy Horowitz, "Three prototypes: Parmesan, MathGloss and MathAnnotator". Hausdorff Center for Mathematics, 2024-07-15
Valeria de Paiva, "Dialectica Categories for all". Hausdorff Institute of Mathematics, Prospects of Formal Mathematics, 2024-07-08
Valeria de Paiva, "AI tools for Better Math". Hausdorff Center for Mathematics, 2024-06-13
Shaowei Lin, "Formal AI-Assisted Code Specification And Synthesis: Concrete Steps Towards Safe Sociotechnical Systems". FAR Seminar, 2024-05-22
Valeria de Paiva, "Network Mathematics for All". Topos-Chapman Workshop, 2024-05-14
Shaowei Lin, "AI-Assisted Coding: Correct By Construction, Not By Generation". Chapman University, 2024-05-08
Valeria de Paiva, "Voce e sua Pesquisa Problemas em Logica: Quais, Como e Por Que?". SOL, Sociedade Brasileira de Logica (SBL), Brazil, 2024-04-15
Valeria de Paiva, "AI Tools for Better Math: Network Mathematics". Dealer: SRI PARC, Palo Alto, 2024-04-12
Valeria de Paiva, "Women in Logic Online & Network Mathematics". Vienna Center for Logic and Algorithms, 2024-03-20
Evan Patterson, "Toward formalizing scientific theories and models using categorical logic". Chapman University, 2024-01-31
David Spivak, "Dynamic operads: compositional adaptive systems". Caltech Special Seminar in Mechanical and Civil Engineering, 2023-12-14
Shaowei Lin, "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
Shaowei Lin, "Relative Information and the Dual Numbers". San Francisco State University: Algebra, Geometry and Combinatorics Seminar, 2023-10-25
Valeria de Paiva, "War Time Proofs & futuristic programs". Berkeley Logic Colloquium, 2023-10-13
Valeria de Paiva, "Extracting Math Concepts from Text". Schloss Dagstuhl, Germany, 2023-10-03
Evan Patterson, "Cartesian double theories". Topos Institute Berkeley Seminar, 2023-09-25
Valeria de Paiva, "War Time Proofs, futuristic programs". Strange Loop, 2023-09-22
Valeria de Paiva, "Extracting Mathematical Concepts with Large Language Models". MathUI @Conference on Intelligent Computer Mathematics, online, 2023-09-07
Evan Patterson, "Structured and decorated cospans from the viewpoint of double category theory". Applied Category Theory 2023, 2023-08-04
David Spivak, "Applied Category Theory: Towards a science of multidisciplinarity". Society for Multidisciplinary and Fundamental Research, 2023-07-25
Shaowei Lin, "All you need is relative information". Singular Learning Theory and Alignment Summit (Berkeley), 2023-06-26
Valeria de Paiva, "Lenses and Dialectica Constructions". MFPS 2023, Bloomington, Indiana, 2023-06-23
Valeria de Paiva, "Dialectica Categories and Doctrines". Workshop on Doctrines & Fibrations, Padova, Italy, 2023-06-01
Valeria de Paiva, "Constructive Modal Logics: a tutorial". Pisa, IT, Department of Computer Science, 2023-05-24
David Spivak, "Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems". Categories for Consciousness Science, 2023-04-15
Valeria de Paiva, "Dialectica Categories Revisited". Chapman University OCIE, 2023-04-14
David Spivak, "Dynamic organizational systems: from deep learning to prediction markets". Categories for AI, 2023-03-27
Valeria de Paiva, "Dialectica and Godel Doctrines". 2nd EBTC, Sao Paulo, BR, 2023-03-22
Valeria de Paiva, "Dialectica Comonoids". Denver Seminar on Logic and Algebra, 2023-02-17
David Spivak, "Poly is an unreasonably effective abstraction". Finding the Right Abstractions for Healthy Systems (FRA2), 2023-01-09
Valeria de Paiva, "Dialectica Categorical Constructions". non JMM 2023, 2023-01-06
David Spivak, "Category Theory is Living Language". JMM 2023, 2023-01-05
Brandon Shapiro, "Dynamic Operads for Evolving Organizations". JMM 2023, 2023-01-05
Brandon Shapiro, "Double Presheaf Categories via Polynomial Functors". Virtual Double Categories workshop, 2022-11-29
Evan Patterson, "AlgebraicJulia: a compositional approach to technical computing". NIST Workshop on Compositional Structures for Systems Engineering and Design, 2022-11-04
Evan Patterson, "Introduction to double categories and applications to relational databases". University of Florida Algebra Seminar, 2022-10-27
David Spivak, "Dynamic organizational structures". NASA PCE3, 2022-10-20
David Spivak, "Dynamic Interfaces and Arrangements: An algebraic framework for interacting systems". Active Inference Institute, 2022-09-13
Evan Patterson, "Double categories for databases and knowledge representation". Topos Institute Berkeley Seminar, 2022-09-06
Valeria de Paiva, "Dialectica Categorical Constructions". Encontro Brasil-Portugal 2022, Salvador, Bahia, 2022-08-19
Valeria de Paiva, "Panel Logic Meets ML". NALOMA, 2022-08-12
Tim Hosgood, "Diagrammatic differential equations". ACT2022, 2022-07-22
Brandon Shapiro, "Dynamic operads for evolving organizations". ACT2022, 2022-07-19
David Spivak, "Polynomial functors and Shannon Entropy". ACT2022, 2022-07-19
Sophie Libkind, "Typed and stratified models with slice categories". ACT2022, 2022-07-19
Valeria de Paiva, "Tutorial: Constructive Modal Logics". Australasian Association for Logic, 2022-06-23
Evan Patterson, "Sketches in Compositional Dynamics and Planning". ICRA 2022 Workshop on Compositional Robotics, 2022-05-23
Valeria de Paiva, "Dialectica Categories Revisited". 8th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford University, 2022-05-22
David Spivak, "Polynomial functors and Shannon Entropy". Symposium for Categorical Semantics of Entropy, 2022-05-13
Valeria de Paiva, "PLN pra Tod@s". IC-CDI C4AI, USP, Sao Paulo, Brazil, 2022-04-27
Valeria de Paiva, "Networked Mathematics". Pisa CS Department, 2022-04-07
Valeria de Paiva, "Doing Without a Modality". MSFP/ETAPS, 2022-04-02
Valeria de Paiva, "Problemas de Kolmogorov-Veloso". UFBa, 2022-03-21
Brandon Shapiro, "Familial Monads for Higher and Lower Category Theory". 2022 Workshop on Polynomial Functors, 2022-03-16
Valeria de Paiva, "Dialectica Petri Nets". Intercats, 2022-03-08
David Spivak, "Sense-making: accounting for intelligibility". Mathematics of Collective Intelligence (IPAM), 2022-02-19
Evan Patterson, "Principles and pitfalls of designing software for applied category theory". Topos Institute Berkeley Seminar, 2022-02-14
David Spivak, "Categorical interaction in the polynomial ecosystem". Seminar on Categorical Interaction (Topos Institute), 2022-01-25
Valeria de Paiva, "Natural Language Inference: for Humans and Machines". Topos Institute Berkeley Seminar, 2022-01-24
Valeria de Paiva, "Negation in the ecumenical system". 1st Brazil-Colombia Logic meeting, 2021-12-17
Valeria de Paiva, "The importance of being Earnest: open datasets in Portuguese". OpenCor Workshop (Bracis), 2021-12-03
Evan Patterson, "Categories of diagrams in data migration and computational physics". Topos Institute Colloquium, 2021-12-02
Valeria de Paiva, "Constructive Modal and Linear Logics". Tallinn University of Technology, Estonia, 2021-12-02
David Spivak, "Polynomial functors and database aggregation". Novemberfest, 2021-11-13
Valeria de Paiva, "Semantics and Reasoning: for NLP, AI and ACT". Ada Lovelace Day, Lucy Cavendish College, Cambridge, 2021-10-20
David Spivak, "Dynamic networks generalize deep learning". Michael Mahoney Statistics Seminar, 2021-10-07
David Spivak, "Ologs: what, why, and how". Introduction to Applied Category Theory course (University of Florida), 2021-09-23
David Spivak, "Dynamic networks and learning". 'AFOSR: Dynamical Systems and Control Theory Review', 2021-09-21
Brendan Fong, "Regular Logic via String Diagrams: A Case Study". MFPS Invited Tutorial, 2021-09-02
Valeria de Paiva, "Dialectica Comonads". CALCO Invited Talk, 2021-08-31
David Spivak, "Dynamic Rewiring as Learning". Applied Category Theory and Graph Operad Logic, 2021-08-27
Valeria de Paiva, "Categorical Explicit Substitutions". Topos Institute Colloquium, 2021-08-19
Brendan Fong, "Topos Institute". ACT2021 Industry Session, 2021-07-12
Brendan Fong, "Panel on 'The Many Paths to Understanding Deep Learning'". 'Brazil in AI: Understanding Deep Learning', 2021-07-09
Evan Patterson, "Compositional Modeling with AlgebraicJulia". IMAG Viral Pandemic Working Group, 2021-07-08
Brendan Fong, "Backprop as Functor". 'Brazil in AI: Understanding Deep Learning', 2021-06-25
Valeria de Paiva, "Constructive Modalities". Seventh Ticamore Meeting, 2021-06-16
Brendan Fong, "Topos Institute". QPL Industry Session, 2021-06-08
Valeria de Paiva, "Categorical Semantics for Explicit Substitutions". University of Cambridge Category Theory Seminar, 2021-06-01
David Spivak, "Dynamic Interaction Patterns". 'Compositional Robotics: Mathematics and Tools (ICRA 2021)', 2021-05-31
Valeria de Paiva, "Constructive Modalities". 'Dinâmicas: Celebrating Women in Math', 2021-05-25
David Spivak, "Toward interactive control". SIAM Mini-Symposium of Dynamics and Networks, 2021-05-23
Valeria de Paiva, "Dialectica and Kolmogorov Problems". Finding the Right Abstractions, 2021-05-19
Evan Patterson, "A Short Introduction to Categorical Logic". Finding the Right Abstractions, 2021-05-18
David Spivak, "Cultivating Strategies". Finding the Right Abstractions, 2021-05-04
Brendan Fong, "Welcome to Topos". Finding the Right Abstractions, 2021-05-04
David Spivak, "Tutorial on Category Theory: Part 1, Pure and Classical". Finding the Right Abstractions, 2021-05-01
David Spivak, "Tutorial on Category Theory: Part 2: Applied". Finding the Right Abstractions, 2021-05-01
Valeria de Paiva, "Linear Logic and Constructive Mathematics". 'Philosophy PUC-Rio: Working Logician 2021', 2021-04-21
Brendan Fong, "Cospans as a Tool for Composition". UNAM Categories Seminar, 2021-03-31
Brendan Fong, "Mathematical stem cells for an information ecology". JHU APL Intelligent Systems Seminar, 2021-03-04
David Spivak, "Polynomials and the Dynamics of Data". UNAM Categories Seminar, 2021-02-17
Valeria de Paiva, "Categorical Models for Explicit Substitutions". GTC-UnB, 2021-02-08
David Spivak, "Applied Category Theory: Mathematics for Interdisciplinary systems modeling". Mathematics in Artificial Reasoning and Sciences, 2021-02-02
Valeria de Paiva, "A semântica nossa de cada dia". 1st Brazilian Meeting on Category Theory, 2021-01-27
Brendan Fong, "The Language of Networks". ACT4E, 2021-01-21
Evan Patterson, "C-sets for data analysis: graphs, relational data, and conjunctive queries". Bay Area ACT Meetup Group, 2021-01-20
David Spivak, "Applied category theory: towards a science of interdisciplinarity". ACT4E, 2021-01-07
Evan Patterson, "(Co)relational computing in Catlab: The operad of UWDs and its algebras". MIT Categories Seminar, 2020-12-10

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.