categories
175 rows sorted by objects_hr
This data as json, CSV (advanced)
name | objects_hr ▼ | arrows_hr |
---|---|---|
1 | (is) the point | (is) the identity arrow |
nCob | (n-1)-dimensional compact oriented manifolds | n-dimensional cobordisms |
2Cat | 2-categories | 2-functors |
AbCat | Abelian categories | right exact functors |
Ab | Abelian groups | group maps |
AbTor | Abelian torsion groups | group maps |
BanAlg | Banach algebras | short linear maps |
BanRing | Banach rings | short group maps |
Ban_k | Banach spaces over fields k | short linear maps |
BoolAlg | Boolean algebras | lattice maps |
CW | CW complexes | cellular maps |
CartSp | Cartesian spaces | smooth maps |
Feyn | Feynman diagrams | symmetries of Feynman diagrams |
Haus | Hausdorff (T₂) spaces | continuous maps |
HeytAlg | Heyting algebras | lattice maps |
Hilb | Hilbert spaces | short linear maps |
Hilb₀ | Hilbert spaces | unitary operators |
LMet | Lawvere metric spaces | short maps |
SupLieAlg_k | Lie algebras over super vector spaces over fields k | super linear maps |
LieAlg_k | Lie algebras over vector spaces over fields k | linear maps |
LieGrp | Lie groups | smooth group maps |
LieRing | Lie rings | group maps |
Stone | Stone spaces | continuous maps |
Tor | Torsion groups | group maps |
Tych | Tychonoff spaces | continuous maps |
AdicRing | adic rings | continuous ring maps |
AdmRep | admissible domain representations | representable continuous maps |
Alg(Ab) | algebras of monoids in Ab (rings) | algebra maps |
Ass | assemblies | computable maps |
BiCat | bicategories | pseudofunctors |
BrMonCat | braided monoidal categories | lax monoidal functors |
Cat | categories | functors |
Ho(Cat) | categories | natural isomorphism classes of functors |
Prof | categories | profunctors |
Ch.(Vect_k) | chain complices of vector spaces | linear maps |
CPROP | colored monoidal product & permutation categories | eso strict monoidal functors |
AdicCRing | commutative adic rings | continuous ring maps |
CommAlg(Ab) | commutative algebras of monoids in Ab (rings) | algebra maps |
CMon | commutative monoids | monoid maps |
CRing | commutative rings | ring maps |
CompCat | compact closed categories | lax monoidal functors |
DagCompCat | compact closed †-categories | lax monoidal †-functors |
Comp | compacta (compact Hausdorff spaces) | continuous maps |
CompBoolAlg | complete Boolean algebras (CABAs) | lattice maps |
CompLat | complete lattices | lattice maps |
CompMet | complete metric spaces | short maps |
CompNormGrp | complete normed groups | short group maps |
CPO | complete partial orders | Scott-continuous maps |
KV | computable real numbers | computable maps |
DSet | dendroidal sets | dendroidal maps |
Diff | differentiable manifolds | continuous maps |
DGCAlg | differential-graded commutative algebras of vector spaces | differential-graded algebra maps |
DGph | digraphs | digraph maps |
DirGph | directed graphs | graph maps |
DCPO | directed-complete partial orders | Scott-continuous maps |
DistLat | distributive lattices | lattice maps |
DblCat | double categories | double functors |
EffAdmRep | effective admissible domain representations | computable continuous maps |
Field | fields | field maps |
Hyp | finite directed hypergraphs | hypergraph maps |
FinGrp | finite groups | group maps |
FinMet | finite metric spaces | short maps |
FinSet | finite sets | finite maps |
FinVect_k | finite vector spaces over fields k | linear maps |
FinVect_q | finite vector spaces over finite fields of order q | linear maps |
FinHilb | finite-dimensional Hilbert spaces | short linear maps |
Rex | finitely cocomplete categories | right exact functors |
Lex | finitely complete categories | left exact functors |
Frm | frames | frame maps |
Grpd | groupoids | functors |
Ho(Grpd) | groupoids | natural isomorphism classes of functors |
Span(Grpd) | groupoids | spans of tame functors |
Grp | groups | group maps |
1Type | homotopy 1-types | continuous maps |
Idem | idempotent endofunctions | idempotency-respecting maps |
Mono | injections | commuting squares |
Lat | lattices | lattice maps |
Loc | locales | continuous maps |
PrCat | locally presentable categories | left adjoint functors |
Sierp | maps | commuting squares |
Meas | measurable spaces | measurable maps |
Met | metric spaces | short maps |
Mod(Ab) | modules of monoids in Ab (rings) | module maps |
MonCat | monoidal categories | lax monoidal functors |
PROP | monoidal product & permutation categories | eso strict monoidal functors |
Mon | monoids | monoid maps |
Bimod(Ab) | monoids in Ab (rings) | bimodules of monoids in Ab (rings) |
MultiSet | multisets | multimaps |
R+ | non-negative real numbers | addition |
Rng | nonunital rings | nonunital ring maps |
NormRing | normed (commutative) rings | short group maps |
NormAb | normed Abelian groups | group maps |
NormGrp | normed groups | short group maps |
Ho(Eff) | numbered sets | homotopy classes of computable maps |
Op(FinCartSp) | open sets of finite-dimensional Cartesian spaces | inclusions |
Pos | partial orders | monotone maps |
Cluster | partitioned sets | non-refinement-increasing maps |
PermCat | permutative (symmetric strict monoidal) categories | multilinear functors |
PDiff | piecewise-differentiable manifolds | piecewise-continuous maps |
PL | piecewise-linear manifolds | piecewise-continuous maps |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "categories" ( "name" TEXT NOT NULL UNIQUE, "objects_hr" TEXT NOT NULL, "arrows_hr" TEXT NOT NULL, PRIMARY KEY("name") );