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