I work with Evan - his stuff is great. :) This was designed to give more of a hands-on approach to category theory with the idea of Catlab.jl being used where applicable.