full_subdiagrams_transitive (view)

9 rows where subshape = "empty diagram" sorted by shape

✎ View and edit SQL

This data as json, CSV (advanced)

subshape ✖

  • empty diagram · 9 ✖
subshape shape ▼
empty diagram arrow
empty diagram cospan
empty diagram endomorphism
empty diagram pair of parallel arrows
empty diagram pair of points
empty diagram point
empty diagram span
empty diagram tower
empty diagram 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;