La teoría general de extensión analítica y sus generalizaciones es conocida como la teoría de haces.