À propos de cet article
Publié en ligne: 26 avr. 2012
Pages: 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].