{"id":"arxiv/2611.03553","url":"https://arxiv.org/abs/2611.03553","tags":["math.CT"],"score":0,"title":"Higher-order many-sorted categorial algebras via generalized hep-derivors","domain":"math.CT","source":"arxiv","authors":["J. Climent Vidal","E. Cosme Llópez","R. Ruiz Mora","M. Vago Marzal"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}