31 rows sorted by subshape

View and edit SQL

Suggested facets: subshape, shape

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

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;