31 rows sorted by shape

View and edit SQL

Suggested facets: subshape, shape

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