categories

175 rows sorted by objects_hr descending

✎ View and edit SQL

This data as json, CSV (advanced)

name objects_hr ▲ arrows_hr
Idem idempotent endofunctions idempotency-respecting maps
1Type homotopy 1-types continuous maps
Grp groups group maps
Grpd groupoids functors
Ho(Grpd) groupoids natural isomorphism classes of functors
Span(Grpd) groupoids spans of tame functors
Frm frames frame maps
Lex finitely complete categories left exact functors
Rex finitely cocomplete categories right exact functors
FinHilb finite-dimensional Hilbert spaces short linear maps
FinVect_q finite vector spaces over finite fields of order q linear maps
FinVect_k finite vector spaces over fields k linear maps
FinSet finite sets finite maps
FinMet finite metric spaces short maps
FinGrp finite groups group maps
Hyp finite directed hypergraphs hypergraph maps
Field fields field maps
EffAdmRep effective admissible domain representations computable continuous maps
DblCat double categories double functors
DistLat distributive lattices lattice maps
DCPO directed-complete partial orders Scott-continuous maps
DirGph directed graphs graph maps
DGph digraphs digraph maps
DGCAlg differential-graded commutative algebras of vector spaces differential-graded algebra maps
Diff differentiable manifolds continuous maps
DSet dendroidal sets dendroidal maps
KV computable real numbers computable maps
CPO complete partial orders Scott-continuous maps
CompNormGrp complete normed groups short group maps
CompMet complete metric spaces short maps
CompLat complete lattices lattice maps
CompBoolAlg complete Boolean algebras (CABAs) lattice maps
Comp compacta (compact Hausdorff spaces) continuous maps
DagCompCat compact closed †-categories lax monoidal †-functors
CompCat compact closed categories lax monoidal functors
CRing commutative rings ring maps
CMon commutative monoids monoid maps
CommAlg(Ab) commutative algebras of monoids in Ab (rings) algebra maps
AdicCRing commutative adic rings continuous ring maps
CPROP colored monoidal product & permutation categories eso strict monoidal functors
Ch.(Vect_k) chain complices of vector spaces linear maps
Cat categories functors
Ho(Cat) categories natural isomorphism classes of functors
Prof categories profunctors
BrMonCat braided monoidal categories lax monoidal functors
BiCat bicategories pseudofunctors
Ass assemblies computable maps
Alg(Ab) algebras of monoids in Ab (rings) algebra maps
AdmRep admissible domain representations representable continuous maps
AdicRing adic rings continuous ring maps
Tych Tychonoff spaces continuous maps
Tor Torsion groups group maps
Stone Stone spaces continuous maps
LieRing Lie rings group maps
LieGrp Lie groups smooth group maps
LieAlg_k Lie algebras over vector spaces over fields k linear maps
SupLieAlg_k Lie algebras over super vector spaces over fields k super linear maps
LMet Lawvere metric spaces short maps
Hilb Hilbert spaces short linear maps
Hilb₀ Hilbert spaces unitary operators
HeytAlg Heyting algebras lattice maps
Haus Hausdorff (T₂) spaces continuous maps
Feyn Feynman diagrams symmetries of Feynman diagrams
CartSp Cartesian spaces smooth maps
CW CW complexes cellular maps
BoolAlg Boolean algebras lattice maps
Ban_k Banach spaces over fields k short linear maps
BanRing Banach rings short group maps
BanAlg Banach algebras short linear maps
AbTor Abelian torsion groups group maps
Ab Abelian groups group maps
AbCat Abelian categories right exact functors
2Cat 2-categories 2-functors
nCob (n-1)-dimensional compact oriented manifolds n-dimensional cobordisms
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")
);