El teorema de categorías de Baire o simplemente teorema de Baire es una herramienta importante en topología general y en análisis funcional. El teorema tiene dos formas, cada una de las cuales da condiciones suficientes para que un espacio topológico sea un espacio de Baire. La versión para espacios métricos completos fue demostrada por René-Louis Baire en su tesis doctoral de 1899.