En topología algebraica , un objeto (también llamado secuencia simétrica ) es una secuencia de objetos tal que cada uno viene con una acción [nota 1] del grupo simétrico .
La categoría de especies combinatorias es equivalente a la categoría de conjuntos finitos (más o menos porque la categoría de permutación es equivalente a la categoría de conjuntos finitos y biyecciones).
Por módulo nos referimos a un objeto en la categoría de espacios vectoriales de dimensión finita sobre un campo k de característica cero (los grupos simétricos actúan desde la derecha por convención). Luego, cada módulo determina un funtor de Schur en .
Esta definición de módulo comparte su nombre con el modelo considerablemente más conocido para espectros de anillos altamente estructurados debido a Elmendorf, Kriz, Mandell y May.