Here are notes on software tools and recommendations:
LuxCat.jl - a lightweight package written in Julia using Luxor.jl for diagrams used in Category Theory.