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