full_subdiagrams

9 rows sorted by shape

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: subshape

Link subshape shape ▼
pair of points,arrow pair of points arrow
arrow,cospan arrow cospan
arrow,endomorphism arrow endomorphism
arrow,pair of parallel arrows arrow pair of parallel arrows
point,pair of points point pair of points
empty diagram,point empty diagram point
arrow,span arrow span
arrow,tower arrow tower
tower,transfinite composition tower transfinite composition

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

CREATE TABLE "full_subdiagrams" (
	"subshape"	TEXT NOT NULL,
	"shape"	TEXT NOT NULL,
	FOREIGN KEY("subshape") REFERENCES "diagrams"("shape") on update cascade on delete restrict,
	FOREIGN KEY("shape") REFERENCES "diagrams"("shape") on update cascade on delete restrict,
	PRIMARY KEY("subshape","shape")
);