We develop an abstract categorical setting for a probabilistic situation calculus to reason about randomly reactive automata and show that we can set up an institution. We also show that, in the case in which we consider multiple random sources, we have an enlargement of the concept of institution using fibrations over paracategories.