Higher-order many-sorted categorial algebras via generalized hep-derivors

J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora, M. Vago Marzal

arXivarxiv/2611.03553Nov 2, 2026math.CTscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2611.03553
curl -X POST /api/v1/records/arxiv/2611.03553/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.03553/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'