Catlab.jl

A framework for applied category theory