JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James Fairbanks

[@MrScottLi]

At 14:04, shouldn't the SIR model be "compact closed"? As in, shouldn't there been a feedback loop with the "Infected" wire?

[@venkataramayya4266]

Thank you very much for providing the meanings of Category Theory language syntax and moving from Abstract to Concrete using Julia Language.

[@kaushaltimilsina7727]

I think category theory is a great way to do ideas from pure mathematics like Manifolds, Cohomology, Group actions, Algebraic varieties in computation, which seems really exciting to me.

[@algebra5766]

Wow!!! This is not only cool stuff, it is beautiful .... quite elegant ..

[@alexanderherbertkurz]

What is the theory linking up Petri nets with differential equations? Any introductory references to recommend?

[@venkataramayya4266]

You may also want to look at IDEF models for developing a workflow/process flow for using Algebraic Julia!

[@algebra5766]

This is cool stuff ...

[@venkataramayya4266]

Where can we get the slides of this presentation as a PDF file?

[@alexanderherbertkurz]

Pushout of systems of differential equations ... cool ...