Describir: La categoria de espacios compactamente generados