diagrams
10 rows
This data as json, CSV (advanced)
| shape ▼ |
|---|
| arrow |
| cospan |
| empty diagram |
| endomorphism |
| pair of parallel arrows |
| pair of points |
| point |
| span |
| tower |
| transfinite composition |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "diagrams" (
"shape" TEXT NOT NULL UNIQUE,
PRIMARY KEY("shape")
);