Publikace na Matematicko-fyzikální fakulta |
2010
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.