- Category
- LinearCategory(v, s, t) : RngIntElt, RngIntElt, RngIntElt -> TenCat
- AdjointCategory(v, s, t) : RngIntElt, RngIntElt, RngIntElt -> TenCat
- Category(S) : Any -> Cat
- Category(E) : CrvEll -> Cat
- Category(L) : Lat -> Cat
- Category(P) : PtEll -> Cat
- Category(R) : Rng -> Cat
- Category(R) : RngDiff -> RngDiff
- Category(s) : RngDiffElt -> RngDiffElt
- Category(R) : RngDiffOp -> RngDiffOp
- Category(L) : RngDiffOpElt -> RngDiffOpElt
- Category(r) : RngElt -> Cat
- Category(G) : SchGrpEll -> Cat
- Category(H) : SetPtEll -> Cat
- ChangeTensorCategory(H, C) : Hmtp, TenCat -> Hmtp
- ChangeTensorCategory(T, C) : TenSpc, TenCat -> TenSpc
- ChangeTensorCategory(T, C) : TenSpcElt, TenCat -> TenSpcElt
- CohomotopismCategory(v) : RngIntElt -> TenCat
- CotensorCategory(A, P) : [RngIntElt], SetEnum -> TenCat
- ExtendedType(x) : Elt -> ECat
- HomotopismCategory(v : parameters) : RngIntElt -> TenCat
- TensorCategory(H) : Hmtp -> TenCat
- TensorCategory(T) : TenSpc -> TenCat
- TensorCategory(T) : TenSpcElt -> TenCat
- TensorCategory(A, P) : [RngIntElt], SetEnum -> TenCat
- Type(x) : Elt -> Cat
- category
- category-parent-diff-op-ring-elts
- category-parent-diff-op-rings
- category-parent-diff-ring-elts
- category-parent-diff-rings
- category-transfer
- Cayley
- cayley
- cayley-graph
- cayley_dual
- CayleyGraph
- CBM
- cc
- cc-quad
- ccc
V2.28, 13 July 2023