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