claytext demo

Paris

(Posts here have been ressurrected from several years ago)

I have written a lot of [code](https://github.com/artagnon) in the past.

Functors

For a fixed field $K$, consider the functors

$$\begin{xy} \xymatrix{ \textbf{Set}\ar@<.5ex>[r]^V & \textbf{Vct}_K\ar@<.5ex>[l]^U } \end{xy}$$

void assignHeads(std::vector branchHeads,
Statement* nestWithin, Statement* toEnclose);
1. Every element of $A$ is either unit or nilpotent.
2. $A/\mathfrak{N}$ is a field.