Los desarrollos subsiguientes de la teoría fueron impulsaos poles necesidaes computacionales del Álxebra homológica y más tarde poles necesidaes axomátiques de la Xeometría alxebraica.[1] La teoría xeneral -cierta actualización del álxebra universal con munches carauterístiques nueves que daben pie a una cierta flexibilidá en semántica y lóxiques d'orde cimeru- vieno más tarde.