list_monads

1 row

✎ View and edit SQL

This data as json, CSV (advanced)

Link base monoids
Set,Mon Set Mon

Advanced export

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

CSV options: 

CREATE TABLE "list_monads" (
	"base"	TEXT NOT NULL UNIQUE,
	"monoids"	TEXT NOT NULL UNIQUE,
	FOREIGN KEY("base") REFERENCES "categories"("name") on delete restrict on update cascade,
	FOREIGN KEY("monoids") REFERENCES "categories"("name") on delete restrict on update cascade,
	PRIMARY KEY("base","monoids")
);