¿La noción de $\omega$ -análogas a las nociones de $\omega$ -y $\omega$ -¿categoría? Si es así, se agradecerían algunas referencias.
Se trata de un intento de reformular la pregunta: Cadena/jerarquía de monoides . Mi ámbito de aplicación es el razonamiento sobre modificadores de modificadores en la ingeniería de líneas de productos de software, por lo que carezco de una base matemática establecida. Me resulta más fácil adaptar los resultados existentes, incluso si el dominio de aplicación es significativamente diferente, por lo que cualquier ayuda sería apreciada.