categorical_structure

9 rows where construction = "binary sum"

✎ View and edit SQL

This data as json, CSV (advanced)

construction ✖

  • binary sum · 9 ✖
Link category construction
Ab,binary sum Ab binary sum
CRing,binary sum CRing binary sum
Comp,binary sum Comp binary sum
Diff,binary sum Diff binary sum
Grp,binary sum Grp binary sum
Set,binary sum Set binary sum
Top,binary sum Top binary sum
Top*,binary sum Top* binary sum
Vect_k,binary sum Vect_k binary sum

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

CREATE TABLE "categorical_structure" (
	"category"	TEXT NOT NULL,
	"construction"	TEXT NOT NULL,
	FOREIGN KEY("construction") REFERENCES "universal_objects"("construction") on update cascade on delete restrict,
	FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("category","construction")
);