Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa.