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

J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora +1

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…