You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jason Erbele (Nov 25 2020 at 22:58):Something simple that took me a few moments to figure out how to do with quiver is moving nodes. It was cleared up after looking at the Creating and editing diagrams section of the blog post, but it might be nice to have a quick help display within the q.uiver website that specifically mentions how to move nodes.
Jason Erbele (Nov 25 2020 at 22:59):Currently arrows can be offset, but labels are stuck at the middle of an arrow. I've drawn a few commutative diagrams that have benefitted from the labels having an offset, too, so it would be nice to have that feature.
Jason Erbele (Nov 25 2020 at 23:00):I have a few more thoughts along the lines of aesthetics, but I want to play around in quiver with some serious diagrams this weekend, to see how easy it already is to work those ideas into diagrams.
Nathanael Arkor (Nov 25 2020 at 23:01):One of the tips on the opening welcome pane describes moving objects around, but I agree that it could still be more intuitive. I'm open to ideas on how to do this, because I know it's an issue.
Nathanael Arkor (Nov 25 2020 at 23:01):@Jason Erbele: by labels having an offset, you mean actually some distance from the arrow itself, rather than simply aligned to the left or right of an arrow?
Jason Erbele (Nov 25 2020 at 23:03):I meant as in how close to either end of the arrow. Currently you have ---- f ---->, but -- f ------> or ------ f --> are the kinds of label offsets I'm thinking of.
Jason Erbele (Nov 25 2020 at 23:05):For moving objects, one possible solution would be a toggle between Arrow mode and Move mode.
Jason Erbele (Nov 25 2020 at 23:05):Not sure if that's the best solution, but it would be handy if there were many nodes that needed to be moved in different directions.
Nathanael Arkor (Nov 25 2020 at 23:07):Jason Erbele said:
For moving objects, one possible solution would be a toggle between Arrow mode and Move mode.
Yes, I did consider this. I was a bit hesitant to introduce too many buttons in the toolbar, but I think this has confused several people, so it'd probably be worth doing.
Nathanael Arkor (Nov 25 2020 at 23:08):Jason Erbele said:
I meant as in how close to either end of the arrow. Currently you have ---- f ---->, but -- f ------> or ------ f --> are the kinds of label offsets I'm thinking of.
Ah, I see. I actually started working on this feature locally: it's on my to-do list :)
Cole Comfort (Nov 25 2020 at 23:26):Nathanael Arkor said:
That could be a tad confusing, as there's already a web-based higher-dimensional string diagram editor called Globular :)
Shout out to the 3d version www.homotopy.io
Cole Comfort (Nov 25 2020 at 23:26):@Lukas Heidemann @Nick Hu
Notification Bot (Nov 30 2020 at 10:47):This topic was moved here from #general > quiver: a modern commutative diagram editor by Matteo Capucci
Nathanael Arkor (Nov 30 2020 at 12:05):@Matteo Capucci: I deliberately created this topic in #general rather than #practice: software, because a general purpose commutative diagram editor is likely useful to the majority of the people on the server, whereas the software usually discussed in #practice: software is of much more limited interest.
Nathanael Arkor (Nov 30 2020 at 12:09):(My suspicion is that fewer people pay attention to this stream than #general.)
Jules Hedges (Nov 30 2020 at 12:10):Yes, I propose the distinction should be: discussion about the development of such software should happen here, but the announcement should be on #general, and also feedback from (potential) users who don't know/care about software development
Fabrizio Genovese (Nov 30 2020 at 12:27):@Nathanael Arkor I don't know if you are open to suggestions/improvements, but I'll try anyway: I'm using your software and it's pretty dope, the only thing that's missing for me is an option to decide positioning/offset of labels more granularly. E.g. sometimes I'd like a label to be "near start" or "near end" or stuff like that. It is especially usefull when your diagrams are dense or look like cubes, and arrows tend to overlap. As of now I just draw the diagram in quiver and implement these changes manually
Nathanael Arkor (Nov 30 2020 at 12:29):I'm definitely open to suggestions :)
More fine-grained control of the label positioning is something on my to-do list, definitely. For now, the best way is to manually edit the source as you say, but this is quite inconvenient if you need to make changes. My plan is to address the issues that have been reported since the release, and then think about new features.
Matteo Capucci (he/him) (Nov 30 2020 at 13:47):Nathanael Arkor said:
Matteo Capucci: I deliberately created this topic in #general rather than #practice: software, because a general purpose commutative diagram editor is likely useful to the majority of the people on the server, whereas the software usually discussed in #practice: software is of much more limited interest.
Alright, feel free to move it back! I was just tidying up since I see #general is quite... abused? It's not a capital crime but we have streams for a reason :laughing:
Matteo Capucci (he/him) (Nov 30 2020 at 13:48):Jules Hedges said:
Yes, I propose the distinction should be: discussion about the development of such software should happen here, but the announcement should be on #general, and also feedback from (potential) users who don't know/care about software development
This makes sense
Matteo Capucci (he/him) (Nov 30 2020 at 13:48):Let's split the topic
Notification Bot (Nov 30 2020 at 17:41):This topic was moved by Matteo Capucci to #general: meta > use of #general
Joe Moeller (Dec 16 2020 at 02:42):I second Jason's request for adjusting arrow label position. i.e. the command pos in \arrow[r, "f", pos = 0.34]. I use this all the time in my tikzcd adventures.