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.
Lock (Jul 17 2025 at 23:17):@Nathanael Arkor or anyone else who wants to become an archer too
q.uiver.app/arrowgram workshop lunch at Bistro Bastardo @CT2025 (Mexická restaurace) Nám. Svobody 92/21, 602 00 Brno-střed around 13:00pm-14:00pm this Friday 18th July (WITH an optional online meeting link)
... OR at an alternative place and time, maybe Saturday etc. (anyone simply create and share here any new hackathon/workshop event created at https://hotdocx.github.io )
This lunch event is to discuss q.uiver.app vs arrowgram (vs q.uiver.app/arrowgram vs arrowgram/q.uiver.app etc.)
note that q.uiver.app is presently not able to export to SVG
https://github.com/varkor/quiver/issues/8
arrowgram is a React component that renders SVG diagrams of arrows, nodes, and labels from a declarative JSON specification. It is designed for creating mathematical diagrams, such as commutative diagrams used in category theory, directly within a web application. The component is self-contained, performing all necessary geometric calculations to translate the abstract specification into a visually clear SVG representation. It is intended for use in markdown rendering pipelines or interactive development environments like Sandpack. arrowgram can export to SVG.
Try arrowgram app at these URL links:
to draw an arrowgram
https://hotdocx.github.io/arrowgram/
arrowgram AI template rendered within a markdown pipeline
https://hotdocx.github.io/#/hdx/25188CHRI26000
for the github repo of the open-source app
https://github.com/hotdocx/arrowgram
Note: The event's page also has some more share features and an automatically-created link to an associated online meeting (via Teams) for 13:00pm-14:00pm this Friday 18th July
https://hotdocx.github.io/#/hdx/25198CHRI89000
Note: in general such apps as https://hotdocx.github.io could be used by events organizers/participants to promote/synchronize the discovery of local lunch options at conferences...
P.S. for the future record, Arkor were given an opportunity to respond to q.uiver.app vs arrowgram @Valeria de Paiva
Kevin Carlson (Jul 18 2025 at 00:06):Can arrowgram also export to TiKZ or some other vector graphics programming language (assuming we don't consider SVG itself a vector graphics programming language, I suppose...)
Valeria de Paiva (Jul 18 2025 at 00:25):Why am I tagged to this conversation? I am no developer of graphical apps TiKZ, quiver, or anything else like that.
Morgan Rogers (he/him) (Jul 18 2025 at 11:05):Should I move this to #community: events > CT 2025 ?
Lock (Jul 18 2025 at 12:26):Kevin Carlson said:
Can arrowgram also export to TiKZ or some other vector graphics programming language (assuming we don't consider SVG itself a vector graphics programming language, I suppose...)
[DONE]
Thanks for the reminder.
The intention was that arrowgram is meant to be used in rendering flow with Gemini 2.5 Pro AI processing and generation of textual JSON spec of arrowgram diagrams... so tikzcd appeared irrelevant at the time of design/architecture of the app.
Anyone has any other feature requests ?
OK, times is up it was a productive first q.uiver.app vs arrowgram workshop, now there is an upcoming CT2025 seminar in 5 minutes, more updates late... A+
arrowgram_tikzcd_export_Capture.PNG
You can test the tikzcd export here: