Just used this a few days ago to draw a simple diagram [0] for my book [1]! Unfortunately, because it is for category theory only, it doesn't have much support

Just used this a few days ago to draw a simple diagram [0] for my book [1]! Unfortunately, because it is for category theory only, it doesn't have much support for prettifying your nodes, but you can do that with the latex, of course. [0] https://q.uiver.app/#q=WzAsNSxbMSw2LCJcXHRleHR7TmF0dXJhbCBEZWR1Y3Rpb259Il0sWzEsNCwiXFx0ZXh0e1NlcXVlbnQgRGVkdWN0aW9ufSJdLFswLDIsIlxcdGV4dHtDdXRBbnRlIERlZHVjdGlvbn0iXSxbMiwyLCJcXHRleHR7Q3V0U3VjYyBEZWR1Y3Rpb259Il0sWzEsMCwiXFx0ZXh0e1NlcXVlbnQgQ2FsY3VsdXN9Il0sWzAsMV0sWzEsMl0sWzEsM10sWzIsNF0sWzMsNF1d https://q.uiver.app/#q=WzAsNSxbMSw2LCJcXHRleHR7TmF0dXJhbCBEZ... [1] http://abstractionlogic.com http://abstractionlogic.com