{"name": "1", "objects_hr": "(is) the point", "arrows_hr": "(is) the identity arrow"}
{"name": "2Cat", "objects_hr": "2-categories", "arrows_hr": "2-functors"}
{"name": "Circ", "objects_hr": "the natural numbers", "arrows_hr": "Boolean circuits"}
{"name": "Poiss", "objects_hr": "smooth manifolds with Poisson structures", "arrows_hr": "Poisson maps"}
{"name": "DCPO", "objects_hr": "directed-complete partial orders", "arrows_hr": "Scott-continuous maps"}
{"name": "CPO", "objects_hr": "complete partial orders", "arrows_hr": "Scott-continuous maps"}
{"name": "R+", "objects_hr": "non-negative real numbers", "arrows_hr": "addition"}
{"name": "Alg(Ab)", "objects_hr": "algebras of monoids in Ab (rings)", "arrows_hr": "algebra maps"}
{"name": "CommAlg(Ab)", "objects_hr": "commutative algebras of monoids in Ab (rings)", "arrows_hr": "algebra maps"}
{"name": "Top*", "objects_hr": "pointed topological spaces", "arrows_hr": "based continuous maps"}
{"name": "Set*", "objects_hr": "pointed sets", "arrows_hr": "based maps"}
{"name": "Bij", "objects_hr": "sets", "arrows_hr": "bijections"}
{"name": "Bimod(Ab)", "objects_hr": "monoids in Ab (rings)", "arrows_hr": "bimodules of monoids in Ab (rings)"}
{"name": "CW", "objects_hr": "CW complexes", "arrows_hr": "cellular maps"}
{"name": "SES(Ab)", "objects_hr": "short exact sequences of Abelian groups", "arrows_hr": "commuting diagrams"}
{"name": "Mono", "objects_hr": "injections", "arrows_hr": "commuting squares"}
{"name": "Sierp", "objects_hr": "maps", "arrows_hr": "commuting squares"}
{"name": "EffAdmRep", "objects_hr": "effective admissible domain representations", "arrows_hr": "computable continuous maps"}
{"name": "Eff", "objects_hr": "sets with computable equality", "arrows_hr": "computable maps"}
{"name": "Ass", "objects_hr": "assemblies", "arrows_hr": "computable maps"}
{"name": "KV", "objects_hr": "computable real numbers", "arrows_hr": "computable maps"}
{"name": "TopCat", "objects_hr": "topologically enriched categories", "arrows_hr": "continuous functors"}
{"name": "TopGrp", "objects_hr": "topological groups", "arrows_hr": "continuous group maps"}
{"name": "STopGrp", "objects_hr": "simplicial topological groups", "arrows_hr": "continuous group maps"}
{"name": "Comp", "objects_hr": "compacta (compact Hausdorff spaces)", "arrows_hr": "continuous maps"}
{"name": "Diff", "objects_hr": "differentiable manifolds", "arrows_hr": "continuous maps"}
{"name": "Loc", "objects_hr": "locales", "arrows_hr": "continuous maps"}
{"name": "Top", "objects_hr": "topological spaces", "arrows_hr": "continuous maps"}
{"name": "TopMan", "objects_hr": "topological manifolds", "arrows_hr": "continuous maps"}
{"name": "Haus", "objects_hr": "Hausdorff (T\u2082) spaces", "arrows_hr": "continuous maps"}
{"name": "Tych", "objects_hr": "Tychonoff spaces", "arrows_hr": "continuous maps"}
{"name": "Stone", "objects_hr": "Stone spaces", "arrows_hr": "continuous maps"}
{"name": "STop", "objects_hr": "simplicial topological spaces", "arrows_hr": "continuous maps"}
{"name": "SoberTop", "objects_hr": "sober topological spaces", "arrows_hr": "continuous maps"}
{"name": "SpLoc", "objects_hr": "spatial locales", "arrows_hr": "continuous maps"}
{"name": "Ste", "objects_hr": "stereotype spaces", "arrows_hr": "continuous maps"}
{"name": "1Type", "objects_hr": "homotopy 1-types", "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": "AdicRing", "objects_hr": "adic rings", "arrows_hr": "continuous ring maps"}
{"name": "AdicCRing", "objects_hr": "commutative adic rings", "arrows_hr": "continuous ring maps"}
{"name": "\u25a1", "objects_hr": "the inhabited cubes", "arrows_hr": "cubical maps"}
{"name": "DSet", "objects_hr": "dendroidal sets", "arrows_hr": "dendroidal maps"}
{"name": "DGCAlg", "objects_hr": "differential-graded commutative algebras of vector spaces", "arrows_hr": "differential-graded algebra maps"}
{"name": "DGph", "objects_hr": "digraphs", "arrows_hr": "digraph maps"}
{"name": "DblCat", "objects_hr": "double categories", "arrows_hr": "double functors"}
{"name": "PROP", "objects_hr": "monoidal product & permutation categories", "arrows_hr": "eso strict monoidal functors"}
{"name": "CPROP", "objects_hr": "colored monoidal product & permutation categories", "arrows_hr": "eso strict monoidal functors"}
{"name": "Field", "objects_hr": "fields", "arrows_hr": "field maps"}
{"name": "FinSet", "objects_hr": "finite sets", "arrows_hr": "finite maps"}
{"name": "Frm", "objects_hr": "frames", "arrows_hr": "frame maps"}
{"name": "Cat", "objects_hr": "categories", "arrows_hr": "functors"}
{"name": "Grpd", "objects_hr": "groupoids", "arrows_hr": "functors"}
{"name": "RCat", "objects_hr": "restriction categories", "arrows_hr": "functors"}
{"name": "Topos", "objects_hr": "topoi", "arrows_hr": "geometric arrows"}
{"name": "G", "objects_hr": "the natural numbers", "arrows_hr": "globe maps"}
{"name": "DirGph", "objects_hr": "directed graphs", "arrows_hr": "graph maps"}
{"name": "Gph", "objects_hr": "undirected graphs", "arrows_hr": "graph maps"}
{"name": "Quiv", "objects_hr": "quivers", "arrows_hr": "graph maps"}
{"name": "Ab", "objects_hr": "Abelian groups", "arrows_hr": "group maps"}
{"name": "FinGrp", "objects_hr": "finite groups", "arrows_hr": "group maps"}
{"name": "Grp", "objects_hr": "groups", "arrows_hr": "group maps"}
{"name": "NormAb", "objects_hr": "normed Abelian groups", "arrows_hr": "group maps"}
{"name": "Tor", "objects_hr": "Torsion groups", "arrows_hr": "group maps"}
{"name": "AbTor", "objects_hr": "Abelian torsion groups", "arrows_hr": "group maps"}
{"name": "AbTorF", "objects_hr": "torsion-free Abelian groups", "arrows_hr": "group maps"}
{"name": "SGrp", "objects_hr": "simplicial groups", "arrows_hr": "group maps"}
{"name": "SAb", "objects_hr": "simplicial Abelian groups", "arrows_hr": "group maps"}
{"name": "LieRing", "objects_hr": "Lie rings", "arrows_hr": "group maps"}
{"name": "Ho(Eff)", "objects_hr": "numbered sets", "arrows_hr": "homotopy classes of computable maps"}
{"name": "Ho(Top)", "objects_hr": "topological spaces", "arrows_hr": "homotopy classes of continuous maps"}
{"name": "Hyp", "objects_hr": "finite directed hypergraphs", "arrows_hr": "hypergraph maps"}
{"name": "Idem", "objects_hr": "idempotent endofunctions", "arrows_hr": "idempotency-respecting maps"}
{"name": "Op(FinCartSp)", "objects_hr": "open sets of finite-dimensional Cartesian spaces", "arrows_hr": "inclusions"}
{"name": "Inj", "objects_hr": "sets", "arrows_hr": "injections"}
{"name": "BoolAlg", "objects_hr": "Boolean algebras", "arrows_hr": "lattice maps"}
{"name": "CompBoolAlg", "objects_hr": "complete Boolean algebras (CABAs)", "arrows_hr": "lattice maps"}
{"name": "CompLat", "objects_hr": "complete lattices", "arrows_hr": "lattice maps"}
{"name": "DistLat", "objects_hr": "distributive lattices", "arrows_hr": "lattice maps"}
{"name": "HeytAlg", "objects_hr": "Heyting algebras", "arrows_hr": "lattice maps"}
{"name": "Lat", "objects_hr": "lattices", "arrows_hr": "lattice maps"}
{"name": "MonCat", "objects_hr": "monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "SymCat", "objects_hr": "symmetric monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "BrMonCat", "objects_hr": "braided monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "SymmMonCat", "objects_hr": "symmetric monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "TracedSymmMonCat", "objects_hr": "traced symmetric monoidal categories", "arrows_hr": "lax monoidal functors"}
{"name": "CompCat", "objects_hr": "compact closed categories", "arrows_hr": "lax monoidal functors"}
{"name": "*Aut", "objects_hr": "star-autonomous categories", "arrows_hr": "lax monoidal functors"}
{"name": "DagCompCat", "objects_hr": "compact closed \u2020-categories", "arrows_hr": "lax monoidal \u2020-functors"}
{"name": "PrCat", "objects_hr": "locally presentable categories", "arrows_hr": "left adjoint functors"}
{"name": "Lex", "objects_hr": "finitely complete categories", "arrows_hr": "left exact functors"}
{"name": "Ch.(Vect_k)", "objects_hr": "chain complices of vector spaces", "arrows_hr": "linear maps"}
{"name": "FinVect_k", "objects_hr": "finite vector spaces over fields k", "arrows_hr": "linear maps"}
{"name": "Vect_k", "objects_hr": "vector spaces over fields k", "arrows_hr": "linear maps"}
{"name": "TopVect", "objects_hr": "topological vector spaces", "arrows_hr": "linear maps"}
{"name": "LieAlg_k", "objects_hr": "Lie algebras over vector spaces over fields k", "arrows_hr": "linear maps"}
{"name": "SLieAlg_k", "objects_hr": "simplicial Lie algebras over vector spaces over fields k", "arrows_hr": "linear maps"}
{"name": "FinVect_q", "objects_hr": "finite vector spaces over finite fields of order q", "arrows_hr": "linear maps"}
{"name": "Log", "objects_hr": "topoi", "arrows_hr": "logical functors"}
{"name": "Set", "objects_hr": "sets", "arrows_hr": "maps"}