| AlgebraicJulia Resource1 #715301 AlgebraicJulia aims to create novel approaches to scientific computing based on applied category theory, and constitutes an ecosystem of software based on generalized algebra and category theory in Julia. |
| Name | Description | Development Status | Catlab.jl | A framework for applied category theory in the Julia language |
The package is nearing it'sv1.0.0release | AlgebraicPetri.jl | Build petri net agent based models compositionally |
Functionality is mostly built-out, but the API may change substantially | AlgebraicRelations.jl | Build SQL categorically |
Functionality is mostly built-out, but the API may change substantially. | AlgebraicDynamics.jl | Build dynamical systems compositionally |
Functionality is mostly built-out, but the API may change substantially. | CombinatorialSpaces.jl | Simplicial sets and other combinatorial models of geometric spaces |
Functionality is mostly built-out, but the API may change substantially. | |
+Verweise (4)
- VerweiseHinzufĂŒgenList by: CiterankMapLink[3] Compositional modeling with stock and flow diagrams
Zitieren: John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson
Publication date: 31 July 2023
Publication info: arXiv:2205.08373 [cs.LO]
Zitiert von: David Price 9:15 PM 14 November 2023 GMT
Citerank: (1) 679855Nathaniel OsgoodNathaniel D. Osgood is a Professor in the Department of Computer Science and Associate Faculty in the Department of Community Health & Epidemiology at the University of Saskatchewan.10019D3ABAB
URL:
DOI: https://doi.org/10.48550/arXiv.2205.08373
|
| Auszug - [arXiv, 31 July 2023]
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 systems they describe, we have created a new package called StockFlow, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software. Compositionality is provided by the theory of decorated cospans: stock and flow diagrams can be composed to form larger ones in an intuitive way formalized by the operad of undirected wiring diagrams. Our approach also cleanly separates the syntax of stock and flow diagrams from the semantics they can be assigned. We consider semantics in ordinary differential equations, although others are possible. As an example, we explain code in StockFlow that implements a simplified version of a COVID-19 model used in Canada. |