  Scientific computing is currently performed by writing domain specific
modeling frameworks for solving special classes of mathematical problems. Since
applied category theory provides abstract reasoning machinery for describing
and analyzing diverse areas of math, it is a natural platform for building
generic and reusable software components for scientific computing. We present
Catlab.jl, which provides the category-theoretic infrastructure for this
project, together with SemanticModels.jl, which leverages this infrastructure
for particular modeling tasks. This approach enhances and automates scientific
computing workflows by applying recent advances in mathematical modeling of
interconnected systems as cospan algebras.
