categories

175 rows sorted by objects_hr descending

✎ View and edit SQL

This data as json, CSV (advanced)

name objects_hr ▲ arrows_hr
DagCat †-categories (dagger categories) †-functors (dagger functors)
Vect_k vector spaces over fields k linear maps
Gph undirected graphs graph maps
2 two objects the walking arrow (and two identity arrows)
I two objects the walking isomorphism (and two identity arrows)
TracedSymmMonCat traced symmetric monoidal categories lax monoidal functors
AbTorF torsion-free Abelian groups group maps
TopCat topologically enriched categories continuous functors
TopVect topological vector spaces linear maps
Spectra topological spectra spectrum maps
Ho(Top) topological spaces homotopy classes of continuous maps
Top topological spaces continuous maps
TopRing topological rings continuous ring maps
TopMon topological monoids continuous monoid maps
TopMan topological manifolds continuous maps
TopGrp topological groups continuous group maps
Topos topoi geometric arrows
Log topoi logical functors
Mat_SR the natural numbers matrices over semirings SR
Circ the natural numbers Boolean circuits
RT(K₁) the natural numbers partial realizable maps
Mat_k the natural numbers matrices over fields k
G the natural numbers globe maps
Mat_R the natural numbers matrices over rings R
Perm the natural numbers permutations
Ω the inhabited trees tree maps
Δ the inhabited simplices monotone maps
□ the inhabited cubes cubical maps
FinOrd the finite ordinal numbers order-preserving maps
Operad symmetric multicategories multifunctors
SymCat symmetric monoidal categories lax monoidal functors
SymmMonCat symmetric monoidal categories lax monoidal functors
SymLMet symmetric Lawvere metric spaces short maps
SupLat suplattices suplattice maps
SupVect_k super vector spaces over fields k super linear maps
Ste stereotype spaces continuous maps
*Aut star-autonomous categories lax monoidal functors
Species species natural transformations
SpLoc spatial locales continuous maps
SoberTop sober topological spaces continuous maps
Poiss smooth manifolds with Poisson structures Poisson maps
Man smooth manifolds smooth maps
SimpCat simplicially enriched categories simplicially enriched functors
STop simplicial topological spaces continuous maps
STopGrp simplicial topological groups continuous group maps
SMan simplicial smooth manifolds smooth maps
SSet simplicial sets simplicial maps
SRing simplicial rings ring maps
SGrp simplicial groups group maps
SLieAlg_k simplicial Lie algebras over vector spaces over fields k linear maps
SAb simplicial Abelian groups group maps
SES(Ab) short exact sequences of Abelian groups commuting diagrams
Eff sets with computable equality computable maps
Bij sets bijections
Rel sets relations
Set sets maps
Span(Set) sets spans of functions
Pfn sets partial maps
Inj sets injections
Surj sets surjections
SymmRel sets symmetric relations
RT(K₂) sequences of natural numbers partial realizable maps
SemiRing semirings (rigs) semiring maps
SemiLat semilattices semilattice maps
SemiGrp semigroups semigroup maps
Ring rings ring maps
RCat restriction categories functors
Aut regular (Moore) automata simulations
Quiv quivers graph maps
Quant quantales suplattice maps
PseudoMet pseudometric spaces short maps
PreOrd preorders monotone maps
Pros preorders monotone maps
Top* pointed topological spaces based continuous maps
Set* pointed sets based maps
PL piecewise-linear manifolds piecewise-continuous maps
PDiff piecewise-differentiable manifolds piecewise-continuous maps
PermCat permutative (symmetric strict monoidal) categories multilinear functors
Cluster partitioned sets non-refinement-increasing maps
Pos partial orders monotone maps
Op(FinCartSp) open sets of finite-dimensional Cartesian spaces inclusions
Ho(Eff) numbered sets homotopy classes of computable maps
NormGrp normed groups short group maps
NormAb normed Abelian groups group maps
NormRing normed (commutative) rings short group maps
Rng nonunital rings nonunital ring maps
R+ non-negative real numbers addition
MultiSet multisets multimaps
Bimod(Ab) monoids in Ab (rings) bimodules of monoids in Ab (rings)
Mon monoids monoid maps
PROP monoidal product & permutation categories eso strict monoidal functors
MonCat monoidal categories lax monoidal functors
Mod(Ab) modules of monoids in Ab (rings) module maps
Met metric spaces short maps
Meas measurable spaces measurable maps
Sierp maps commuting squares
PrCat locally presentable categories left adjoint functors
Loc locales continuous maps
Lat lattices lattice maps
Mono injections commuting squares

Next page

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")
);