Abstract
We prove that the Leibniz PROP is isomorphic as -linear categories (not as monoidal categories) to the symmetric crossed presimplicial algebra where is the skeletal category of finite well-ordered sets with surjections, but the distributive law between and the symmetric groups is not the standard one.
| Original language | English |
|---|---|
| Article number | 29 |
| Journal | Applied Categorical Structures |
| Volume | 33 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - Aug 2025 |
Bibliographical note
Publisher Copyright:© The Author(s), under exclusive licence to Springer Nature B.V. 2025.