Work > Our output

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

Software

Total: 10 items
No matching items

Papers

Total: 72 items
  • 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
  • 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
  • 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
No matching items

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]
No matching items

Talks

Total: 99 items
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.