Published Online: Apr 26, 2012
Page range: 241 - 250
DOI: https://doi.org/10.2478/v10037-011-0033-2
This content is open access.
In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].