FQM-211 - Categorías, computación y teoría de anillos