{"name": "NormRing", "objects_hr": "normed (commutative) rings", "arrows_hr": "short group maps"}
{"name": "Op(FinCartSp)", "objects_hr": "open sets of finite-dimensional Cartesian spaces", "arrows_hr": "inclusions"}
{"name": "Operad", "objects_hr": "symmetric multicategories", "arrows_hr": "multifunctors"}
{"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": "PROP", "objects_hr": "monoidal product & permutation categories", "arrows_hr": "eso strict monoidal functors"}
{"name": "Perm", "objects_hr": "the natural numbers", "arrows_hr": "permutations"}
{"name": "PermCat", "objects_hr": "permutative (symmetric strict monoidal) categories", "arrows_hr": "multilinear functors"}
{"name": "Pfn", "objects_hr": "sets", "arrows_hr": "partial maps"}
{"name": "Poiss", "objects_hr": "smooth manifolds with Poisson structures", "arrows_hr": "Poisson maps"}
{"name": "Pos", "objects_hr": "partial orders", "arrows_hr": "monotone maps"}
{"name": "PrCat", "objects_hr": "locally presentable categories", "arrows_hr": "left adjoint functors"}
{"name": "PreOrd", "objects_hr": "preorders", "arrows_hr": "monotone maps"}
{"name": "Prof", "objects_hr": "categories", "arrows_hr": "profunctors"}
{"name": "Pros", "objects_hr": "preorders", "arrows_hr": "monotone maps"}
{"name": "PseudoMet", "objects_hr": "pseudometric spaces", "arrows_hr": "short maps"}
{"name": "Quant", "objects_hr": "quantales", "arrows_hr": "suplattice maps"}
{"name": "Quiv", "objects_hr": "quivers", "arrows_hr": "graph maps"}
{"name": "R+", "objects_hr": "non-negative real numbers", "arrows_hr": "addition"}
{"name": "RCat", "objects_hr": "restriction categories", "arrows_hr": "functors"}
{"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": "Rel", "objects_hr": "sets", "arrows_hr": "relations"}
{"name": "Rex", "objects_hr": "finitely cocomplete categories", "arrows_hr": "right exact functors"}
{"name": "Ring", "objects_hr": "rings", "arrows_hr": "ring maps"}
{"name": "Rng", "objects_hr": "nonunital rings", "arrows_hr": "nonunital ring maps"}
{"name": "SAb", "objects_hr": "simplicial Abelian groups", "arrows_hr": "group maps"}
{"name": "SES(Ab)", "objects_hr": "short exact sequences of Abelian groups", "arrows_hr": "commuting diagrams"}
{"name": "SGrp", "objects_hr": "simplicial groups", "arrows_hr": "group maps"}
{"name": "SLieAlg_k", "objects_hr": "simplicial Lie algebras over vector spaces over fields k", "arrows_hr": "linear maps"}
{"name": "SMan", "objects_hr": "simplicial smooth manifolds", "arrows_hr": "smooth maps"}
{"name": "SRing", "objects_hr": "simplicial rings", "arrows_hr": "ring maps"}
{"name": "SSet", "objects_hr": "simplicial sets", "arrows_hr": "simplicial maps"}
{"name": "STop", "objects_hr": "simplicial topological spaces", "arrows_hr": "continuous maps"}
{"name": "STopGrp", "objects_hr": "simplicial topological groups", "arrows_hr": "continuous group 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": "Set", "objects_hr": "sets", "arrows_hr": "maps"}
{"name": "Set*", "objects_hr": "pointed sets", "arrows_hr": "based maps"}
{"name": "Sierp", "objects_hr": "maps", "arrows_hr": "commuting squares"}
{"name": "SimpCat", "objects_hr": "simplicially enriched categories", "arrows_hr": "simplicially enriched functors"}
{"name": "SoberTop", "objects_hr": "sober topological spaces", "arrows_hr": "continuous maps"}
{"name": "SpLoc", "objects_hr": "spatial locales", "arrows_hr": "continuous maps"}
{"name": "Span(Grpd)", "objects_hr": "groupoids", "arrows_hr": "spans of tame functors"}
{"name": "Span(Set)", "objects_hr": "sets", "arrows_hr": "spans of functions"}
{"name": "Species", "objects_hr": "species", "arrows_hr": "natural transformations"}
{"name": "Spectra", "objects_hr": "topological spectra", "arrows_hr": "spectrum maps"}
{"name": "Ste", "objects_hr": "stereotype spaces", "arrows_hr": "continuous maps"}
{"name": "Stone", "objects_hr": "Stone spaces", "arrows_hr": "continuous maps"}
{"name": "SupLat", "objects_hr": "suplattices", "arrows_hr": "suplattice 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": "Surj", "objects_hr": "sets", "arrows_hr": "surjections"}
{"name": "SymCat", "objects_hr": "symmetric monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "SymLMet", "objects_hr": "symmetric Lawvere metric spaces", "arrows_hr": "short maps"}
{"name": "SymmMonCat", "objects_hr": "symmetric monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "SymmRel", "objects_hr": "sets", "arrows_hr": "symmetric relations"}
{"name": "Top", "objects_hr": "topological spaces", "arrows_hr": "continuous maps"}
{"name": "Top*", "objects_hr": "pointed topological spaces", "arrows_hr": "based continuous maps"}
{"name": "TopCat", "objects_hr": "topologically enriched categories", "arrows_hr": "continuous functors"}
{"name": "TopGrp", "objects_hr": "topological groups", "arrows_hr": "continuous group maps"}
{"name": "TopMan", "objects_hr": "topological manifolds", "arrows_hr": "continuous maps"}
{"name": "TopMon", "objects_hr": "topological monoids", "arrows_hr": "continuous monoid maps"}
{"name": "TopRing", "objects_hr": "topological rings", "arrows_hr": "continuous ring maps"}
{"name": "TopVect", "objects_hr": "topological vector spaces", "arrows_hr": "linear maps"}
{"name": "Topos", "objects_hr": "topoi", "arrows_hr": "geometric arrows"}
{"name": "Tor", "objects_hr": "Torsion groups", "arrows_hr": "group maps"}
{"name": "TracedSymmMonCat", "objects_hr": "traced symmetric monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "Tych", "objects_hr": "Tychonoff spaces", "arrows_hr": "continuous maps"}
{"name": "Vect_k", "objects_hr": "vector spaces over fields k", "arrows_hr": "linear maps"}
{"name": "nCob", "objects_hr": "(n-1)-dimensional compact oriented manifolds", "arrows_hr": "n-dimensional cobordisms"}
{"name": "\u0394", "objects_hr": "the inhabited simplices", "arrows_hr": "monotone maps"}
{"name": "\u03a9", "objects_hr": "the inhabited trees", "arrows_hr": "tree maps"}
{"name": "\u25a1", "objects_hr": "the inhabited cubes", "arrows_hr": "cubical maps"}