JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James Fairbanks
Ғылым және технология
Applied Category Theory is a new paradigm of applied mathematics that incorporates the advances in type theory to analyze scientific and engineering systems. Our talk will describe the AlgebraicJulia software ecosystem for representing and executing category theoretic computations with applications to numerical linear algebra, scientific modeling, and data science.
Applied Category Theory builds on algebraic interpretations of type systems to represent mathematical reasoning in a universal way. This allows the construction of domain specific logics that can capture the reasoning systems employed by programmers, scientists, and engineers in differing applications. The Julia type system is sufficiently sophisticated to support implementations of these domain specific logics, while the metaprogramming facilities support the implementation of domain specific languages for describing systems within these domain specific logics.
This talk will illustrate how features of Julia interact to create an ideal environment for implementing such abstract and mathematical structure in code, and feature some specific applications to the technical computing community. Such examples include, reasoning about linear maps graphically, constructing scientific models of chemical or biological systems via model composition, and hierarchical design of complex systems. The algebraic approach used in this ecosystem illustrates how many techniques in computer science that represent processes as graphs with mathematical interpretations are related on a deep level. The generic programming capabilities of julia combined with low cost abstractions allow us to realize this similarity in the structure of our software, which reveals and leverages the similarity between application areas to build cohesive tooling for diverse applications.
This talk will present code developed in the Catlab.jl, Petri.jl, and SemanticModels.jl packages. Time Stamps:
00:00 Welcome!
00:10 Help us add time stamps or captions to this video! See the description for details.
Want to help add timestamps to our KZread videos to help with discoverability? Find out more here: github.com/JuliaCommunity/You...
Interested in improving the auto generated captions? Get involved here: github.com/JuliaCommunity/You...
Пікірлер: 10
Thank you very much for providing the meanings of Category Theory language syntax and moving from Abstract to Concrete using Julia Language.
Wow!!! This is not only cool stuff, it is beautiful .... quite elegant ..
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.
At 14:04, shouldn't the SIR model be "compact closed"? As in, shouldn't there been a feedback loop with the "Infected" wire?
What is the theory linking up Petri nets with differential equations? Any introductory references to recommend?
You may also want to look at IDEF models for developing a workflow/process flow for using Algebraic Julia!
This is cool stuff ...
Where can we get the slides of this presentation as a PDF file?
Pushout of systems of differential equations ... cool ...