El propósito de este trabajo es establecer el fundamento de una teoría categorial de variedades diferenciables, que podría generalizar definiciones y teoremas de la geometría diferencial. Se tiene la idea de que nociones tales como atlas y variedades diferenciables y aplicaciones entre ellos pueden expresarse en una forma muy general mediante el lenguaje de la teoría de categorías. Así surgen los atlas abstractos, los morfismos entre ellos, las variedades abstractas, etc. Esa definición general admite como ejemplos, además de los entes que generaliza, otros sin vinculación aparente con aquellos, como sucede en el §5 de la primera parte, en que la proposición 5.6 y su corolario 5.7 proveen ejemplos "algebraicos” de atlas abstractos, que no surgen naturalmente del modelo "topológico" que se tuvo en mente.