26 rows sorted by name descending

View and edit SQL

Suggested facets: transformations_hr

is_strict

  • 0 25
  • 1 1
name ▲ is_strict transformations_hr
TracedSymmMonCat 0 natural transformations
TopCat 0 natural transformations
SymmMonCat 0 natural transformations
SymCat 0 natural transformations
Span(Grpd) 0 pullbacks of spans
SimpCat 0 natural transformations
Rex 0 natural transformations
Rel 0 subrelation inclusions
RCat 0 natural transformations
Prof 0 natural transformations
PrCat 0 natural transformations
PermCat 0 natural transformations
MonCat 0 natural transformations
Lex 0 natural transformations
Ho(Cat) 0 natural transformations
Grpd 0 natural isomorphisms
DblCat 0 natural transformations
DagCompCat 0 natural transformations
DagCat 0 natural transformations
CompCat 0 natural transformations
Cat 1 natural transformations
BrMonCat 0 natural transformations
Bimod(Ab) 0 intertwiners
BiCat 0 natural transformations
AbCat 0 natural transformations
2Cat 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")
);