175 rows

View and edit SQL

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

Advanced export

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

CSV options:

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