Borrador de una introducción a la teoría de categorías.
Dejo en _drafts una propuesta de artículo introduciendo la teoría de categorías. Usa la sintaxis de StackEdit y requeriría de imágenes externas para los diagramas conmutativos.