1 votos

$\omega$ -monoides

¿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.

3voto

David Puntos 7269

Claro, un monoide es lo mismo que una categoría (apuntada) con un solo objeto.

Así que un $n$ -monoide es lo mismo que puntiagudo $n$ -categoría con un único objeto.

Suelen llamarse $A_\infty$ -(sobre todo si son lineales) o similares.

Si quieres estricto $\infty$ -monoides, entonces la noción de un estricto $\omega$ -categoría con un solo objeto será todo lo que quieras. Para nociones más generales, consulte los enlaces en

http://ncatlab.org/nlab/show/algebra+in+an+(infinito,1)-categoría

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X