Structured cospans

JC Baez, K Courser - arXiv preprint arXiv:1911.04630, 2019 - arxiv.org
One goal of applied category theory is to better understand networks appearing throughout
science and engineering. Here we introduce" structured cospans" as a way to study …

[PDF][PDF] Categorical systems theory

DJ Myers - Unpublished book draft. Available at http://davidjaz …, 2022 - davidjaz.com
i September 3, 2023 Page 1 i DRAFT September 3, 2023 Page 2 Categorical Systems
Theory David Jaz Myers (Last updated: September 3, 2023) Page 3 iii This page …

Compositional modeling with stock and flow diagrams

J Baez, X Li, S Libkind, ND Osgood… - arXiv preprint arXiv …, 2022 - arxiv.org
Stock and flow diagrams are widely used in epidemiology to model the dynamics of
populations. Although tools already exist for building these diagrams and simulating the …

Univalent double categories

N Van Der Weide, N Rasekh, B Ahrens… - Proceedings of the 13th …, 2024 - dl.acm.org
Category theory is a branch of mathematics that provides a formal framework for
understanding the relationship between mathematical structures. To this end, a category not …

Decapodes: A diagrammatic tool for representing, composing, and computing spatialized partial differential equations

L Morris, A Baas, J Arias, M Gatlin, E Patterson… - Journal of …, 2024 - Elsevier
We present Decapodes, a diagrammatic tool for representing, composing, and solving
partial differential equations. Decapodes provides an intuitive diagrammatic representation …

[图书][B] Open systems: A double categorical perspective

KA Courser - 2020 - search.proquest.com
Fong has developed a compositional framework by the name of\emph {decorated cospans}
that is well-suited for modelingopen'networks and systems. In this framework, open networks …

Exploring explainable AI: category theory insights into machine learning algorithms

A Fabregat-Hernández, J Palanca… - … Learning: Science and …, 2023 - iopscience.iop.org
Explainable artificial intelligence (XAI) is a growing field that aims to increase the
transparency and interpretability of machine learning (ML) models. The aim of this work is to …

Data-Parallel Algorithms for String Diagrams

P Wilson, F Zanasi - arXiv preprint arXiv:2305.01041, 2023 - arxiv.org
We give parallel algorithms for string diagrams represented as structured cospans of
ACSets. Specifically, we give linear (sequential) and logarithmic (parallel) time algorithms …

Relational Composition of Physical Systems: A Categorical Approach

O Lynch - arXiv preprint arXiv:2310.06088, 2023 - arxiv.org
In this master's thesis, we rigorously develop two frameworks of relational composition of
systems using tools from category theory. The first framework addresses port-Hamiltonian …

Category Theory

S Breiner, E Subrahmanian, RD Sriram - Handbook of Model-Based …, 2023 - Springer
Category theory (CT) is a branch of mathematics concerned with the representation and
composition of structured relationships. Recent interest in systems engineering (SE) stems …