On Extension of Functors onto the Kleisli Category of the Inclusion Hyperspace Monad

It is proved that there exists no extension of any non-trivial weakly normal functor of finite degree onto the Kleisli category of the inclusion hyperspace monad.

BPMN Analysis of Public Procurement

ACM Computing Classification System (1998): D.0, D.2.11.