categories

175 rows sorted by arrows_hr descending

✎ View and edit SQL

This data as json, CSV (advanced)

name objects_hr arrows_hr ▲
Inj sets injections
Op(FinCartSp) open sets of finite-dimensional Cartesian spaces inclusions
Idem idempotent endofunctions idempotency-respecting maps
Hyp finite directed hypergraphs hypergraph maps
Ho(Top) topological spaces homotopy classes of continuous maps
Ho(Eff) numbered sets homotopy classes of computable maps
Ab Abelian groups group maps
AbTor Abelian torsion groups group maps
AbTorF torsion-free Abelian groups group maps
FinGrp finite groups group maps
Grp groups group maps
LieRing Lie rings group maps
NormAb normed Abelian groups group maps
SAb simplicial Abelian groups group maps
SGrp simplicial groups group maps
Tor Torsion groups group maps
DirGph directed graphs graph maps
Gph undirected graphs graph maps
Quiv quivers graph maps
G the natural numbers globe maps
Topos topoi geometric arrows
Cat categories functors
Grpd groupoids functors
RCat restriction categories functors
Frm frames frame maps
FinSet finite sets finite maps
Field fields field maps
CPROP colored monoidal product & permutation categories eso strict monoidal functors
PROP monoidal product & permutation categories eso strict monoidal functors
DblCat double categories double functors
DGph digraphs digraph maps
DGCAlg differential-graded commutative algebras of vector spaces differential-graded algebra maps
DSet dendroidal sets dendroidal maps
□ the inhabited cubes cubical maps
AdicCRing commutative adic rings continuous ring maps
AdicRing adic rings continuous ring maps
TopRing topological rings continuous ring maps
TopMon topological monoids continuous monoid maps
1Type homotopy 1-types continuous maps
Comp compacta (compact Hausdorff spaces) continuous maps
Diff differentiable manifolds continuous maps
Haus Hausdorff (T₂) spaces continuous maps
Loc locales continuous maps
STop simplicial topological spaces continuous maps
SoberTop sober topological spaces continuous maps
SpLoc spatial locales continuous maps
Ste stereotype spaces continuous maps
Stone Stone spaces continuous maps
Top topological spaces continuous maps
TopMan topological manifolds continuous maps
Tych Tychonoff spaces continuous maps
STopGrp simplicial topological groups continuous group maps
TopGrp topological groups continuous group maps
TopCat topologically enriched categories continuous functors
Ass assemblies computable maps
Eff sets with computable equality computable maps
KV computable real numbers computable maps
EffAdmRep effective admissible domain representations computable continuous maps
Mono injections commuting squares
Sierp maps commuting squares
SES(Ab) short exact sequences of Abelian groups commuting diagrams
CW CW complexes cellular maps
Bimod(Ab) monoids in Ab (rings) bimodules of monoids in Ab (rings)
Bij sets bijections
Set* pointed sets based maps
Top* pointed topological spaces based continuous maps
Alg(Ab) algebras of monoids in Ab (rings) algebra maps
CommAlg(Ab) commutative algebras of monoids in Ab (rings) algebra maps
R+ non-negative real numbers addition
CPO complete partial orders Scott-continuous maps
DCPO directed-complete partial orders Scott-continuous maps
Poiss smooth manifolds with Poisson structures Poisson maps
Circ the natural numbers Boolean circuits
2Cat 2-categories 2-functors
1 (is) the point (is) the identity arrow

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

CREATE TABLE "categories" (
	"name"	TEXT NOT NULL UNIQUE,
	"objects_hr"	TEXT NOT NULL,
	"arrows_hr"	TEXT NOT NULL,
	PRIMARY KEY("name")
);