Summary edit

Licensing edit

I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

LaTeX source edit

\begin{diagram}
1 + \N \times {\tt List}_\N    & \rTo               & 1 + \N \times \N \\
\dTo^{[{\tt nil}, {\tt cons}]} &                    & \dTo_{[0,+]}     \\
{\tt List}_\N                  & \rDashto_{\tt sum} & \N
\end{diagram}