DEV Community

Alexander Chichigin
Alexander Chichigin

Posted on

Advancing AlgebraicJulia

Cross-posted from Julia Forem

Looks like the Topos Institute got a grant from Mozilla to further develop AlgebraicJulia: https://blog.mozilla.org/en/mozilla/mieco-alegbraic-julia-brendan-fong/

AlgebraicJulia is a damn cool project. They use advanced categorical notions like cospans and what not as a basis for compositional modelling of physical-chemical-biological-epidemiological-etc. processes. But on the surface they use good 'ol "stock and flow" diagrams that are supposed to be drawn by unsuspecting scientists, possibly from different fields. That's where compositionality becomes crucial: it guarantees that combination of any two (or more) diagrams works as expected without falling apart.

I can only speculate why they decided to use Julia for this development, but my guess is to tap into rich ecosystem of Differential Equations. Which is necessary as long as "stock and flow" diagrams (as well as many other formalisms) define a system of differential equations modelling dynamics of a real-world processes.

Anyway, as long as Mozilla's MIECO program accepts and supports individual contributors, you can get paid for developing Category Theory in Julia! How crazy is that, huh? 😄

AWS GenAI LIVE image

How is generative AI increasing efficiency?

Join AWS GenAI LIVE! to find out how gen AI is reshaping productivity, streamlining processes, and driving innovation.

Learn more

Top comments (0)

Billboard image

Create up to 10 Postgres Databases on Neon's free plan.

If you're starting a new project, Neon has got your databases covered. No credit cards. No trials. No getting in your way.

Try Neon for Free →

👋 Kindness is contagious

Please leave a ❤️ or a friendly comment on this post if you found it helpful!

Okay