Fundamentos de la división y los límites categóricos de las tres ramas principales de la álgebra