I'm looking for a Javascript package that will help me write category theory diagrams. Basically, creating dots with labels and arrows between the dots (where more than one arrow can connect two dots and a dot can be connected to itself). Plus, the ability to specify line types (solid / dashed).
Specifically, I want something that will automatically layout the elements for me.
I saw canviz but apparently it requires graphviz to prerender the diagrams. I also saw dracula, but apparently it can't draw arcs from a node to itself.