Vyjádření množinových funktorů: koalgebraická prespektiva

Abstrakt

Přípustné množinové funktory mohou být vyjádřeny pomocí signatur a rovnic jako podíly polynomiálních funktorů. Určíme jak se toto vyjádření a jiné podobné vlastnosti odrážejí ve struktuře systému rovnic.

Klíčová slova

• Množinový funktor
• koalgebra