En la teoría de categorías , una rama abstracta de las matemáticas , y en sus aplicaciones a la lógica y la informática teórica , un objeto de lista es una definición abstracta de una lista , es decir, una secuencia ordenada finita .
Sea C una categoría con productos finitos y un objeto terminal 1. Un objeto de lista sobre un objeto A de C es:
tal que para cualquier objeto B de C con mapas b : 1 → B y T : A × B → B , existe una única f : L A → B de tal manera que el siguiente diagrama conmuta :
donde 〈id A , f〉 denota la flecha inducida por la propiedad universal del producto cuando se aplica a id A (la identidad en A ) y f . La notación A * ( a la estrella de Kleene ) se utiliza a veces para las listas denotan más de una . [1]
En una categoría con un objeto terminal 1, coproductos binarios (indicados por +) y productos binarios (indicados por ×), un objeto de lista sobre A se puede definir como el álgebra inicial del endofunctor que actúa sobre los objetos por X ↦ 1 + ( A × X ) y en las flechas de f ↦ [id 1 , 〈id A , f〉]. [2]
Como todas las construcciones definidas por una propiedad universal , las listas sobre un objeto son únicas hasta el isomorfismo canónico .