El objetivo de este artículo es mostrar la conexión entre generalizaciones de Análisis de Conceptos Formales y la construcción de Chu sobre la categoría ChuCors de contextos formales y correspondencias de Chu. Todas las propiedades categóricas necesarias para la comprensión de los resultados de este trabajo como producto categórico, producto tensorial o propiedades de su bifuntor se presentan y demuestran. Finalmente, la generalización de Análisis de Conceptos Formales de segundo orden se representa por una categoría construida en términos de la Construcción de Chu.
Buscar en Dimension