categorical_structure

4 rows where category = "Vect_k"

✎ View and edit SQL

This data as json, CSV (advanced)

Link category construction
Vect_k,binary product Vect_k binary product
Vect_k,binary sum Vect_k binary sum
Vect_k,initial object Vect_k initial object
Vect_k,terminal object Vect_k terminal object

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")
);