Higher-order many-sorted categorial algebras via generalized hep-derivors
Abstract
Higher-order many-sorted categorial algebras are many-sorted algebras whose carriers are strict higher-order categories and whose operations are higher-order functors. They admit a homogeneous and a heterogeneous presentation, both by partial algebras whose operation domains are given by existence equations. To relate these presentations and their dimensions, we introduce generalized hep-derivors between hierarchical equationally partial signatures. A generalized hep-derivor selects carriers by existence equations in one variable and interprets operation symbols by terms, with operation domains evaluated recursively in the transformed algebra. Every generalized hep-derivor induces a functor between categories of many-sorted partial algebras. The values of this functor satisfy the domain conditions wherever their operations are defined, and we characterize when the operations are defined exactly where these conditions hold. The functor induced by a composite receives a natural inclusion from the composite of the induced functors; this inclusion, which can be strict, makes the induced functors a normal lax indexed category. In finite dimensions, generalized hep-derivors realize graduation and unification as an equivalence between the homogeneous and heterogeneous presentations, and discretization as a left adjoint to truncation. In dimension ω, we reconstruct the categories of ω-categorial algebras as projective limits of their finite-dimensional truncations and obtain unification by a quotient construction; we also establish algebraic squares and compatibility with change of signature. Finally, for nonempty sets of sorts, we show that the finite-dimension condition in the homogeneous ω-presentation is not axiomatizable by quasi-existence equations on its fixed signature.
Related
- Rigid dualizing complex for quantum enveloping algebras and algebras of generalized differential operators
- Homotopy operations on higher Lie algebras
- Homotopy operations on higher Lie algebras
- On the representation type of higher preprojective algebras of type A
- An elementary proof of the Artin--Springer theorem for generalized quadratic forms over quaternion algebras
BibTeX
@misc{vidal2026higherorder,
title = {{Higher-order many-sorted categorial algebras via generalized hep-derivors}},
author = {J. Climent Vidal and E. Cosme Llópez and R. Ruiz Mora and M. Vago Marzal},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.03553},
eprint = {2611.03553},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.03553},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Higher-order many-sorted categorial algebras via generalized hep-derivors
AU - J. Climent Vidal
AU - E. Cosme Llópez
AU - R. Ruiz Mora
AU - M. Vago Marzal
PY - 2026
DA - 2026/11/02
PB - arXiv
DO - 10.48550/arxiv.2611.03553
UR - https://arxiv.org/abs/2611.03553
AB - Higher-order many-sorted categorial algebras are many-sorted algebras whose carriers are strict higher-order categories and whose operations are higher-order functors. They admit a homogeneous and a heterogeneous presentation, both by partial algebras whose operation domains are given by existence equations. To relate these presentations and their dimensions, we introduce generalized hep-derivors between hierarchical equationally partial signatures. A generalized hep-derivor selects carriers by existence equations in one variable and interprets operation symbols by terms, with operation domains evaluated recursively in the transformed algebra. Every generalized hep-derivor induces a functor between categories of many-sorted partial algebras. The values of this functor satisfy the domain conditions wherever their operations are defined, and we characterize when the operations are defined exactly where these conditions hold. The functor induced by a composite receives a natural inclusion from the composite of the induced functors; this inclusion, which can be strict, makes the induced functors a normal lax indexed category. In finite dimensions, generalized hep-derivors realize graduation and unification as an equivalence between the homogeneous and heterogeneous presentations, and discretization as a left adjoint to truncation. In dimension ω, we reconstruct the categories of ω-categorial algebras as projective limits of their finite-dimensional truncations and obtain unification by a quotient construction; we also establish algebraic squares and compatibility with change of signature. Finally, for nonempty sets of sorts, we show that the finite-dimension condition in the homogeneous ω-presentation is not axiomatizable by quasi-existence equations on its fixed signature.
ER -