Hi all,
I recently wrote a blog post at the AlgebraicJulia blog: JuMP-ing with AlgebraicJulia I: The IJKLM model – AlgebraicJulia blog, which explores how to use some of the tools in the AlgebraicJulia ecosystem to address the relational algebra seen in the (infamous?) IJKLM model. AlgebraicJulia is a collection of packages which let users create data structures from applied category theory, and manipulate them categorically as well. I took inspiration from the excellent JuMP blog post at JuMP, GAMS, and the IJKLM model | JuMP. I hope this is of interest to some folks here.
I am currently writing a follow up blog post that looks more at what an AlgebraicJulia-powered workflow would look like on a practical model (including actually running JuMP.optimize! and visualization), specifically the network multi-commodity flow problem from the docs.