{"name": "Mat_k", "objects_hr": "the natural numbers", "arrows_hr": "matrices over fields k"}
{"name": "Mat_R", "objects_hr": "the natural numbers", "arrows_hr": "matrices over rings R"}
{"name": "Mat_SR", "objects_hr": "the natural numbers", "arrows_hr": "matrices over semirings SR"}
{"name": "Meas", "objects_hr": "measurable spaces", "arrows_hr": "measurable maps"}
{"name": "Mod(Ab)", "objects_hr": "modules of monoids in Ab (rings)", "arrows_hr": "module maps"}
{"name": "CMon", "objects_hr": "commutative monoids", "arrows_hr": "monoid maps"}
{"name": "Mon", "objects_hr": "monoids", "arrows_hr": "monoid maps"}
{"name": "Pos", "objects_hr": "partial orders", "arrows_hr": "monotone maps"}
{"name": "PreOrd", "objects_hr": "preorders", "arrows_hr": "monotone maps"}
{"name": "Pros", "objects_hr": "preorders", "arrows_hr": "monotone maps"}
{"name": "\u0394", "objects_hr": "the inhabited simplices", "arrows_hr": "monotone maps"}
{"name": "Operad", "objects_hr": "symmetric multicategories", "arrows_hr": "multifunctors"}
{"name": "PermCat", "objects_hr": "permutative (symmetric strict monoidal) categories", "arrows_hr": "multilinear functors"}
{"name": "MultiSet", "objects_hr": "multisets", "arrows_hr": "multimaps"}
{"name": "nCob", "objects_hr": "(n-1)-dimensional compact oriented manifolds", "arrows_hr": "n-dimensional cobordisms"}
{"name": "Ho(Cat)", "objects_hr": "categories", "arrows_hr": "natural isomorphism classes of functors"}
{"name": "Ho(Grpd)", "objects_hr": "groupoids", "arrows_hr": "natural isomorphism classes of functors"}
{"name": "Species", "objects_hr": "species", "arrows_hr": "natural transformations"}
{"name": "Cluster", "objects_hr": "partitioned sets", "arrows_hr": "non-refinement-increasing maps"}
{"name": "Rng", "objects_hr": "nonunital rings", "arrows_hr": "nonunital ring maps"}
{"name": "FinOrd", "objects_hr": "the finite ordinal numbers", "arrows_hr": "order-preserving maps"}
{"name": "Pfn", "objects_hr": "sets", "arrows_hr": "partial maps"}
{"name": "RT(K\u2081)", "objects_hr": "the natural numbers", "arrows_hr": "partial realizable maps"}
{"name": "RT(K\u2082)", "objects_hr": "sequences of natural numbers", "arrows_hr": "partial realizable maps"}
{"name": "Perm", "objects_hr": "the natural numbers", "arrows_hr": "permutations"}
{"name": "PDiff", "objects_hr": "piecewise-differentiable manifolds", "arrows_hr": "piecewise-continuous maps"}
{"name": "PL", "objects_hr": "piecewise-linear manifolds", "arrows_hr": "piecewise-continuous maps"}
{"name": "Prof", "objects_hr": "categories", "arrows_hr": "profunctors"}
{"name": "BiCat", "objects_hr": "bicategories", "arrows_hr": "pseudofunctors"}
{"name": "Rel", "objects_hr": "sets", "arrows_hr": "relations"}
{"name": "AdmRep", "objects_hr": "admissible domain representations", "arrows_hr": "representable continuous maps"}
{"name": "AbCat", "objects_hr": "Abelian categories", "arrows_hr": "right exact functors"}
{"name": "Rex", "objects_hr": "finitely cocomplete categories", "arrows_hr": "right exact functors"}
{"name": "CRing", "objects_hr": "commutative rings", "arrows_hr": "ring maps"}
{"name": "Ring", "objects_hr": "rings", "arrows_hr": "ring maps"}
{"name": "SRing", "objects_hr": "simplicial rings", "arrows_hr": "ring maps"}
{"name": "SemiGrp", "objects_hr": "semigroups", "arrows_hr": "semigroup maps"}
{"name": "SemiLat", "objects_hr": "semilattices", "arrows_hr": "semilattice maps"}
{"name": "SemiRing", "objects_hr": "semirings (rigs)", "arrows_hr": "semiring maps"}
{"name": "BanRing", "objects_hr": "Banach rings", "arrows_hr": "short group maps"}
{"name": "CompNormGrp", "objects_hr": "complete normed groups", "arrows_hr": "short group maps"}
{"name": "NormGrp", "objects_hr": "normed groups", "arrows_hr": "short group maps"}
{"name": "NormRing", "objects_hr": "normed (commutative) rings", "arrows_hr": "short group maps"}
{"name": "BanAlg", "objects_hr": "Banach algebras", "arrows_hr": "short linear maps"}
{"name": "Ban_k", "objects_hr": "Banach spaces over fields k", "arrows_hr": "short linear maps"}
{"name": "FinHilb", "objects_hr": "finite-dimensional Hilbert spaces", "arrows_hr": "short linear maps"}
{"name": "Hilb", "objects_hr": "Hilbert spaces", "arrows_hr": "short linear maps"}
{"name": "CompMet", "objects_hr": "complete metric spaces", "arrows_hr": "short maps"}
{"name": "FinMet", "objects_hr": "finite metric spaces", "arrows_hr": "short maps"}
{"name": "LMet", "objects_hr": "Lawvere metric spaces", "arrows_hr": "short maps"}
{"name": "Met", "objects_hr": "metric spaces", "arrows_hr": "short maps"}
{"name": "PseudoMet", "objects_hr": "pseudometric spaces", "arrows_hr": "short maps"}
{"name": "SymLMet", "objects_hr": "symmetric Lawvere metric spaces", "arrows_hr": "short maps"}
{"name": "SSet", "objects_hr": "simplicial sets", "arrows_hr": "simplicial maps"}
{"name": "SimpCat", "objects_hr": "simplicially enriched categories", "arrows_hr": "simplicially enriched functors"}
{"name": "Aut", "objects_hr": "regular (Moore) automata", "arrows_hr": "simulations"}
{"name": "LieGrp", "objects_hr": "Lie groups", "arrows_hr": "smooth group maps"}
{"name": "CartSp", "objects_hr": "Cartesian spaces", "arrows_hr": "smooth maps"}
{"name": "Man", "objects_hr": "smooth manifolds", "arrows_hr": "smooth maps"}
{"name": "SMan", "objects_hr": "simplicial smooth manifolds", "arrows_hr": "smooth maps"}
{"name": "Span(Set)", "objects_hr": "sets", "arrows_hr": "spans of functions"}
{"name": "Span(Grpd)", "objects_hr": "groupoids", "arrows_hr": "spans of tame functors"}
{"name": "Spectra", "objects_hr": "topological spectra", "arrows_hr": "spectrum maps"}
{"name": "SupLieAlg_k", "objects_hr": "Lie algebras over super vector spaces over fields k", "arrows_hr": "super linear maps"}
{"name": "SupVect_k", "objects_hr": "super vector spaces over fields k", "arrows_hr": "super linear maps"}
{"name": "Quant", "objects_hr": "quantales", "arrows_hr": "suplattice maps"}
{"name": "SupLat", "objects_hr": "suplattices", "arrows_hr": "suplattice maps"}
{"name": "Surj", "objects_hr": "sets", "arrows_hr": "surjections"}
{"name": "SymmRel", "objects_hr": "sets", "arrows_hr": "symmetric relations"}
{"name": "Feyn", "objects_hr": "Feynman diagrams", "arrows_hr": "symmetries of Feynman diagrams"}
{"name": "2", "objects_hr": "two objects", "arrows_hr": "the walking arrow (and two identity arrows)"}
{"name": "I", "objects_hr": "two objects", "arrows_hr": "the walking isomorphism (and two identity arrows)"}
{"name": "\u03a9", "objects_hr": "the inhabited trees", "arrows_hr": "tree maps"}
{"name": "Hilb\u2080", "objects_hr": "Hilbert spaces", "arrows_hr": "unitary operators"}
{"name": "DagCat", "objects_hr": "\u2020-categories (dagger categories)", "arrows_hr": "\u2020-functors (dagger functors)"}