31 rows sorted by shape descending

View and edit SQL

Suggested facets: subshape, shape

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

Advanced export

JSON shape: default, array, newline-delimited

CSV options:

CREATE VIEW "full_subdiagrams_transitive" AS with recursive t as (
select subshape, shape from full_subdiagrams
union
select full_subdiagrams.subshape, t.shape from full_subdiagrams join t where full_subdiagrams.shape == t.subshape
) select * from t;