6 rows where subshape = "arrow"

View and edit SQL

subshape

  • arrow · 6
subshape shape
arrow span
arrow cospan
arrow pair of parallel arrows
arrow tower
arrow endomorphism
arrow 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;