Fondements de la division et limites catégoriques des trois grandes branches de l'algèbre