Containrar är en elegant representation av en bred klass av datatyper i form av positioner och former. Vi har nyligen infört riktade containrar som ett specialfall för att ta hänsyn till den gemensamma situationen där varje position i form avgör en annan form, informellt den subform som har sin grund i denna ståndpunkt. Medan containrar tolkar till set functors via en helt trogen functor, riktade containrar betecknar comonads helt troget. I själva verket motsvarar riktade containrar exakt de containrar som bär en comonad struktur. Riktade behållare kan också ses som en generalisering (en beroende skrivit version) av monoider. Medan kategorin containrar (precis som kategorin för set functors) bär en sammansättning monoidal struktur, regisserade containrar (precis som comonads) inte i allmänhet komponera. I detta dokument utvecklar vi ett begrepp om en distributiv lag mellan två riktade containrar som motsvarar en distributiv lag mellan två comonader och beskriver den distributiva lagbaserade sammansättningen av riktade containrar. Detta visar sig generalisera Zappa-Szép produkten av två monoider.
Zappa-Szép produkter visas i arbete med distributiva lagar mellan riktade behållare comonader av Ahman och Uustalu REF.
Distributive laws of directed containers
{'venue': None, 'journal': 'Progress in Informatics', 'mag_field_of_study': ['Computer Science']}