O kouniverzální šipce ve struktuře n-árních hyperalgebras

On a co-universal arrow in the construct of n-ary hyperalgebras

journal article in Web of Science

en

We introduce and study a new operation of product of n-ary hyperalgebras which lies, with respect to set inclusion, between their carte- sian product and the cartesian product of their idempotent hulls. For every fixed n-ary hyperalgebra, the product introduced gives an endofunctor of the construct of n-ary hyperalgebras. We define a power of n-ary hyperal- gebras and specify a class of n-ary hyperalgebras such that, with respect to the endofunctor, the power together with the evaluation map constitute a co-universal arrow for each hyperalgebra of the class.

V práci je definována a studována nová operace součinu n-árních hyperalgeber, která leží vzhledem k množinové inkluzi mezi jejich kartézským součinem a kartézským součinem jejich idempotentních uzávěrů. Zavádíme pojem mocniny n-árních hyperalgeber a specifikujeme třídu n-árních algeber takovou, že vzhledem k endofunktoru tyto mocniny společně s evaluačními zobrazeními vytvářejí kouniverzální šipku pro každou hyperalgebru z této třídy.

We introduce and study a new operation of product of n-ary hyperalgebras which lies, with respect to set inclusion, between their carte- sian product and the cartesian product of their idempotent hulls. For every fixed n-ary hyperalgebra, the product introduced gives an endofunctor of the construct of n-ary hyperalgebras. We define a power of n-ary hyperal- gebras and specify a class of n-ary hyperalgebras such that, with respect to the endofunctor, the power together with the evaluation map constitute a co-universal arrow for each hyperalgebra of the class.

hyperalgebra, diagonalita, medialita, combinovaný součin, ko- univerzální šipka vzhledem k functoru

hyperalgebra, diagonality, mediality, combined product, co- universal arrow with respect to a functor.

2015

01.09.2015

University of Miskolc

Miskolc

1787-2405

2015(16)

1

507–516

10