%0 Journal Article %A Jiri Adamek %A Lurdes Sousa %T KZ-monadic categories and their logic %J Theory and applications of categories %D 2017 %P 338-379 %V 32 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2017_32_a9/ %G en %F TAC_2017_32_a9