Esto convierte a la coleición de toles variedaes allegaes nuna categoría, que los sos oxetos son variedaes allegaes y que los sos morfismos son les aplicaciones regulares. El teorema siguiente caracteriza esta categoría