Categorias monoidais e o teorema de Mac Lane para a condição estrita

Abstract

O presente trabalho tem como objetivo demonstrar o Teorema de Mac Lane para a condição estrita. Tal teorema afirma que toda categoria monoidal é monoidalmente equivalente a uma categoria monoidal estrita. Além disso, apresentamos categorias abelianas e demonstramos que toda categoria monoidal também é monoidalmente equivalente a uma categoria monoidal esquelética.Utilizamos como referência principal as notas de Una introdución a las categorías tensoriales y sus representaciones do Prof. Dr. Martín Mombelli.<br>

Abstract : The present work aims to demonstrate Mac Lane's Strictness Theorem. This theorem states that any monoidal category is monoidally equivalent to a strict monoidal category. Moreover, we present abelian categories and demonstrate that any monoidal category is monoidally equivalent to a skeletal monoidal category.We used as the main reference the class notes Una introdución a las categorías tensoriales y sus representaciones of the Prof. Dr. Martín Mombelli.