Jason Morton

Add Lasso?

5

[Lasso](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/) was created in part to bring about the lookup singularity, and to improve on the current Halo2 lookup. Let's cooperate to get it working here with KZG-flavored halo2. The...

This is needed for things like: A is an object A.signature.doctrine is X ev(A) should check if X implements ClosedCompactCategory

generated svg is obtained by ``` julia fts"f:A->A" d=diagramsfor(T,CompactClosedCategory) BlinkDisplay.tohtml(d.value(f)) ``` Modify this to allow for mathjax labels.

1) Fails, probably because gensym symbols aren't unique: g ang g are the same. g \circ h works. Get a wrong length error when iterating over connected components. 2) tr(g)...

e.g. fts"S;ϕ:A -> B" Requires writing a regex that allows unicde as well as ->