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.
Jean-Baptiste Vienney (Aug 15 2024 at 20:40):Is there a software for writing 3D commutative diagrams?
Kevin Carlson (Aug 15 2024 at 21:39):Homotopy.io is all about higher dimensional diagrams although more surface diagrams, which may not be what you mean. Asymptote is a programming language for vector graphics that has the best capabilities of anything for mixing LaTeX and 3D. But you have to learn a whole programming language. (It’s pretty similar syntax to C.)
Nathanael Arkor (Aug 15 2024 at 22:07):What do you mean by "3D commutative diagram"?
Jean-Baptiste Vienney (Aug 16 2024 at 01:31):I mean writing a 1-categorical diagram but with the shape of a cube for instance.
Nathanael Arkor (Aug 16 2024 at 06:50):You can draw such diagrams in quiver, but you will need to add crossing over by hand.
Tom Hirschowitz (Aug 16 2024 at 08:59):You can also draw them in @Ambroise's editor — which doesn't appear to have any official name yet — by manually adjusting the ‘z’ level of arrows.