Quiver was absolutely indispensable when I did a category theory course a few years ago. The UI was clean, intuitive, and featureful. Compared to banging one's head against Tikz, it's absolutely no contest.
Quiver: A Modern Commutative Diagram Editor
11–20 of 40 posts
Re: Quiver: A Modern Commutative Diagram Editor
#12Can anyone explain what "commutative and pasting diagrams" are to a humble (and not very good) software writer? The Wikipedia page was too abstract for me to understand at a basic level [0]. [0]: https://en.wikipedia.org/wiki/Commutative_diagram
It would help if you read the definition of a category. It is very abstract but also pretty simple with just a couple of axioms. An example of a category is the "sets and functions" category. In that category, every conceivable set lives as an object (node) and every conceivable function between any two sets lives as an arrow between these two sets. So, you can take an arrow from A to B and one from B to C and compos…
It would help if someone could tell what's wrong in my reply.
Re: Quiver: A Modern Commutative Diagram Editor
#13Earlier quoted context omitted.
It would help if you read the definition of a category. It is very abstract but also pretty simple with just a couple of axioms. An example of a category is the "sets and functions" category. In that category, every conceivable set lives as an object (node) and every conceivable function between any two sets lives as an arrow between these two sets. So, you can take an arrow from A to B and one from B to C and compos…
It would help if someone could tell what's wrong in my reply.
You made a completely obvious and true statement starting with "It would help..." That seems to be frowned upon on HN.
BTW, a simpler definition of a (small) category is that it is a partial monoid.
Re: Quiver: A Modern Commutative Diagram Editor
#14In the same kind of vein: I was recently very impressed by this pretri net editor https://pes.vsb.cz/petrineteditor/#/model
Petri nets are cool. They’re sort of like if finite state machines could be multithreaded.
I first found out about petri nets when reading the writings of an organization called “statebox”. Statebox was interested in petri nets and commutative diagrams (as well as many other category theory concepts). I read some of their papers, was entranced, and it became my dream to work there. Unfortunately their homepage now is just the text “imagine being a category theorist” with a laughing-crying emoji, so I have no idea what happened to them.
Re: Quiver: A Modern Commutative Diagram Editor
#15Earlier quoted context omitted.
It would help if someone could tell what's wrong in my reply.
You made a completely obvious and true statement starting with "It would help..." That seems to be frowned upon on HN. BTW, a simpler definition of a (small) category is that it is a partial monoid.
[flagged]
Re: Quiver: A Modern Commutative Diagram Editor
#16Just 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...
Re: Quiver: A Modern Commutative Diagram Editor
#17Re: Quiver: A Modern Commutative Diagram Editor
#18A Typst export option would be wonderful to have alongside the LaTeX one.
Re: Quiver: A Modern Commutative Diagram Editor
#19Earlier quoted context omitted.
It would help if someone could tell what's wrong in my reply.
You made a completely obvious and true statement starting with "It would help..." That seems to be frowned upon on HN. BTW, a simpler definition of a (small) category is that it is a partial monoid.
You mean a monoidoid.
(I’m not sure this ‘simpler definition’ is going to help!)
Re: Quiver: A Modern Commutative Diagram Editor
#20I was using https://tikzcd.yichuanshen.de/ last night, which is basically a less feature-filled version of this. It’s quite nice for doing simple diagrams, though.