La estructura en este sentido es semejante con la idea de una categoría concreta que se pueda presentar de una manera definida - el caso topológico significa que las operaciones infinitarias serán necesarias.