Category Theory
Zulip Server
Archive

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.

Stream: community: general

Topic: commutative diagrams on Zulip

view this post on Zulip Jules Hedges (Apr 28 2021 at 12:10):

Great news! KaTeX, which is the LaTeX backend that Zulip uses, has added support for commutative diagrams

A→aBb↓↑cC=D\begin{CD} A @>a>> B \\ @VbVV @AAcA \\ C @= D \end{CD}

view this post on Zulip Jules Hedges (Apr 28 2021 at 12:11):

Slightly less good news: It's amscd, which has a pretty godawful syntax. But beggars can't be choosers

```math
\begin{CD}
A @>a>> B \\
@VbVV @AAcA \\
C @= D
\end{CD}

view this post on Zulip Jules Hedges (Apr 28 2021 at 12:17):

Relevant meta thread: #general: meta > diagrams in zulip

view this post on Zulip Tomáš Jakl (Apr 28 2021 at 18:28):

Wow, that's wonderful news. Do you know if it can also draw diagonal arrows?

view this post on Zulip Tomáš Jakl (Apr 28 2021 at 20:08):

Ok, I'll answer myself, seems that amscd doesn't support diagonal arrows.

view this post on Zulip Mike Stay (Jun 16 2021 at 18:17):

Zulip has a bot API, so someone could write one that does arbitrary LaTeX or tikz/pgf.

view this post on Zulip Mike Stay (Jun 16 2021 at 18:17):

https://zulip.com/api/writing-bots

view this post on Zulip Jon Sterling (Jun 22 2021 at 04:03):

I don't think I would mind the syntax, but the real problem is the rendering... it is using a combination of pipes and arrows, resulting in lines of uneven thickness.