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=WzAsNSxbMSw2LCJcXHRleHR7TmF0dXJhbCBEZ...

[1] http://abstractionlogic.com