2-categories

26 rows sorted by transformations_hr

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: transformations_hr

is_strict ✖

  • 0 25
  • 1 1
name is_strict transformations_hr ▼
Bimod(Ab) 0 intertwiners
Grpd 0 natural isomorphisms
Cat 1 natural transformations
Lex 0 natural transformations
Rex 0 natural transformations
PrCat 0 natural transformations
AbCat 0 natural transformations
Prof 0 natural transformations
2Cat 0 natural transformations
BiCat 0 natural transformations
BrMonCat 0 natural transformations
CompCat 0 natural transformations
DagCat 0 natural transformations
DagCompCat 0 natural transformations
DblCat 0 natural transformations
Ho(Cat) 0 natural transformations
MonCat 0 natural transformations
PermCat 0 natural transformations
RCat 0 natural transformations
SimpCat 0 natural transformations
SymCat 0 natural transformations
SymmMonCat 0 natural transformations
TopCat 0 natural transformations
TracedSymmMonCat 0 natural transformations
Span(Grpd) 0 pullbacks of spans
Rel 0 subrelation inclusions

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