AlgebraicJulia / StockFlow.jl

https://algebraicjulia.github.io/StockFlow.jl/
MIT License
65 stars 6 forks source link

Typed StockFlows #64

Open neonWhiteout opened 1 year ago

neonWhiteout commented 1 year ago

Thinking the new category will have an arrow from each link to a type, that being the result of whatever the combination of the two is. Differences would be with O and I - maybe have a direct link with S and V with the same type? and maybe LS, where the type wouldn't change.

Will take some thinking.

jpfairbanks commented 1 year ago

Ideally this would just be a slice category in the category of stock flows. So objects are homs into a fixed object and morphisms are commuting triangles.