2-categories

1 row where name = "TracedSymmMonCat"

✎ View and edit SQL

This data as json, CSV (advanced)

name ▼ is_strict transformations_hr
TracedSymmMonCat 0 natural transformations

Advanced export

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

CSV options: 

CREATE TABLE "2-categories" (
	"name"	TEXT NOT NULL UNIQUE,
	"is_strict"	INTEGER NOT NULL,
	"transformations_hr"	TEXT NOT NULL,
	FOREIGN KEY("name") REFERENCES "categories"("name") on delete restrict on update cascade,
	PRIMARY KEY("name")
);