pith:S77X7642
Varieties of initial dialgebras and some of their Koszul dual operads
For any variety of algebras, a universal algorithm constructs the subvariety of initial dialgebras from which the original algebras can be recovered.
arxiv:2601.16619 v3 · 2026-01-23 · math.RA
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{S77X7642XUT74DFTMIGVBA4TWK}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
For a given variety Var, we present a universal algorithm for constructing a subvariety of Var-dialgebras from which one can recover an algebra belonging to Var. Such a subvariety is called the variety of initial Var-dialgebras.
That a universal algorithm exists which, for arbitrary Var, produces a subvariety of dialgebras allowing recovery of an algebra in Var, without additional restrictions on the identities defining Var.
A universal algorithm constructs the variety of initial dialgebras for any given variety Var, with bases provided for the free initial Lie and associative dialgebras.
References
Formal links
Receipt and verification
| First computed | 2026-05-20T14:03:24.529931Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
97ff7ffb9abd27fe0cb3620d508393b28a247d927111daec46ebde320dbf3162
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/S77X7642XUT74DFTMIGVBA4TWK \
| jq -c '.canonical_record' \
| python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 97ff7ffb9abd27fe0cb3620d508393b28a247d927111daec46ebde320dbf3162
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "ccfc6e079168a815f8318c05760d59169b5db50f6674c7ab90c8cbce0e7e87db",
"cross_cats_sorted": [],
"license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
"primary_cat": "math.RA",
"submitted_at": "2026-01-23T10:18:05Z",
"title_canon_sha256": "8cb2cab3b85a510e3c9ff0750e72704511acdc529f7dad0236b00796e52551a6"
},
"schema_version": "1.0",
"source": {
"id": "2601.16619",
"kind": "arxiv",
"version": 3
}
}