full_subdiagrams_transitive (view)

9 rows where subshape = "empty diagram"

✎ View and edit SQL

This data as json, CSV (advanced)

subshape shape
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

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;