reflective_subcategories

6 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: reflector_hr

Link subcategory supercategory reflector_hr reflection_hr
Ab,Grp Ab Grp Abelianization  
AbTorF,Ab AbTorF Ab    
CRing,Ring CRing Ring Abelianization  
Cat,SSet Cat SSet homotopy category nerve
Comp,Top Comp Top Stone–Čech compactification  
CompMet,Met CompMet Met Cauchy completion  

Advanced export

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

CSV options: 

CREATE TABLE "reflective_subcategories" (
	"subcategory"	TEXT NOT NULL,
	"supercategory"	TEXT NOT NULL, "reflector_hr" text, "reflection_hr" text,
	FOREIGN KEY("subcategory") REFERENCES "categories"("name") on update cascade on delete restrict,
	FOREIGN KEY("supercategory") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("subcategory","supercategory")
);