Resumen

Este documento está dedicado a las conexiones entre los monoides de traza y los conjuntos cúbicos. Demostramos que la categoría de monoides de traza es isomorfa a la categoría de toros generalizados y es una subcategoría reflectante de la categoría de conjuntos cúbicos. Se construyen funtores adjuntos entre las categorías de conjuntos cúbicos y acciones de monoides de traza. Estos funtores llevan morfismos preservadores de independencia en morfismos preservadores de independencia. Esto nos permite construir funtores adjuntos entre la categoría de sistemas débiles asíncronos y la categoría de autómatas de dimensiones superiores.

• Materias:Robots Cuidados pediátricos Experimentos numéricos Radares Factores psicológicos
• Subjects:Robot Pediatric care Numerical experiments Radars Psychological factors
• Palabras claves:Conexiones; Monoides de traza; Conjuntos cúbicos; Categoría; Funtores adjuntos; Sistemas débiles asíncronos
• Keywords:Connections; Trace monoids; Cubical sets; Category; Adjoint functors; Weak asynchronous systems