Something went wrong. Try again.
Monorepo for Aesthetic.Computer aesthetic.computer
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394% !TEX program = xelatex\documentclass[11pt, letterpaper]{article}
\usepackage{fontspec}\usepackage{unicode-math}\setmainfont{Latin Modern Roman}[ Extension=.otf, UprightFont=lmroman10-regular, BoldFont=lmroman10-bold, ItalicFont=lmroman10-italic, BoldItalicFont=lmroman10-bolditalic,]\setsansfont{Latin Modern Sans}[ Extension=.otf, UprightFont=lmsans10-regular, BoldFont=lmsans10-bold, ItalicFont=lmsans10-oblique, BoldItalicFont=lmsans10-boldoblique,]\setmonofont{Latin Modern Mono}[ Extension=.otf, UprightFont=lmmono10-regular, ItalicFont=lmmono10-italic, Scale=0.88,]
\usepackage{xcolor}\usepackage{graphicx}\graphicspath{{figures/}{../arxiv-ac/figures/}}\usepackage{booktabs}\usepackage{ragged2e}\usepackage{microtype}\usepackage{multicol}\usepackage{listings}
\usepackage[ top=2.2cm, bottom=2.5cm, left=2.0cm, right=2.0cm]{geometry}
\makeatletter\def\input@path{{../}}\makeatother\usepackage{ac-paper-layout}
% Override the shared watermark: drop the left/right side pals logos,% keep only the diagonal WORKING DRAFT text.\ClearShipoutPicture\AddToShipoutPictureBG{% \begin{tikzpicture}[remember picture, overlay] \node[opacity=0.12, rotate=45, anchor=center] at (current page.center) {{\aclight\fontsize{2.5cm}{3cm}\selectfont\color{acpink} WORKING DRAFT}}; \end{tikzpicture}%}
% --- listings style for KidLisp ---\lstdefinestyle{kidlisp}{ basicstyle=\ttfamily\footnotesize\color{acdark}, keywordstyle=\color{acpurple}\bfseries, commentstyle=\color{acgray}\itshape, showstringspaces=false, breaklines=true, columns=fullflexible, morekeywords={seq, par, add, copy, discard, scale, in-A, in-B, out-1, out-2}, morecomment=[l]{;}, frame=leftline, framesep=6pt, rulecolor=\color{acpink}, xleftmargin=8pt,}
\newcommand{\gla}{\textsc{Graphical Linear Algebra}}
\hypersetup{ pdftitle={Drawing Is Computing: KidLisp as an Interactive Medium for Graphical Linear Algebra}, pdfauthor={Jeffrey (prompt.ac / @jeffrey)},}
\begin{document}
\thispagestyle{empty}\vspace*{\fill}\begin{center}\includegraphics[height=8em]{pals}\par\vspace{0.4em}{\acbold\fontsize{20pt}{24pt}\selectfont\color{acdark} Drawing Is Computing}\par\vspace{0.35em}{\fontsize{11pt}{14pt}\selectfont\color{acpink} KidLisp as an Interactive Medium for Graphical Linear Algebra}\par\vspace{1.0em}{\normalsize\color{cyan!70!blue}\textbf{@jeffrey}}\par{\small\color{acgray} Aesthetic.Computer}\par{\small\color{acgray} ORCID: \href{https://orcid.org/0009-0007-4460-4913}{0009-0007-4460-4913}}\par\vspace{0.8em}\rule{0.6\textwidth}{1pt}\par\vspace{0.4em}{\small\color{acpink!50}\textit{a position paper and collaboration proposal --- not for citation}}\par\vspace{0.3em}{\footnotesize\color{acgray} June 2026}\par\end{center}\vspace*{\fill}\clearpage
\begin{multicols}{2}
\begin{abstract}\noindent\gla{} (GLA) reframes linear algebra as a diagrammatic language: linearmaps and relations become \emph{string diagrams}---generators wiredtogether, composed in sequence and in parallel---and proofs become visualrewrites. Its pedagogy and its research artifacts, however, areoverwhelmingly \emph{static}: PDFs, slides, chalk. This paper argues thatAesthetic Computer (AC) and its embedded language KidLisp are a natural\emph{interactive} substrate for GLA. I sketch three concretebridges---a diagram renderer, an executable term language for props, andan animated signal-flow playground---note honestly where the tree/graphmismatch makes the problem interesting rather than trivial, and close witha proposal for collaboration with the GLA / Applied Category Theory (ACT)community.\end{abstract}
\section{What Graphical Linear Algebra is}
GLA is the research program of Filippo Bonchi, Pawe\l{} Soboci\'nski, andFabio Zanasi (with Robin Piedeleu and others), popularised throughSoboci\'nski's long-running blog \emph{graphicallinearalgebra.net}. Itscore move is to stop writing linear algebra in matrices and symbols andstart \emph{drawing} it.
A diagram is built from a tiny set of \textbf{generators}---addition, theconstant zero, copy, discard, and multiplication-by-a-scalar---drawn asboxes with wires. Two composition operators glue them:
\begin{itemize} \item \textbf{sequential} ($\circ$): connect the outputs of one diagram to the inputs of the next, left to right; \item \textbf{parallel} ($\otimes$): stack two diagrams side by side.\end{itemize}
The algebra of these diagrams is captured by the symmetric monoidaltheory of \textbf{Interacting Hopf Algebras (IHA)}, a completepresentation of the \emph{prop of linear relations}---relations that arealso linear subspaces. ``Complete'' is the punchline: two diagrams denotethe same linear relation \textbf{if and only if} one can be rewritten intothe other by the IHA equations. You no longer \emph{calculate}; you\emph{redraw}. A headline application is \textbf{signal flowgraphs}---the dataflow diagrams engineers already use for lineardynamical systems and circuits---which GLA gives a fully compositionalsemantics.
The key conceptual inversion: in GLA the picture is not an\emph{illustration} of the mathematics. The picture \textbf{is} themathematics.
\section{What Aesthetic Computer and KidLisp are}
Aesthetic Computer is a mobile-first runtime and social network forcreative computing: a musical-instrument-like interface where usersdiscover memorisable paths and run published ``pieces''---smallinteractive programs addressed by URL. \textbf{KidLisp} is its embeddedLisp dialect for generative art: S-expressions over ${\sim}118$ graphics,timing, and math primitives, hot-reloaded live in the browser, every pieceshareable by a short link.
Two properties of AC matter for what follows:
\begin{enumerate} \item \textbf{It is live and shareable by default.} A piece is a URL. There is no build step between an idea and a running, linkable artifact. \item \textbf{It treats spatial/visual interfaces as carriers of real computational meaning}---the same bet GLA makes about diagrams, aimed at a different domain.\end{enumerate}
\section{The bridges}
\subsection{A diagram renderer (the easy, immediately useful one)}
A string diagram is a planar wiring of boxes: sequential composition runsleft-to-right, parallel composition stacks vertically. KidLisp alreadydraws boxes, lines, and text. A renderer that lays out GLA generators andtheir wires is a short piece---the companion artifact \texttt{gla.lisp}is a first, hand-placed instance: two inputs feeding an \textbf{add}node, whose sum feeds a \textbf{copy} node that fans out to two outputs,with animated dots showing the signal propagate. It runs in the browsertoday.
The value here is pedagogical and immediate: GLA's teaching materials arestatic; an embeddable, linkable, \emph{animated} diagram is not.
\subsection{An executable term language for props (the interesting one)}
The naive pitch---``Lisp is already a diagram language''---undersells theproblem, and saying so honestly is the whole point.
\textbf{Lisp S-expressions are trees. String diagrams are graphs.} A treehas exactly one root and no sharing; an expression \texttt{(f (g x) (hx))} \emph{names} \texttt{x} twice but the term structure is still a treewith variables doing the sharing. GLA's power lives precisely in thestructure trees cannot express directly:
\begin{itemize} \item \textbf{copy / fan-out}---one wire becoming two---is sharing made first-class, \emph{without} a variable to name it; \item \textbf{discard}---throwing a wire away---is structural weakening; \item \textbf{feedback loops}---a signal flow graph's defining feature---are cycles, which a term tree simply does not have.\end{itemize}
So ``render Lisp as diagrams'' is not the task. The real task is to designa \textbf{textual syntax for a prop}---a term language whose denotation isa morphism in a symmetric monoidal category, with explicit \texttt{copy},\texttt{discard}, sequential $\circ$, and parallel $\otimes$ combinators,plus a trace / feedback operator. This is a known and respected problem(the \emph{internal language of monoidal categories}; related to thealgebra of Frobenius/Hopf structures and to hypergraph categories). AKidLisp-flavored surface syntax that \textbf{evaluates} to a concretelinear relation---and renders the corresponding diagram as it goes---wouldbe a genuine contribution: an executable, inspectable bridge between thetextual and the diagrammatic, with a live runtime attached.
Concretely, a generator set might read:
\begin{lstlisting}[style=kidlisp](seq ; sequential o (par in-A in-B) ; parallel (x) add ; * two in, one out copy ; o one in, two out (par out-1 out-2))\end{lstlisting}
\noindent where evaluation produces both the matrix/relation it denotes\emph{and} the drawn diagram---two views of one object, exactly GLA'sthesis made interactive.
\subsection{A signal-flow playground (the demonstrable one)}
Signal flow graphs are GLA's flagship application and are\emph{intrinsically animated}: values stream down wires, scalars amplify,feedback accumulates. AC is built for exactly this---real-time,frame-driven, interactive. A piece where you wire generators on a canvasand \textbf{watch the linear system run}---adjust a scalar and see thetrajectory change---is something the ACT community largely does not have.It is the most compelling demo of all three because it shows the diagram\emph{computing}, not just sitting.
\section{Why this is worth a paper, a tool, or a thesis}
The honest framing of the opportunity:
\begin{itemize} \item \textbf{For pedagogy:} GLA wants to be approachable---that is why the blog exists. Interactive, linkable diagrams lower the entry cost further than any PDF can. \item \textbf{For research:} \S3.2 is a real open-flavored problem at the intersection of programming-language design and category theory---a term language and live evaluator for props/linear relations. \item \textbf{For the field's culture:} ACT prizes \emph{working} compositional tools. A browser-native, shareable GLA playground is a contribution in a form the community values and currently lacks.\end{itemize}
A fair caveat, stated plainly: a PhD in these groups is \textbf{formalcategory theory}---props, monoidal categories, completeness proofs,papers. The tool-building is an excellent entry credential and complement,not a substitute for the abstract mathematics the degree demands. Theright posture is to lead with the artifact and learn the formalism, notthe reverse.
\section{The people and the path}
The GLA authors are the centre of gravity of Applied Category Theory:
\begin{itemize} \item \textbf{Pawe\l{} Soboci\'nski}---Professor, \emph{TalTech} (Tallinn, Estonia); leads the Laboratory for Compositional Systems and Methods; supervises PhD students and coordinates a doctoral programme. Author of the GLA blog and an outreach-minded researcher. \textbf{The most natural first contact.} \item \textbf{Fabio Zanasi}---Professor, \emph{UCL} (London); co-author of the foundational GLA papers. \item \textbf{Filippo Bonchi}---\emph{University of Pisa}; the third co-author.\end{itemize}
Two timely venues, both chaired by Soboci\'nski in Tallinn:
\begin{itemize} \item \textbf{ACT 2026} (Applied Category Theory), 6--10 July 2026; \item \textbf{DIAGRAMS 2026}, 24--28 August 2026---arguably the better fit for an interactive-diagrams contribution.\end{itemize}
Estonian doctoral positions are \textbf{salaried}, sidestepping thetuition-debt model of the US/UK.
\subsection*{Proposed first move}
Not ``may I do a PhD,'' but: \textbf{ship the smallest working demo andpoint at it.} A KidLisp piece that renders and animates a GLA stringdiagram (now in hand) plus a short note to Soboci\'nski---``here is what Ibuild; I'd like to build it for category theory; DIAGRAMS 2026?''---teststhe collaboration, funding, and thesis paths simultaneously, on thestrength of a running artifact rather than a cold ask. Practitioners inthis field notice tools.
\section{Kindred voices: Richard Southwell and the diagrammatic turn}
The case for an \emph{interactive} diagrammatic mathematics is not minealone. In his 2026 talk \emph{Speculations about the future ofmathematics}, the category-theory educator \textbf{RichardSouthwell}---author of \emph{Categories and Toposes: Visualized andExplained}---argues that mathematics is shifting ``from this sort ofalgebraic, encoded style of maths to something more like'' drawingdiagrams. His framing arrives, independently, at the exact metaphorunderpinning this paper and my whistlegraph practice:
\begin{quote}\itshape ``I liken [algebra] to \textbf{sheet music}---as opposed to [thediagram], which is the \textbf{actual music}. This is what our visualcortex can process.'' --- Richard Southwell\end{quote}
His worked example \emph{is} the companion piece \texttt{gla.lisp}: ``anumber flows in from the left; the black node \textbf{copies} it; thewhite node \textbf{adds}---put a 3 in, get a 3 and a 3, add them, get 6.''He closes with a plea that is, almost verbatim, the mission of AestheticComputer: that people who understand graphical methods should ``spend moretime trying to make it easier for the rest of us.'' Southwell---anindependent educator actively seeking collaborators who make the subjectvisual---is plausibly a lower-friction first contact than a cold email toa department.
\textbf{A calibration, stated honestly.} Southwell's talk pairs GLA with asecond, far more speculative program: Norman Wildberger's \emph{boxarithmetic}, which takes multisets (drawn as nested boxes, with``anti-boxes'' for negatives) as a finitist foundation that rejectsinfinities and the real numbers. The two are \textbf{not} the same tier.GLA is rigorous, peer-reviewed, and complete (the IHA theorem); boxarithmetic is heterodox, ultrafinitist, and---by Southwell's ownadmission---``the wild west,'' not even proven consistent. For a seriouscollaboration or thesis pitch, build on GLA. Box arithmetic is bettertreated as provocation and art-fuel. Notably, its nested-box structure is\emph{operadic}---rooted \textbf{trees}---which places it on the oppositeside of the same tree-vs-graph divide drawn in \S3.2: GLA is the graphside, box arithmetic the tree side, and AC's score practice straddlesboth.
\section{Status and next steps}
\begin{itemize} \item[$\checkmark$] \texttt{gla.lisp}---animated signal-flow string diagram, live in AC. \item[$\circ$] Generalise from hand-placed coordinates to a small layout pass (a list of generators $\to$ auto-wired diagram). \item[$\circ$] Prototype the \S3.2 term language: \texttt{seq} / \texttt{par} / \texttt{add} / \texttt{copy} / \texttt{discard} / \texttt{scale} evaluating to both a relation and a drawing. \item[$\circ$] Add interaction: drag generators, edit scalars, watch the signal flow respond (\S3.3). \item[$\circ$] Draft a one-page note $+$ demo links for Soboci\'nski; target DIAGRAMS 2026.\end{itemize}
\section*{References}
\begin{itemize} \item Bonchi, Soboci\'nski, Zanasi --- \emph{Interacting Hopf Algebras} / \emph{A Categorical Semantics of Signal Flow Graphs}. \item Soboci\'nski --- \emph{Graphical Linear Algebra}, graphicallinearalgebra.net. \item Bonchi, Piedeleu, Soboci\'nski, Zanasi --- \emph{Graphical Affine Algebra} / \emph{Graphical Resource Algebra}. \item Soboci\'nski --- \emph{Laboratory for Compositional Systems and Methods}, TalTech (compose.ee/pawel). \item Richard Southwell --- \emph{Speculations about the future of mathematics} (2026), \url{https://www.youtube.com/watch?v=l619jN5wkJA}; \emph{Categories and Toposes: Visualized and Explained}. \item Norman Wildberger --- \emph{box arithmetic} lectures (multiset foundations; ultrafinitist).\end{itemize}
\end{multicols}
\vspace{1em}\noindent\rule{\textwidth}{0.5pt}\par\vspace{0.3em}{\footnotesize\color{acgray} Companion artifacts: \texttt{gla.lisp}(Aesthetic Computer piece) and\texttt{studies/graphical-linear-algebra-kidlisp-study.md}. Sourcetranscript: \texttt{studies/southwell-future-of-math-transcript.md}.}
\end{document}