Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond...

A PROP is a way of encoding structure borne by an object of a symmetric monoidal category. We describe a notion of distributive law for PROPs, based on Beck’s distributive laws for monads. A distributive law between PROPs allows them to be composed, and an algebra for the composite PROP consists of a single object with an algebra structure for each of the original PROPs, subject to compatibilit...

the purpose of this study was to investigating the effect of organizational justice and organizational citizenship behavior mediated by the quality of work life. population of the study was all male and female staffs' mazandaran university (n=419). research sample was included 156 persons who were selected with random sampling method across staffs' mazandaran university. for data gath...