Font Size: 

Semantics is concerned with the interpretation of programs written in some programming languages. The purpose of categorical semantics is to model how the computation is performed in categorical terms. Categories are mathematical structures with great illustrative power enabling to model also processes or computations. In this paper we extend our categorical semantics of simple imperative language $\mathscr{J}ane$ to named blocks - procedures. Semantics of procedures we define as a farm of categories interconnected by functors. Our approach enables nested declarations, repeated calls with different arguments and recursive calls without constructing of the fixed point known from denotational approach. Such model allows to illustrate and accentuate the dynamics of categorical semantics.